|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ForgeExpression
A Forge expression.
Nested Class Summary | |
---|---|
static interface |
ForgeExpression.Leaf
Domains, variables, and literals -- expressions that have a name. |
static interface |
ForgeExpression.Modifiable
Variables and instance domains -- leafs that may be modified. |
Methods inherited from interface forge.program.ProgramElement |
---|
program |
Method Detail |
---|
int arity()
ForgeType type()
boolean isUnary()
<T> T accept(ExpressionVisitor<T> visitor)
ForgeExpression domain()
ForgeExpression range()
ForgeExpression iden()
ForgeExpression projection(int... columns)
ForgeExpression closure()
ForgeExpression no()
ForgeExpression lone()
ForgeExpression one()
ForgeExpression some()
ForgeExpression size()
ForgeExpression sum()
ForgeExpression neg()
ForgeExpression bool()
ForgeExpression not()
ForgeExpression bitNot()
ForgeExpression apply(UnaryExpression.Op op)
ForgeExpression eq(ForgeExpression expr)
ForgeExpression in(ForgeExpression expr)
ForgeExpression union(ForgeExpression expr)
ForgeExpression difference(ForgeExpression expr)
ForgeExpression intersection(ForgeExpression expr)
ForgeExpression join(ForgeExpression expr)
ForgeExpression product(ForgeExpression expr)
ForgeExpression override(ForgeExpression expr)
ForgeExpression and(ForgeExpression expr)
ForgeExpression or(ForgeExpression expr)
ForgeExpression xor(ForgeExpression expr)
ForgeExpression implies(ForgeExpression expr)
ForgeExpression iff(ForgeExpression expr)
ForgeExpression lt(ForgeExpression expr)
ForgeExpression gt(ForgeExpression expr)
ForgeExpression lte(ForgeExpression expr)
ForgeExpression gte(ForgeExpression expr)
ForgeExpression plus(ForgeExpression expr)
ForgeExpression minus(ForgeExpression expr)
ForgeExpression times(ForgeExpression expr)
ForgeExpression divide(ForgeExpression expr)
ForgeExpression modulo(ForgeExpression expr)
ForgeExpression bitAnd(ForgeExpression expr)
ForgeExpression bitOr(ForgeExpression expr)
ForgeExpression bitXor(ForgeExpression expr)
ForgeExpression shiftLeft(ForgeExpression expr)
ForgeExpression shiftRight(ForgeExpression expr)
ForgeExpression unsignedShiftRight(ForgeExpression expr)
ForgeExpression compose(BinaryExpression.Op op, ForgeExpression expr)
ForgeExpression thenElse(ForgeExpression thenExpr, ForgeExpression elseExpr)
ForgeExpression forAll(LocalDecls decls)
ForgeExpression forSome(LocalDecls decls)
ForgeExpression summation(LocalDecls decls)
ForgeExpression comprehension(LocalDecls decls)
ForgeExpression quantify(QuantifyExpression.Op quant, LocalDecls decls)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |