Removed unnecessary includes from constr-tr header.

src/ast2ram/ConstraintTranslator.cpp

@@ -20,7 +20,8 @@
 #include "ast2ram/AstToRamTranslator.h"
 #include "ast2ram/ValueIndex.h"
 #include "ram/Constraint.h"
-#include "ram/Expression.h"
+#include "ram/EmptinessCheck.h"
+#include "ram/ExistenceCheck.h"
 #include "ram/Negation.h"
 #include "ram/ProvenanceExistenceCheck.h"
 #include "ram/UndefValue.h"

src/ast2ram/ConstraintTranslator.h

@@ -15,44 +15,6 @@
 #pragma once
 
 #include "ast/utility/Visitor.h"
-#include "ram/Call.h"
-#include "ram/Clear.h"
-#include "ram/Condition.h"
-#include "ram/Conjunction.h"
-#include "ram/Constraint.h"
-#include "ram/DebugInfo.h"
-#include "ram/EmptinessCheck.h"
-#include "ram/ExistenceCheck.h"
-#include "ram/Exit.h"
-#include "ram/Expression.h"
-#include "ram/Extend.h"
-#include "ram/Filter.h"
-#include "ram/FloatConstant.h"
-#include "ram/IO.h"
-#include "ram/LogRelationTimer.h"
-#include "ram/LogSize.h"
-#include "ram/LogTimer.h"
-#include "ram/Loop.h"
-#include "ram/Negation.h"
-#include "ram/Parallel.h"
-#include "ram/Program.h"
-#include "ram/Project.h"
-#include "ram/ProvenanceExistenceCheck.h"
-#include "ram/Query.h"
-#include "ram/Relation.h"
-#include "ram/RelationSize.h"
-#include "ram/Scan.h"
-#include "ram/Sequence.h"
-#include "ram/SignedConstant.h"
-#include "ram/Statement.h"
-#include "ram/SubroutineArgument.h"
-#include "ram/SubroutineReturn.h"
-#include "ram/Swap.h"
-#include "ram/TranslationUnit.h"
-#include "ram/TupleElement.h"
-#include "ram/UndefValue.h"
-#include "ram/UnsignedConstant.h"
-#include "ram/utility/Utils.h"
 #include "souffle/utility/ContainerUtil.h"
 
 namespace souffle::ast {
@@ -62,6 +24,10 @@ class Negation;
 class ProvenanceNegation;
 }  // namespace souffle::ast
 
+namespace souffle::ram {
+class Condition;
+}
+
 namespace souffle::ast2ram {
 
 class ValueIndex;