Examples with Var org.btrplace.safeplace.spec.term.Var used on opensource projects

Example 1 with Var

use of org.btrplace.safeplace.spec.term.Var in project scheduler by btrplace.

the class ForAll method toString.

@Override
public String toString() {
    StringBuilder b = new StringBuilder("!(");
    Iterator<UserVar<?>> ite = vars.iterator();
    while (ite.hasNext()) {
        Var v = ite.next();
        if (ite.hasNext()) {
            b.append(v.label());
            b.append(',');
        } else {
            b.append(v.pretty());
        }
    }
    return b.append(") ").append(prop).toString();
}