#include "tests/test.h"#include "ast/Clause.h"#include "ast/Node.h"#include "ast/Program.h"#include "ast/QualifiedName.h"#include "ast/Relation.h"#include "ast/TranslationUnit.h"#include "ast/analysis/ClauseNormalisation.h"#include "ast/transform/MagicSet.h"#include "ast/transform/MinimiseProgram.h"#include "ast/transform/RemoveRedundantRelations.h"#include "ast/transform/RemoveRelationCopies.h"#include "ast/transform/ResolveAliases.h"#include "ast/utility/Utils.h"#include "parser/ParserDriver.h"#include "reports/DebugReport.h"#include "reports/ErrorReport.h"#include "souffle/utility/ContainerUtil.h"#include "souffle/utility/StringUtil.h"#include <map>#include <memory>#include <set>#include <string>#include <vector>
Include dependency graph for ast_transformers_test.cpp:
Go to the source code of this file.
Namespaces | |
| souffle | |
| souffle::ast | |
| souffle::ast::transform | |
| souffle::ast::transform::test | |
Functions | |
| souffle::ast::transform::test::TEST (Transformers, CheckAggregatorEquivalence) | |
| Test the equivalence (or lack of equivalence) of aggregators using the MinimiseProgramTransfomer. More... | |
| souffle::ast::transform::test::TEST (Transformers, CheckClausalEquivalence) | |
| Test the equivalence (or lack of equivalence) of clauses using the MinimiseProgramTransfomer. More... | |
| souffle::ast::transform::test::TEST (Transformers, GroundTermPropagation) | |
| souffle::ast::transform::test::TEST (Transformers, GroundTermPropagation2) | |
| souffle::ast::transform::test::TEST (Transformers, MagicSetComprehensive) | |
| Test the magic-set transformation on an example that covers all subtransformers, namely: (1) NormaliseDatabaseTransformer (2) LabelDatabaseTransformer (3) AdornDatabaseTransformer (4) MagicSetTransformer. More... | |
| souffle::ast::transform::test::TEST (Transformers, RemoveClauseRedundancies) | |
| Test the removal of redundancies within clauses using the MinimiseProgramTransformer. More... | |
| souffle::ast::transform::test::TEST (Transformers, RemoveRelationCopies) | |
| Test that copies of relations are removed by RemoveRelationCopiesTransformer. More... | |
| souffle::ast::transform::test::TEST (Transformers, RemoveRelationCopiesOutput) | |
| Test that copies of relations are removed by RemoveRelationCopiesTransformer. More... | |
| souffle::ast::transform::test::TEST (Transformers, ResolveAliasesWithTermsInAtoms) | |
| souffle::ast::transform::test::TEST (Transformers, ResolveGroundedAliases) | |
