X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Felaboration%2Fchr%2Fplan%2FCHRSearchPlan.java;fp=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Felaboration%2Fchr%2Fplan%2FPrioritizedPlan.java;h=f958e459b76956127b0f0224c734c74ede839a9b;hp=f7a072e5d43cdc6dc42bf05827b08f359bff1e6c;hb=a2df536f7fc878982c6c960a79ed49f350cddc6f;hpb=5f0ad7a26810df602600c5eddad317588fce0ac4

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/PrioritizedPlan.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/CHRSearchPlan.java
similarity index 59%
rename from bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/PrioritizedPlan.java
rename to bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/CHRSearchPlan.java
index f7a072e5d..f958e459b 100644
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/PrioritizedPlan.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/CHRSearchPlan.java
@@ -2,17 +2,18 @@ package org.simantics.scl.compiler.elaboration.chr.plan;
 
 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;
     }