souffle
2.0.2-371-g6315b36
|
Files | |
file | ChoiceConversion.cpp [code] |
file | ChoiceConversion.h [code] |
file | CollapseFilters.cpp [code] |
file | CollapseFilters.h [code] |
file | Conditional.h [code] |
file | EliminateDuplicates.cpp [code] |
file | EliminateDuplicates.h [code] |
file | ExpandFilter.cpp [code] |
file | ExpandFilter.h [code] |
file | HoistAggregate.cpp [code] |
file | HoistAggregate.h [code] |
file | HoistConditions.cpp [code] |
file | HoistConditions.h [code] |
file | IfConversion.cpp [code] |
file | IfConversion.h [code] |
file | IndexedInequality.cpp [code] |
file | IndexedInequality.h [code] |
file | Loop.h [code] |
file | MakeIndex.cpp [code] |
file | MakeIndex.h [code] |
file | Meta.h [code] |
file | Parallel.cpp [code] |
file | Parallel.h [code] |
file | ReorderConditions.cpp [code] |
file | ReorderConditions.h [code] |
file | ReorderFilterBreak.cpp [code] |
file | ReorderFilterBreak.h [code] |
file | ReportIndex.h [code] |
file | Sequence.h [code] |
file | Transformer.cpp [code] |
file | Transformer.h [code] |
file | TupleId.cpp [code] |
file | TupleId.h [code] |