diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-12-29 21:35:40 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-12-29 21:35:40 +0000 |
| commit | 14079a9d7c44a550f9bd21df435b8c616379163b (patch) | |
| tree | 8368f51072d8df22b8ec9da9ebb1f4d4d8e41464 /src/Transfer/Syntax | |
| parent | d8548908202488db2934ed7a51924844c2936ee0 (diff) | |
Finite state networks: more strictness. alternative (still unused) implementation of reachable.
Diffstat (limited to 'src/Transfer/Syntax')
0 files changed, 0 insertions, 0 deletions