Examples with IConstraintSetProperty mb.nabl2.solver.properties.IConstraintSetProperty used on opensource projects

Example 1 with IConstraintSetProperty

use of mb.nabl2.solver.properties.IConstraintSetProperty in project nabl by metaborg.

the class FixedPointSolver method updateVars.

private void updateVars(Set<ITermVar> vars) {
    for (IConstraintSetProperty property : properties) {
        component.update(vars);
        property.update(vars);
    }
}