aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoderDisjVar1.java
diff options
context:
space:
mode:
authoryzhou <yzhou@krr-linux.cs.ox.ac.uk>2015-05-02 10:59:32 +0100
committeryzhou <yzhou@krr-linux.cs.ox.ac.uk>2015-05-02 10:59:32 +0100
commit58e6d87cb604702e7b307bad73c4fd42a694c3ec (patch)
treea8072979fa6dd1c86ccf2fed62b371cc0e6482b9 /src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoderDisjVar1.java
parentd71035e6f10b3775191ad134d92f897044a592d8 (diff)
downloadACQuA-58e6d87cb604702e7b307bad73c4fd42a694c3ec.tar.gz
ACQuA-58e6d87cb604702e7b307bad73c4fd42a694c3ec.zip
removed debug output for ore compitition
to add log info, check Utility.java LOGS
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoderDisjVar1.java')
-rw-r--r--src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoderDisjVar1.java4
1 files changed, 0 insertions, 4 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoderDisjVar1.java b/src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoderDisjVar1.java
index 0d6b0c6..37116d4 100644
--- a/src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoderDisjVar1.java
+++ b/src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoderDisjVar1.java
@@ -428,10 +428,6 @@ public class TrackingRuleEncoderDisjVar1 extends TrackingRuleEncoderWithGap {
428 for (int i = 0; i < clause.getBodyLength(); ++i) 428 for (int i = 0; i < clause.getBodyLength(); ++i)
429 newBodyAtoms[index++] = selectBodyAtoms[selectIndex++] = clause.getBodyAtom(i); 429 newBodyAtoms[index++] = selectBodyAtoms[selectIndex++] = clause.getBodyAtom(i);
430 430
431 for (int i = 0; i < newBodyAtoms.length; ++i)
432 if (newBodyAtoms[i] == null) {
433 System.out.println(clause);
434 }
435 for (Atom atom: newHeadAtoms) { 431 for (Atom atom: newHeadAtoms) {
436 newClause = DLClause.create(new Atom[] {atom}, newBodyAtoms); 432 newClause = DLClause.create(new Atom[] {atom}, newBodyAtoms);
437 trackingClauses.add(newClause); 433 trackingClauses.add(newClause);