| 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] | 
 1.8.17
 1.8.17