souffle
2.0.2-371-g6315b36
ast
transform
transform Directory Reference
Directory dependency graph for 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]
Generated by
1.8.17