Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
Reformatting
  • Loading branch information
b-scholz authored and XiaowenHu96 committed Jul 31, 2020
1 parent 231682e commit f4e55e1
Show file tree
Hide file tree
Showing 7 changed files with 14 additions and 14 deletions.
4 changes: 2 additions & 2 deletions src/AstToRamTranslator.cpp
Expand Up @@ -33,14 +33,14 @@
#include "ast/Relation.h"
#include "ast/TranslationUnit.h"
#include "ast/Type.h"
#include "ast/TypeSystem.h"
#include "ast/Utils.h"
#include "ast/Visitor.h"
#include "ast/TypeSystem.h"
#include "ast/analysis/TypeEnvironment.h"
#include "ast/analysis/AuxArity.h"
#include "ast/analysis/RelationSchedule.h"
#include "ast/analysis/SCCGraph.h"
#include "ast/analysis/TopologicallySortedSCCGraph.h"
#include "ast/analysis/TypeEnvironment.h"
#include "json11.h"
#include "ram/Condition.h"
#include "ram/Expression.h"
Expand Down
2 changes: 1 addition & 1 deletion src/ast/analysis/Type.cpp
Expand Up @@ -30,9 +30,9 @@
#include "ast/QualifiedName.h"
#include "ast/Relation.h"
#include "ast/TranslationUnit.h"
#include "ast/TypeSystem.h"
#include "ast/Utils.h"
#include "ast/Visitor.h"
#include "ast/TypeSystem.h"
#include "ast/analysis/Constraint.h"
#include "ast/analysis/TypeEnvironment.h"
#include "utility/ContainerUtil.h"
Expand Down
2 changes: 1 addition & 1 deletion src/ast/transform/IOAttributes.h
Expand Up @@ -18,8 +18,8 @@
#pragma once

#include "ast/Utils.h"
#include "ast/analysis/TypeEnvironment.h"
#include "ast/analysis/AuxArity.h"
#include "ast/analysis/TypeEnvironment.h"
#include "ast/transform/Transformer.h"
#include <map>
#include <string>
Expand Down
2 changes: 1 addition & 1 deletion src/ast/transform/MaterializeAggregationQueries.cpp
Expand Up @@ -25,9 +25,9 @@
#include "ast/QualifiedName.h"
#include "ast/Relation.h"
#include "ast/TranslationUnit.h"
#include "ast/TypeSystem.h"
#include "ast/Utils.h"
#include "ast/Visitor.h"
#include "ast/TypeSystem.h"
#include "ast/analysis/Ground.h"
#include "ast/analysis/Type.h"
#include "ast/analysis/TypeEnvironment.h"
Expand Down
2 changes: 1 addition & 1 deletion src/ast/transform/PolymorphicObjects.cpp
Expand Up @@ -21,8 +21,8 @@
#include "ast/Node.h"
#include "ast/Program.h"
#include "ast/TranslationUnit.h"
#include "ast/Utils.h"
#include "ast/TypeSystem.h"
#include "ast/Utils.h"
#include "ast/analysis/Type.h"
#include "utility/ContainerUtil.h"
#include "utility/FunctionalUtil.h"
Expand Down
6 changes: 3 additions & 3 deletions src/ast/transform/SemanticChecker.cpp
Expand Up @@ -36,17 +36,17 @@
#include "ast/Relation.h"
#include "ast/TranslationUnit.h"
#include "ast/Type.h"
#include "ast/TypeSystem.h"
#include "ast/Utils.h"
#include "ast/Visitor.h"
#include "ast/TypeSystem.h"
#include "ast/analysis/Ground.h"
#include "ast/analysis/IOType.h"
#include "ast/analysis/Type.h"
#include "ast/analysis/TypeEnvironment.h"
#include "ast/analysis/PrecedenceGraph.h"
#include "ast/analysis/RecursiveClauses.h"
#include "ast/analysis/RelationSchedule.h"
#include "ast/analysis/SCCGraph.h"
#include "ast/analysis/Type.h"
#include "ast/analysis/TypeEnvironment.h"
#include "utility/ContainerUtil.h"
#include "utility/FunctionalUtil.h"
#include "utility/MiscUtil.h"
Expand Down
10 changes: 5 additions & 5 deletions src/main.cpp
Expand Up @@ -24,12 +24,9 @@
#include "ast/Node.h"
#include "ast/Program.h"
#include "ast/TranslationUnit.h"
#include "ast/analysis/Type.h"
#include "ast/analysis/PrecedenceGraph.h"
#include "ast/analysis/Type.h"
#include "ast/transform/ComponentChecker.h"
#include "ast/transform/PragmaChecker.h"
#include "ast/transform/SemanticChecker.h"
#include "ast/transform/UserDefinedFunctors.h"
#include "ast/transform/ComponentInstantiation.h"
#include "ast/transform/Conditional.h"
#include "ast/transform/Fixpoint.h"
Expand All @@ -46,6 +43,7 @@
#include "ast/transform/PartitionBodyLiterals.h"
#include "ast/transform/Pipeline.h"
#include "ast/transform/PolymorphicObjects.h"
#include "ast/transform/PragmaChecker.h"
#include "ast/transform/Provenance.h"
#include "ast/transform/ReduceExistentials.h"
#include "ast/transform/RemoveBooleanConstraints.h"
Expand All @@ -58,7 +56,9 @@
#include "ast/transform/ReplaceSingletonVariables.h"
#include "ast/transform/ResolveAliases.h"
#include "ast/transform/ResolveAnonymousRecordsAliases.h"
#include "ast/transform/SemanticChecker.h"
#include "ast/transform/UniqueAggregationVariables.h"
#include "ast/transform/UserDefinedFunctors.h"
#include "config.h"
#include "interpreter/InterpreterEngine.h"
#include "interpreter/InterpreterProgInterface.h"
Expand All @@ -76,10 +76,10 @@
#include "ram/transform/IndexedInequality.h"
#include "ram/transform/MakeIndex.h"
#include "ram/transform/Parallel.h"
#include "ram/transform/Transformer.h"
#include "ram/transform/ReorderConditions.h"
#include "ram/transform/ReorderFilterBreak.h"
#include "ram/transform/ReportIndex.h"
#include "ram/transform/Transformer.h"
#include "ram/transform/TupleId.h"
#include "synthesiser/Synthesiser.h"
#include "utility/FileUtil.h"
Expand Down

0 comments on commit f4e55e1

Please sign in to comment.