diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-20T14·11+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-20T14·11+0000 |
commit | 956801fcc2ac75fd4041f61619451d2935fa2598 (patch) | |
tree | 7eed97a30df7dc61bbc065a4921ee143d29f7291 /doc/manual/introduction.xml | |
parent | 624c48260f1b4eec86daa0da5f33d4cbb963a361 (diff) |
* Use maps and sets in the FState data type. This ensures normalisation of
slices and derivations w.r.t. order of paths, slice elements, etc.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions