|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
ForgeExpression | A Forge expression. |
ForgeExpression.Leaf | Domains, variables, and literals -- expressions that have a name. |
ForgeExpression.Modifiable | Variables and instance domains -- leafs that may be modified. |
ForgeType | The type of a Forge expression. |
ForgeType.Tuple | A type that is a tuple of classes. |
ForgeType.Unary | A type that is a set of classes. |
LocalDecls | Interface to an ordered set of local variables |
ProgramElement | Belongs to a program. |
Class Summary | |
---|---|
BinaryExpression | An expression composed of a binary operator and two subexpressions. |
BooleanDomain | Class of booleans. |
BooleanLiteral | A constant boolean expression: true or false. |
ConditionalExpression | A conditional "if" expression |
ExpressionVisitor<T> | A visitor to a Forge expression. |
ForgeDomain | A set of atoms disjoint from all other classes. |
ForgeLiteral | A singleton constant |
ForgeProcedure | A procedure in a Forge program. |
ForgeProgram | Manages the Forge classes, fields, and procedures. |
ForgeVariable | A global or local Forge variable. |
GlobalVariable | A relation over Forge classes. |
InstanceDomain | A class of instance (non-primitive) atoms. |
InstanceLiteral | An atom in an Atom class. |
IntegerDomain | Class of integers. |
IntegerLiteral | A constant integer expression. |
LocalDecls.EmptyDecls | An empty set of decls. |
LocalDecls.MultiDecls | A set of one or more local variables. |
LocalVariable | A Forge local variable. |
OldExpression | Refers to the old value of a modified variable in an assume statement. |
ProjectionExpression | An expression for a relational projection over another expression. |
QuantifyExpression | A quantified formula expression. |
UnaryExpression | An expression composed of a unary operator and a subexpression. |
Enum Summary | |
---|---|
BinaryExpression.Op | |
ForgeDomain.Kind | |
QuantifyExpression.Op | |
UnaryExpression.Op |
Exception Summary | |
---|---|
IllegalArityException | Thrown when an expression is constructed from illegal arities. |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |