Examples with ForAll org.btrplace.safeplace.spec.prop.ForAll used on opensource projects

Example 1 with ForAll

use of org.btrplace.safeplace.spec.prop.ForAll in project scheduler by btrplace.

the class MyCstrSpecVisitor method visitAll.

@Override
public Proposition visitAll(@NotNull CstrSpecParser.AllContext ctx) {
    List<UserVar<?>> vars = visitTypedef(ctx.typedef());
    Proposition p = (Proposition) visit(ctx.formula());
    return new ForAll(vars, p);
}