Details of the CFOR Planner
Jonathan S. Gratch · 2002
task flaw: If an abstract cannot be decomposed, the decision that added the abstract task is implicated in the failure. IPC threat: An IPC threat arises when the effect of some tasks violates an IPC. In this case, the decision that introduced the IPC and the decision that introduced the threatening task are both implicated. Codesignation violation: A codesignation violation occurs when two variables are constrained to both condesignate and noncodesignate with each other. In this case, all of the decisions that are involved in the codesignation and noncodesignation of that variable are implicated. Order-cycle: An order cycle occurs whenever there is a loop in the ordering relation over tasks: e.g. before(A,B) and before(B,A). As in codesignation constraints, we have to consider the decisions involved in the transitive computation of this cycle.