import java.util.List;
+import org.simantics.scl.compiler.elaboration.chr.relations.CHRConstraint;
import org.simantics.scl.compiler.elaboration.expressions.Variable;
import org.simantics.scl.compiler.internal.codegen.ssa.SSAFunction;
-public class PrioritizedPlan {
- public int priority;
+public class CHRSearchPlan {
+ public CHRConstraint constraint;
public Variable activeFact;
public List<PlanOp> ops;
public SSAFunction implementation;
- public PrioritizedPlan(int priority, Variable activeFact, List<PlanOp> ops) {
- this.priority = priority;
+ public CHRSearchPlan(CHRConstraint constraint, Variable activeFact, List<PlanOp> ops) {
+ this.constraint = constraint;
this.activeFact = activeFact;
this.ops = ops;
}