souffle  2.0.2-371-g6315b36
transform Directory Reference
Directory dependency graph for transform:
ast/transform

Files

file  AddNullariesToAtomlessAggregates.cpp [code]
 
file  AddNullariesToAtomlessAggregates.h [code]
 
file  ComponentChecker.cpp [code]
 
file  ComponentChecker.h [code]
 
file  ComponentInstantiation.cpp [code]
 
file  ComponentInstantiation.h [code]
 
file  Conditional.h [code]
 
file  DebugReporter.cpp [code]
 
file  DebugReporter.h [code]
 
file  ExecutionPlanChecker.cpp [code]
 
file  ExecutionPlanChecker.h [code]
 
file  Fixpoint.h [code]
 
file  FoldAnonymousRecords.cpp [code]
 
file  FoldAnonymousRecords.h [code]
 
file  GroundedTermsChecker.cpp [code]
 
file  GroundedTermsChecker.h [code]
 
file  GroundWitnesses.cpp [code]
 
file  GroundWitnesses.h [code]
 
file  InlineRelations.cpp [code]
 
file  InlineRelations.h [code]
 
file  IOAttributes.h [code]
 
file  IODefaults.h [code]
 
file  MagicSet.cpp [code]
 
file  MagicSet.h [code]
 
file  MaterializeAggregationQueries.cpp [code]
 
file  MaterializeAggregationQueries.h [code]
 
file  MaterializeSingletonAggregation.cpp [code]
 
file  MaterializeSingletonAggregation.h [code]
 
file  Meta.cpp [code]
 
file  Meta.h [code]
 
file  MinimiseProgram.cpp [code]
 
file  MinimiseProgram.h [code]
 
file  NameUnnamedVariables.cpp [code]
 
file  NameUnnamedVariables.h [code]
 
file  NormaliseMultiResultFunctors.cpp [code]
 
file  NormaliseMultiResultFunctors.h [code]
 
file  Null.h [code]
 
file  PartitionBodyLiterals.cpp [code]
 
file  PartitionBodyLiterals.h [code]
 
file  Pipeline.h [code]
 
file  PragmaChecker.cpp [code]
 
file  PragmaChecker.h [code]
 
file  Provenance.cpp [code]
 
file  Provenance.h [code]
 
file  ReduceExistentials.cpp [code]
 
file  ReduceExistentials.h [code]
 
file  RemoveBooleanConstraints.cpp [code]
 
file  RemoveBooleanConstraints.h [code]
 
file  RemoveEmptyRelations.cpp [code]
 
file  RemoveEmptyRelations.h [code]
 
file  RemoveRedundantRelations.cpp [code]
 
file  RemoveRedundantRelations.h [code]
 
file  RemoveRedundantSums.cpp [code]
 
file  RemoveRedundantSums.h [code]
 
file  RemoveRelationCopies.cpp [code]
 
file  RemoveRelationCopies.h [code]
 
file  ReorderLiterals.cpp [code]
 
file  ReorderLiterals.h [code]
 
file  ReplaceSingletonVariables.cpp [code]
 
file  ReplaceSingletonVariables.h [code]
 
file  ResolveAliases.cpp [code]
 
file  ResolveAliases.h [code]
 
file  ResolveAnonymousRecordAliases.cpp [code]
 
file  ResolveAnonymousRecordAliases.h [code]
 
file  SemanticChecker.cpp [code]
 
file  SemanticChecker.h [code]
 
file  SimplifyAggregateTargetExpression.cpp [code]
 
file  SimplifyAggregateTargetExpression.h [code]
 
file  Transformer.cpp [code]
 
file  Transformer.h [code]
 
file  TypeChecker.cpp [code]
 
file  TypeChecker.h [code]
 
file  UniqueAggregationVariables.cpp [code]
 
file  UniqueAggregationVariables.h [code]
 
file  While.h [code]