Changes between Version 5 and Version 6 of Symbolic Expressions
- Timestamp:
- 02/13/10 01:22:55 (16 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Symbolic Expressions
v5 v6 4 4 5 5 6 == Canonical Form: SExpression==6 == SExpression implements SymbolicExpressionIF == 7 7 8 * SAndExpression 8 a canonical-form based implementation of symbolic expression 9 10 * SAndExpression extends SExpression 9 11 * clauses: set of SOrExpression 10 * SOrExpression 12 * SOrExpression extends SExpression 11 13 * clauses: set of SBasicExpression 12 * SBasicExpression: SRelationalExpression or SPrimitiveExpression or !SPrimitiveExpression of boolean type 13 * SRelationalExpression 14 * SBasicExpression extends SExpression 15 * SRelationalExpression, or 16 * SPrimitiveExpression, where SPrimitiveExpression has boolean type, or 17 * !SPrimitiveExpression 18 * SRelationalExpression extends SExpression 14 19 * e>0, e>=0, e=0, e!=0, where e is an SPolynomialExpression 15 * SPrimitiveExpression 20 * SPrimitiveExpression extends SExpression 16 21 * X, where X is a symbolic constant 17 22 * a[e], a is an SExpression of array type, e an SExpression of integer type 18 23 * r.f, where r is an SExpression of tuple type and f is a nonnegative integer 19 * SPolynomialExpression 24 * SPolynomialExpression extends SExpression 20 25 * terms: set of SMonomialExpression 21 * SMonomialExpression 26 * SMonomialExpression extends SExpression 22 27 * coefficient: Number 23 28 * factors: set of pairs (SPrimitiveExpression, n), where n is a positive integer 24 * SRationalExpression 29 * SRationalExpression extends SExpression 25 30 * numerator, denominator: SPolynomialExpression 26 31 … … 37 42 38 43 39 == SymbolicUniverse == 44 == SExpressionUniverse implements SymbolicUniverseIF == 45 46 uses SExpressionFactory 40 47 41 48 * SExpression symbolicConstant()
