diff options
| author | bringert <unknown> | 2005-10-26 16:13:13 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2005-10-26 16:13:13 +0000 |
| commit | 3d4200d3fe6a000e76c95e434987ec1d9e3dddef (patch) | |
| tree | 273406ad87efa99bb8e242a83da2ec4783f54f63 /src/GF/Data | |
| parent | 5a9ec2714301cfee4c3a557cc3c966494c802f32 (diff) | |
Moved Graph and Relation stuff to separate modules. Added some QuickCheck properties for Relation. Improved relation datastructure and algorithms, making FA generation much faster.
Diffstat (limited to 'src/GF/Data')
0 files changed, 0 insertions, 0 deletions