diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-12-29 13:33:58 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-12-29 13:33:58 +0000 |
| commit | cb5e52bd2e5d1dd41a57f78cbb0cc8f504f48e20 (patch) | |
| tree | 969b4dad2ced2e1cb639aca0d50c28a9505edcf5 /src/Transfer | |
| parent | e32472a9bb40468bd77db839d683bd15e89db2e1 (diff) | |
Finite state network generation: reimplemented getOutgoing using Data.Map to improve performance of minimize with large networks.
Diffstat (limited to 'src/Transfer')
0 files changed, 0 insertions, 0 deletions