diff options
| author | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2015-01-28 01:06:13 +0100 |
|---|---|---|
| committer | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2015-01-28 01:06:13 +0100 |
| commit | ca414c19fd8f2658403b189bfccad11ad2db048b (patch) | |
| tree | fcd7812f6b290f17d5d6deeb020b9b2cd563adf3 /data | |
| parent | f55119b753e6bd352612b855c1bf8d62d0ce1ec2 (diff) | |
Added methods for checking a property for acyclicity (or however this is supposed to be called)
Diffstat (limited to 'data')
0 files changed, 0 insertions, 0 deletions