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