--- /dev/null
+package org.simantics.scl.compiler.internal.elaboration.constraints;\r
+\r
+import java.util.ArrayList;\r
+\r
+public class ReducedConstraints {\r
+ public final ArrayList<Constraint> givenConstraints;\r
+ public final ArrayList<Constraint> solvedConstraints;\r
+ public final ArrayList<Constraint> unsolvedConstraints;\r
+ \r
+ public ReducedConstraints(ArrayList<Constraint> givenConstraints,\r
+ ArrayList<Constraint> solvedConstraints,\r
+ ArrayList<Constraint> unsolvedConstraints) {\r
+ this.givenConstraints = givenConstraints;\r
+ this.solvedConstraints = solvedConstraints;\r
+ this.unsolvedConstraints = unsolvedConstraints;\r
+ }\r
+}\r