diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-10T18·48+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-10T18·48+0000 |
commit | e5fbf5804192fa62d0edab0f6b323cc0c8d890f9 (patch) | |
tree | ecc024478f0e30692cb12560b9a8b9ae79c30bcf /README | |
parent | 8511571f653fcfbb724061dac330c544b6048722 (diff) |
* A command to register successor fstate expressions.
Unifying substitutes and successors isn't very feasible for now, since substitutes are only used when no path with a certain is known. Therefore, a normal form of some expression stored as a substitute would not be used unless the expression itself was missing.
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions