diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-07-09 16:01:01 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-07-09 16:01:01 +0100 |
| commit | 3d44aee6069175038266c65f945147569e6343f6 (patch) | |
| tree | e4eb3f166c28339701636cec513a387673e4ac0a /src/uk/ac/ox/cs/pagoda/hermit/TermGraph.java | |
| parent | 8241a535a55508b6c504f4f0b426612fe95d15a5 (diff) | |
| download | ACQuA-3d44aee6069175038266c65f945147569e6343f6.tar.gz ACQuA-3d44aee6069175038266c65f945147569e6343f6.zip | |
Bug-fix for answer dependencies analysis: now it checks whether the endomorphism makes the first tuple identical to the second one.
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/hermit/TermGraph.java')
0 files changed, 0 insertions, 0 deletions