Prev Package | Next Package | Frames | No Frames |
Interface Summary | |
Expression | Represents a general expression involving invariants. |
Expression.Visitor | Interface for visitors to expressions. |
Literal | Literal expression, i.e., an expression with a fixed value. |
Operator | An operator which is part of a compound expression. |
Class Summary | |
Compound | Compound expression, i.e., an expression containing one or several 'sub-expressions'. |
ExpressionLoader | Helper methods for loading expressions from disk. |
ExpressionSaver | Helper methods for saving expressions to disk. |
ExpressionToFormula | Visitor which converts an expression to a formula. |
ExpressionToString | Visitor which converts an expression to a string. |
IntegerLiteral | Expression representing an integer literal. |
StandardOperator | Enum to represent operators in formula. |