Removed lingering functionality from translator header.

souffle-lang · Nov 13, 2020 · 0005fc1 · 0005fc1
1 parent b582c1f
commit 0005fc1
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 6 deletions.
diff --git a/src/ast2ram/AstToRamTranslator.cpp b/src/ast2ram/AstToRamTranslator.cpp
@@ -729,6 +729,12 @@ void AstToRamTranslator::createRamRelation(size_t scc) {
     }
 }
 
+const ram::Relation* AstToRamTranslator::lookupRelation(const std::string& name) const {
+    auto it = ramRelations.find(name);
+    assert(it != ramRelations.end() && "relation not found");
+    return (*it).second.get();
+}
+
 /** translates the given datalog program into an equivalent RAM program  */
 void AstToRamTranslator::translateProgram(const ast::TranslationUnit& translationUnit) {
     // keep track of relevant analyses

diff --git a/src/ast2ram/AstToRamTranslator.h b/src/ast2ram/AstToRamTranslator.h
@@ -18,7 +18,6 @@
 
 #include "souffle/RamTypes.h"
 #include "souffle/utility/ContainerUtil.h"
-#include <cassert>
 #include <map>
 #include <set>
 #include <string>
@@ -101,11 +100,7 @@ class AstToRamTranslator {
     /** create a RAM element access node */
     static Own<ram::TupleElement> makeRamTupleElement(const Location& loc);
 
-    const ram::Relation* lookupRelation(const std::string& name) const {
-        auto it = ramRelations.find(name);
-        assert(it != ramRelations.end() && "relation not found");
-        return (*it).second.get();
-    }
+    const ram::Relation* lookupRelation(const std::string& name) const;
 
 protected:
     /** AST program */