| Algorithm 6. Pseudocode of A*_BEST_CANDIDATE for CCDLSA*. |
| A*_BEST_CANDIDATE (conflicts, consistencies, fault_component) |
| Inputs: conflicts, the set of all conflicts consistencies, the set of all consistencies fault_components, the set of possible fault components Output: ω, the best candidate |
| add {} into queue do ω = pop queue if ω does not assign values for all components in fault_components EXPAND(ω, conflicts, consistencies) else break while(1) ω = ADD_DEFAULT(ω) return ω |
Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.