package org.simantics.scl.compiler.internal.elaboration.constraints;

import java.util.ArrayList;

public class ReducedConstraints {
    public final ArrayList<Constraint> givenConstraints;
    public final ArrayList<Constraint> solvedConstraints;
    public final ArrayList<Constraint> unsolvedConstraints;
    
    public ReducedConstraints(ArrayList<Constraint> givenConstraints,
            ArrayList<Constraint> solvedConstraints,
            ArrayList<Constraint> unsolvedConstraints) {
        this.givenConstraints = givenConstraints;
        this.solvedConstraints = solvedConstraints;
        this.unsolvedConstraints = unsolvedConstraints;
    }
}