Changes between Version 10 and Version 11 of Symbolic Expressions

Timestamp:

02/13/10 16:10:20 (16 years ago)

Author:

Stephen Siegel

Comment:

--

Symbolic Expressions

@@ -37 +37 @@
 In symbolic:
  * SymbolicUniverseIF
+    * SymbolicPrimitiveTypeIF booleanType();
+    * SymbolicPrimitiveTypeIF integerType();
+    * SymbolicPrimitiveTypeIF realType();
+    * SymbolicArrayTypeIF arrayType(SymbolicTypeIF elementType, SymbolicExpressionIF extent);
+    * SymbolicTupleTypeIF tupleType(SymbolicTypeIF[] fieldTypes);
     * ConcreteExpressionIF concreteExpression(Rational rational);
     * ConcreteExpressionIF concreteExpression(int value);
@@ -64 +69 @@
 In util wee need to export:
 * Rational /* infinite precision rational numbers */
+   * static Rational rational(int value);
+   * static Rational rational(double value);
+   * static Rational rational(BigInteger value);
+   * static Rational add(Rational arg0, Rational arg1);
+   * static Rational subtract(Rational arg0, Rational arg1);
+   * static Rational multiply(Rational arg0, Rational arg1);
+   * static Rational divide(Rational arg0, Rational arg1);
+   * static Rational minus(Rational arg);
+   * static int compare(Rational arg0, Rational arg1); /* +-0 */
+   * boolean isInteger();
+   * Rational intValue();
+   * BigInteger numerator();
+   * BigInteger denominator();
+   * BigInteger floor();
+   * BigInteger ceil();
+   * boolean isGT0();
+   * boolean isGTE0();
+   * boolean is0();
+
+    
+