diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-08-03 17:07:39 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-08-03 17:07:39 +0100 |
| commit | 0c39145b3b76b3db73db0a38d5324caa7ff3c434 (patch) | |
| tree | 388c97e1460d4180e74b531e048a60fc62963c5a /src/uk/ac/ox/cs/pagoda/endomorph/DependencyGraph.java | |
| parent | 02cf14060d3b9e722480e07ebfd32538bbb8e73b (diff) | |
| download | ACQuA-0c39145b3b76b3db73db0a38d5324caa7ff3c434.tar.gz ACQuA-0c39145b3b76b3db73db0a38d5324caa7ff3c434.zip | |
The LimitedSkolemisation now employs a fixed-depth term instead of a constant. Performed some testing before merging with master.
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/endomorph/DependencyGraph.java')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/endomorph/DependencyGraph.java | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/endomorph/DependencyGraph.java b/src/uk/ac/ox/cs/pagoda/endomorph/DependencyGraph.java index 320af09..0f215ad 100644 --- a/src/uk/ac/ox/cs/pagoda/endomorph/DependencyGraph.java +++ b/src/uk/ac/ox/cs/pagoda/endomorph/DependencyGraph.java | |||
| @@ -241,7 +241,6 @@ public class DependencyGraph { | |||
| 241 | ++homomorphismCheckCounter; | 241 | ++homomorphismCheckCounter; |
| 242 | homomorphismChecker.setMapping(u, v); | 242 | homomorphismChecker.setMapping(u, v); |
| 243 | 243 | ||
| 244 | // TODO recently added, test it | ||
| 245 | if(!homomorphismChecker.isMappingTo(u, v)) | 244 | if(!homomorphismChecker.isMappingTo(u, v)) |
| 246 | return false; | 245 | return false; |
| 247 | 246 | ||