Changes between Version 8 and Version 9 of Symbolic Expressions


Ignore:
Timestamp:
02/13/10 15:24:28 (16 years ago)
Author:
Stephen Siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Symbolic Expressions

    v8 v9  
    66
    77These are the items exported by the symbolic module:
     8
     9In symbolic.type:
     10 * SymbolicTypeIF
     11 * SymbolicPrimitiveTypeIF /* int, real */
     12 * SymbolicArrayTypeIF
     13    * SymbolicExpressionIF extent();
     14    * SymbolicExpressionIF elementType();
     15 * SymbolicTupleTypeIF
     16    * int numFields();
     17    * SymbolicTypeIF fieldType(int index);
     18 * SymbolicFunctionTypeIF
     19    * int numInputs();
     20    * SymbolicTypeIF inputType(int index);
     21    * SymbolicTypeIF outputType();
     22
     23In symbolic.expression:
    824 * SymbolicExpressionIF
    9  * SymbolicConstantIF
    10  * SymbolicArrayReadIF
    11  * SymbolicTupleReadIF
    12  * SymbolicArrayWriteIF
    13  * SymbolicTupleWriteIF
    14  * SymbolicEvaluatedFunctionIF
    15  * SymbolicSumSetIF
    16  * SymbolicProductSetIF
    17  *
    18  * ???
     25    * int id(); /* every expression has a unique id number */
     26    * SymbolicTypeIF type();
     27 * SymbolicConstantIF extends SymbolicExpressionIF
     28 * ConcreteExpressionIF extends SymbolicExpressionIF
     29    * Rational value();
     30 * SymbolicFunctionIF extends SymbolicConstantIF
     31    * SymbolicFunctionTypeIF type();
     32 * SymbolicEvaluatedFunctionIF extends SymbolicExpressionIF
     33    * SymbolicFunctionIF function();
     34    * SymbolicExpressionIF argument(int index);
     35    * SymbolicExpressionIF[] arguments();
     36
     37In symbolic:
    1938 * SymbolicUniverseIF
     39    * ConcreteExpressionIF concreteExpression(Rational rational);
     40    * ConcreteExpressionIF concreteExpression(int value);
     41    * ConcreteExpressionIF concreteExpression(double value);
     42    * SymbolicConstantIF symbolicConstant(SymbolicTypeIF type, String name);
     43    * SymbolicExpressionIF add(SymbolicExpressionIF arg0, SymbolicExpressionIF arg1);
     44    * SymbolicExpressionIF subtract(SymbolicExpressionIF arg0, SymbolicExpressionIF arg1);
     45    * SymbolicExpressionIF multiply(SymbolicExpressionIF arg0, SymbolicExpressionIF arg1);
     46    * SymbolicExpressionIF divide(SymbolicExpressionIF arg0, SymbolicExpressionIF arg1);
     47    * SymbolicExpressionIF minus(SymbolicExpressionIF arg);
     48    * SymbolicExpressionIF and(SymbolicExpressionIF arg0, SymbolicExpressionIF arg1);
     49    * SymbolicExpressionIF or(SymbolicExpressionIF arg0, SymbolicExpressionIF arg1);
     50    * SymbolicExpressionIF not(SymbolicExpressionIF arg);
     51    * SymbolicExpressionIF cond(SymbolicExpressionIF predicate, SymbolicExpressionIF trueValue, SymbolicExpressionIF falseValue);
     52
     53
     54
     55
     56 * SymbolicSimplifierIF
     57    * SymbolicExpressionIF newAssumption();
     58    * SymbolicExpressionIF simplify(SymbolicExpressionIF expression);
     59 
    2060 
    2161