don't compile the suspicious InstancesIterator and GeneralizationsIte…

…rator in SubstitutionTree
ModelWriter · Oct 4, 2017 · 1764abf · 1764abf
1 parent d695c7f
commit 1764abf
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 5 deletions.
diff --git a/Indexing/LiteralSubstitutionTree.cpp b/Indexing/LiteralSubstitutionTree.cpp
@@ -87,10 +87,10 @@ SLQueryResultIterator LiteralSubstitutionTree::getInstances(Literal* lit,
 //  return getResultIterator<InstancesIterator>(lit, complementary, true);
 
   if(retrieveSubstitutions) {
-#if VDEBUG
     NOT_IMPLEMENTED;
-#endif
+    /*
     return getResultIterator<InstancesIterator>(lit, complementary, true, false);
+    */
   }
 
   SLQueryResultIterator res=

diff --git a/Indexing/SubstitutionTree.cpp b/Indexing/SubstitutionTree.cpp
@@ -996,6 +996,7 @@ SubstitutionTree::NodeIterator
   }
 }
 
+/*
 bool SubstitutionTree::GeneralizationsIterator::associate(TermList query, TermList node)
 {
   CALL("SubstitutionTree::GeneralizationsIterator::associate");
@@ -1021,8 +1022,9 @@ SubstitutionTree::NodeIterator
     }
   }
 }
+*/
 
-
+/*
 bool SubstitutionTree::InstancesIterator::associate(TermList query, TermList node)
 {
   CALL("SubstitutionTree::InstancesIterator::associate");
@@ -1047,4 +1049,5 @@ SubstitutionTree::NodeIterator
     }
   }
 }
+*/
 
diff --git a/Indexing/SubstitutionTree.hpp b/Indexing/SubstitutionTree.hpp
@@ -787,7 +787,7 @@ class SubstitutionTree
     Stack<UnificationConstraint> constraints;
   };
 
-
+/*
   class GeneralizationsIterator
   : public UnificationsIterator
   {
@@ -799,7 +799,8 @@ class SubstitutionTree
     virtual bool associate(TermList query, TermList node);
     virtual NodeIterator getNodeIterator(IntermediateNode* n);
   };
-
+*/
+/*
   class InstancesIterator
   : public UnificationsIterator
   {
@@ -810,6 +811,7 @@ class SubstitutionTree
     virtual bool associate(TermList query, TermList node);
     virtual NodeIterator getNodeIterator(IntermediateNode* n);
   };
+*/
 
 #if VDEBUG
 public:
-Original file line number
+Diff line change
@@ Expand Up / @@ -996,6 +996,7 @@ SubstitutionTree::NodeIterator @@
       }
     }
+    /*
     bool SubstitutionTree::GeneralizationsIterator::associate(TermList query, TermList node)
     {
       CALL("SubstitutionTree::GeneralizationsIterator::associate");
@@ Expand All / @@ -1021,8 +1022,9 @@ SubstitutionTree::NodeIterator @@
         }
       }
     }
+    */
+    /*
     bool SubstitutionTree::InstancesIterator::associate(TermList query, TermList node)
     {
       CALL("SubstitutionTree::InstancesIterator::associate");
@@ Expand All / @@ -1047,4 +1049,5 @@ SubstitutionTree::NodeIterator @@
         }
       }
     }
+    */