= Symbolic Expressions =

Write here your thoughts on the new design of the symbolic module


Canonical Form: SExpression

* AndExpression: set of OrSExpression
* OrSExpression: set of BasicSExpression:
* BasicSExpression: RelationalSExpression or PrimitiveSExpression or !PrimitiveSExpression
* RelationalSExpression
** e>0, e>=0, e=0, e!=0, where e is a PolynomialSExpression
* PrimitiveSExpression
** X, where X has boolean type
** a[e], where element type of a is boolean
** r.f, where r.f has boolean type