Package it.unive.lisa.symbolic

Interface Summary

Interface	Description
ExpressionVisitor<T>	A visitor for SymbolicExpressions, to be used as parameter to SymbolicExpression.accept(ExpressionVisitor, Object...).

Class Summary

Class	Description
SymbolicExpression	A symbolic expression that can be evaluated by SemanticDomains.