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 /src/util.hh | |
| 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 'src/util.hh')
0 files changed, 0 insertions, 0 deletions