Modifier and Type | Field and Description |
---|---|
static Card |
Any |
static AstBoolClafer |
BoolType |
static AstIntClafer |
IntType |
static Card |
Mandatory |
static Card |
Many |
static Card |
Optional |
public static final AstIntClafer IntType
public static final AstBoolClafer BoolType
public static AstConstant constant(int value)
public static AstConstant constant(AstClafer type, int... value)
public static AstSetExpr join(AstSetExpr left, AstConcreteClafer right)
public static AstSetExpr joinParent(AstSetExpr children)
public static AstSetExpr joinRef(AstSetExpr deref)
public static AstBoolExpr not(AstBoolExpr expr)
public static AstSetExpr minus(AstSetExpr expr)
public static AstSetExpr card(AstSetExpr set)
public static AstBoolExpr test(AstSetExpr left, AstSetTest.Op op, AstSetExpr right)
public static AstBoolExpr equal(AstSetExpr left, AstSetExpr right)
public static AstBoolExpr notEqual(AstSetExpr left, AstSetExpr right)
public static AstBoolExpr compare(AstSetExpr left, AstCompare.Op op, AstSetExpr right)
public static AstBoolExpr lessThan(AstSetExpr left, AstSetExpr right)
public static AstBoolExpr lessThanEqual(AstSetExpr left, AstSetExpr right)
public static AstBoolExpr greaterThan(AstSetExpr left, AstSetExpr right)
public static AstBoolExpr greaterThanEqual(AstSetExpr left, AstSetExpr right)
public static AstSetExpr arithm(AstArithm.Op op, AstSetExpr... operands)
public static AstSetExpr add(AstSetExpr... addends)
public static AstSetExpr sub(AstSetExpr... subtrahends)
public static AstSetExpr mul(AstSetExpr... multipliers)
public static AstSetExpr div(AstSetExpr... divisors)
public static AstSetExpr sum(AstSetExpr set)
public static AstBoolExpr arithm(AstBoolArithm.Op op, AstBoolExpr... operands)
public static AstBoolExpr and(AstBoolExpr... operands)
public static AstBoolExpr ifOnlyIf(AstBoolExpr... operands)
public static AstBoolExpr implies(AstBoolExpr... operands)
public static AstBoolExpr or(AstBoolExpr... operands)
public static AstBoolExpr xor(AstBoolExpr... operands)
public static AstSetExpr diff(AstSetExpr left, AstSetExpr right)
public static AstSetExpr inter(AstSetExpr left, AstSetExpr right)
public static AstSetExpr union(AstSetExpr left, AstSetExpr right)
public static AstBoolExpr membership(AstSetExpr member, AstMembership.Op op, AstSetExpr set)
public static AstBoolExpr in(AstSetExpr member, AstSetExpr set)
public static AstBoolExpr notIn(AstSetExpr member, AstSetExpr set)
public static AstSetExpr ifThenElse(AstBoolExpr antecedent, AstSetExpr consequent, AstSetExpr alternative)
public static AstBoolExpr ifThenElse(AstBoolExpr antecedent, AstBoolExpr consequent, AstBoolExpr alternative)
public static AstSetExpr downcast(AstSetExpr base, AstClafer target)
base
- the set expressiontarget
- the casted typebase
downcasted to type target
public static AstSetExpr upcast(AstSetExpr base, AstAbstractClafer target)
base
- the set expressiontarget
- the casted typebase
upcasted to type target
public static AstBoolExpr lone(AstClafer clafer)
public static AstBoolExpr lone(AstSetExpr set)
public static AstBoolExpr none(AstClafer clafer)
public static AstBoolExpr none(AstSetExpr set)
public static AstBoolExpr one(AstClafer clafer)
public static AstBoolExpr one(AstSetExpr set)
public static AstBoolExpr some(AstClafer clafer)
public static AstBoolExpr some(AstSetExpr set)
public static AstDecl decl(boolean disjoint, AstLocal[] locals, AstSetExpr body)
public static AstDecl decl(AstLocal[] locals, AstSetExpr body)
public static AstDecl decl(AstLocal local, AstSetExpr body)
public static AstDecl disjDecl(AstLocal[] locals, AstSetExpr body)
public static AstBoolExpr quantify(AstQuantify.Quantifier quantifier, AstDecl[] decls, AstBoolExpr body)
public static AstBoolExpr quantify(AstQuantify.Quantifier quantifier, AstDecl decl, AstBoolExpr body)
public static AstBoolExpr all(AstDecl[] decls, AstBoolExpr body)
public static AstBoolExpr all(AstDecl decl, AstBoolExpr body)
public static AstBoolExpr lone(AstDecl[] decls, AstBoolExpr body)
public static AstBoolExpr lone(AstDecl decl, AstBoolExpr body)
public static AstBoolExpr none(AstDecl[] decls, AstBoolExpr body)
public static AstBoolExpr none(AstDecl decl, AstBoolExpr body)
public static AstBoolExpr one(AstDecl[] decls, AstBoolExpr body)
public static AstBoolExpr one(AstDecl decl, AstBoolExpr body)
public static AstBoolExpr some(AstDecl[] decls, AstBoolExpr body)
public static AstBoolExpr some(AstDecl decl, AstBoolExpr body)
Copyright © 2013. All Rights Reserved.