Changes between Version 9 and Version 10 of Symbolic Expressions

Timestamp:

02/13/10 15:52:18 (16 years ago)

Author:

Stephen Siegel

Comment:

--

Symbolic Expressions

@@ -9 +9 @@
 In symbolic.type:
  * SymbolicTypeIF
- * SymbolicPrimitiveTypeIF /* int, real */
+ * SymbolicPrimitiveTypeIF /* int, real, boolean */
  * SymbolicArrayTypeIF
     * SymbolicExpressionIF extent();
@@ -50 +50 @@
     * SymbolicExpressionIF not(SymbolicExpressionIF arg);
     * SymbolicExpressionIF cond(SymbolicExpressionIF predicate, SymbolicExpressionIF trueValue, SymbolicExpressionIF falseValue);
-
-
-
-
+    * SymbolicExpressionIF lessThan(SymbolicExpressionIF arg0, SymbolicExpressionIF arg1);
+    * SymbolicExpressionIF lessThanEquals(SymbolicExpressionIF arg0, SymbolicExpressionIF arg1);
+    * SymbolicExpressionIF equals(SymbolicExpressionIF arg0, SymbolicExpressionIF arg1);
+    * SymbolicExpressionIF arrayRead(SymbolicExpressionIF array, SymbolicExpressionIF index);
+    * SymbolicExpressionIF arrayWrite(SymbolicExpressionIF array, SymbolicExpressionIF index, SymbolicExpressionIF value);
+    * SymbolicExpressionIF tupleRead(SymbolicExpressionIF tuple, int index);
+    * SymbolicExpressionIF tupleWrite(SymbolicExpressionIF tuple, int index, SymbolicExpressionIF value);
  * SymbolicSimplifierIF
     * SymbolicExpressionIF newAssumption();
@@ -59 +62 @@
  
   
+In util wee need to export:
+* Rational /* infinite precision rational numbers */
 
 
@@ -64 +69 @@
 
 == SExpression implements SymbolicExpressionIF ==
+
+This an implementation of the interface defined above.    The idea is to aggressively put every expression into a canonical form.
 
 a canonical-form based implementation of symbolic expression