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 /scripts | |
| 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 'scripts')
0 files changed, 0 insertions, 0 deletions