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

Example 1 with Exists

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

the class MyCstrSpecVisitor method visitExists.

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