Migrated source code from Simantics SVN

[simantics/platform.git] / bundles / org.simantics.scl.compiler / src / org / simantics / scl / compiler / elaboration / query / compilation / QueryConstraint.java

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/query/compilation/QueryConstraint.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/query/compilation/QueryConstraint.java
new file mode 100644 (file)
index 0000000..32c4cd5
--- /dev/null
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/query/compilation/QueryConstraint.java
@@ -0,0 +1,31 @@
+package org.simantics.scl.compiler.elaboration.query.compilation;
+
+
+public abstract class QueryConstraint {
+    public int[] variables;
+    public long finalBoundVariables;
+    
+    public QueryConstraint(int[] variables) {
+        this.variables = variables;
+    }
+    
+    public QueryConstraint() {
+    }
+    
+    public long getVariableMask() {
+        long result = 0L;
+        for(int v : variables)
+            result |= 1 << v;
+        return result;
+    }
+    
+    public abstract boolean canBeSolvedFrom(long boundVariables);
+    public abstract double getSolutionCost(long boundVariables);
+    public abstract double getSolutionBranching(long boundVariables);
+    public abstract void generate(QueryCompilationContext context);
+    
+    public void generateAndUpdateCost(QueryCompilationContext context) {
+        generate(context);
+        context.updateCost(getSolutionBranching(finalBoundVariables), getSolutionCost(finalBoundVariables));
+    }
+}