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 CHRSearchPlan {
    public CHRConstraint constraint;
    public Variable activeFact;
    public List<PlanOp> ops;
    public SSAFunction implementation;
    
    public CHRSearchPlan(CHRConstraint constraint, Variable activeFact, List<PlanOp> ops) {
        this.constraint = constraint;
        this.activeFact = activeFact;
        this.ops = ops;
    }
}