Package org.grinvin.expr

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.