From 0c39145b3b76b3db73db0a38d5324caa7ff3c434 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Mon, 3 Aug 2015 17:07:39 +0100 Subject: The LimitedSkolemisation now employs a fixed-depth term instead of a constant. Performed some testing before merging with master. --- src/uk/ac/ox/cs/pagoda/endomorph/DependencyGraph.java | 1 - 1 file changed, 1 deletion(-) (limited to 'src/uk/ac/ox/cs/pagoda/endomorph/DependencyGraph.java') 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 { ++homomorphismCheckCounter; homomorphismChecker.setMapping(u, v); - // TODO recently added, test it if(!homomorphismChecker.isMappingTo(u, v)) return false; -- cgit v1.2.3