Changes between Version 4 and Version 5 of Symbolic Expressions


Ignore:
Timestamp:
02/12/10 23:41:37 (16 years ago)
Author:
Stephen Siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Symbolic Expressions

    v4 v5  
    44
    55
    6 Canonical Form: SExpression
     6== Canonical Form: SExpression ==
    77
    88 * SAndExpression
    … …  
    2828
    2929Infinite-precision rational number.
     30
     31== SExpressionFactory ==
     32
     33 * SExpression symbolicConstant()
     34 * SAndExpression and(Collection<SOrExpression>)
     35 * SOrExpression or(Collection<SBasicExpression>)
     36etc.
     37
     38
     39== SymbolicUniverse ==
     40
     41 * SExpression symbolicConstant()
     42 * SExpression and(SExpression,SExpression);
     43 * SExpression or(SExpression,SExpression);
     44etc.