Changes between Version 6 and Version 7 of Symbolic Expressions


Ignore:
Timestamp:
02/13/10 11:21:49 (16 years ago)
Author:
Stephen Siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Symbolic Expressions

    v6 v7  
    11= Symbolic Expressions =
    22
    3 Write here your thoughts on the new design of the symbolic module
     3Write here your thoughts on the new design of the symbolic module.
     4
     5== Interface ==
     6
     7These are the items exported by the symbolic module:
     8 * SymbolicExpressionIF
     9 * SymbolicConstantIF
     10 * ArrayReadIF
     11 * TupleReadIF
     12 * ArrayWriteIF
     13 * TupleWriteIF
     14 * ???
     15 * SymbolicUniverseIF
     16 
     17
     18
    419
    520