Examples with ITermVar mb.nabl2.terms.ITermVar used on opensource projects

Example 26 with ITermVar

use of mb.nabl2.terms.ITermVar in project nabl by metaborg.

the class VarMultimap method update.

public boolean update(final ITermVar var, IUnifier unifier) {
    final Collection<T> values = map.removeAll(var);
    final Set<ITermVar> reps = unifier.getVars(var);
    boolean change = false;
    for (ITermVar rep : reps) {
        change |= map.putAll(rep, values);
    }
    return change;
}