Changes between Version 11 and Version 12 of Things To Do

Timestamp:

01/30/10 14:27:03 (16 years ago)

Author:

Stephen Siegel

Comment:

--

Things To Do

@@ -50 +50 @@
    * {{{boolean valid(BooleanSymbolicExpressionIF assumption, BooleanSymbolicExpressionIF predicate);}}}
 
+Other simplifications to symbolic module:
+
+  * get rid of >, >=.  Just use <,<=.
+  * get rid of NEQ?  Just use NOT(EQUAL).
+
+
 
 == Examples ==
@@ -91 +97 @@
     * ParameterIF newParameter(TypeIF type, String name);
        * creates a new parameter with given name 
+    * ParameterExpressionIF parameterExpression(ParameterIF parameter);
+    * ExpressionIF substitute(ExpressionIF expression, Map<ParameterIF,Object> parameterValueMap);
+       * each ParameterExpression gets replaced by a LiteralExpression for the value given in the map. If the parameter does not occur in the map, it remains a ParameterExpression
+
  * ModelIF
     * void addParameter(ParameterIF parameter)
@@ -103 +113 @@
        * equivalent to !parameters.isEmpty()
  * Expression
-    * Expression substitute(Map<ParameterIF,Object> parameterValueMap);
-       * each ParameterExpression gets replaced by a LiteralExpression for the value given in the map. If the parameter does not occur in the map, it remains a ParameterExpression
-
+   
 Modify methods: