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.