forge.program
Interface ForgeExpression.Leaf

All Superinterfaces:
ForgeExpression, ProgramElement
All Known Subinterfaces:
ForgeExpression.Modifiable
All Known Implementing Classes:
BooleanDomain, BooleanLiteral, ForgeDomain, ForgeLiteral, ForgeVariable, GlobalVariable, InstanceDomain, InstanceLiteral, IntegerDomain, IntegerLiteral, LocalVariable
Enclosing interface:
ForgeExpression

public static interface ForgeExpression.Leaf
extends ForgeExpression

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

name

java.lang.String name()
Returns the expression's name.