|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public static interface ForgeExpression.Leaf
Domains, variables, and literals -- expressions that have a name.
Nested Class Summary |
---|
Nested classes/interfaces inherited from interface forge.program.ForgeExpression |
---|
ForgeExpression.Leaf, ForgeExpression.Modifiable |
Method Summary | |
---|---|
java.lang.String |
name()
Returns the expression's name. |
Methods inherited from interface forge.program.ForgeExpression |
---|
accept, and, apply, arity, bitAnd, bitNot, bitOr, bitXor, bool, closure, compose, comprehension, difference, divide, domain, eq, forAll, forSome, gt, gte, iden, iff, implies, in, intersection, isUnary, join, lone, lt, lte, minus, modulo, neg, no, not, one, or, override, plus, product, projection, quantify, range, shiftLeft, shiftRight, size, some, sum, summation, thenElse, times, type, union, unsignedShiftRight, xor |
Methods inherited from interface forge.program.ProgramElement |
---|
program |
Method Detail |
---|
java.lang.String name()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |