Cleaned up ast2ram header.

src/ast2ram/AstToRamTranslator.cpp

@@ -30,13 +30,10 @@
 #include "ast/Node.h"
 #include "ast/NumericConstant.h"
 #include "ast/Program.h"
-#include "ast/QualifiedName.h"
 #include "ast/RecordInit.h"
 #include "ast/Relation.h"
 #include "ast/StringConstant.h"
 #include "ast/TranslationUnit.h"
-#include "ast/analysis/AuxArity.h"
-#include "ast/analysis/Functor.h"
 #include "ast/analysis/IOType.h"
 #include "ast/analysis/PolymorphicObjects.h"
 #include "ast/analysis/SumTypeBranches.h"
@@ -46,9 +43,7 @@
 #include "ast/utility/Utils.h"
 #include "ast/utility/Visitor.h"
 #include "ast2ram/ClauseTranslator.h"
-#include "ast2ram/ConstraintTranslator.h"
 #include "ast2ram/ValueIndex.h"
-#include "ast2ram/ValueTranslator.h"
 #include "ast2ram/utility/TranslatorContext.h"
 #include "ast2ram/utility/Utils.h"
 #include "ram/Call.h"

src/ast2ram/AstToRamTranslator.h

@@ -28,26 +28,20 @@ class SymbolTable;
 }
 
 namespace souffle::ast {
-class Argument;
-class Atom;
 class Clause;
 class Constant;
-class Literal;
 class Program;
 class Relation;
 class TranslationUnit;
 }  // namespace souffle::ast
 
 namespace souffle::ast::analysis {
 class IOTypeAnalysis;
-class AuxiliaryArityAnalysis;
-class FunctorAnalysis;
 class PolymorphicObjectsAnalysis;
 class TypeEnvironment;
 }  // namespace souffle::ast::analysis
 
 namespace souffle::ram {
-class Condition;
 class Expression;
 class Relation;
 class Sequence;
@@ -57,9 +51,7 @@ class TranslationUnit;
 
 namespace souffle::ast2ram {
 
-struct Location;
 class TranslatorContext;
-class ValueIndex;
 
 class AstToRamTranslator {
 public: