-
Jonathan Shahen authored
Setting up Heuristics to make quicker decisions without having to convert to NuSMv and without having to run it through the NuSMv SAT solver Heuristic #1: returns GOAL_UNREACHABLE if the SPC role cannot be found in the target role of any CA rule (see heuristic1.spec for an example) Heuristic #2: return GOAL_REACHABLE if there is a CA rule that has the target role equal to the SPEC role and that rule is 'startable' (ONLY negative preconditions or TRUE)
38a4c5bc