souffle::ram::transform Namespace Reference

Data Structures
class	ChoiceConversionTransformer
	Convert (Scan/If)/(IndexScan/If) operaitons to (Choice)/(IndexChoice) operations. More...
class	CollapseFiltersTransformer
	Transforms consecutive filters into a single filter containing a conjunction. More...
class	ConditionalTransformer
	@Class ConditionalTransformer @Brief Composite conditional transformer More...
class	EliminateDuplicatesTransformer
	Eliminates duplicated conjunctive terms. More...
class	ExpandFilterTransformer
	Transforms Conjunctions into consecutive filter operations. More...
class	HoistAggregateTransformer
class	HoistConditionsTransformer
	Hosts conditions in a loop-nest to the most-outer/semantically-correct loop. More...
class	IfConversionTransformer
	Convert IndexScan operations to Filter/Existence Checks. More...
class	IndexedInequalityTransformer
	Removes Inequalities from Indexed Operations and replaces them with a Filter Operation and empty Indexed Operations are coverted to their Non-Indexed semantic equivalent. More...
class	LoopTransformer
	@Class LoopTransformer @Brief Composite loop transformer More...
class	MakeIndexTransformer
	Make indexable operations to indexed operations. More...
class	MetaTransformer
	@Class MetaTransformer @Brief Abstract class to identifier meta transformer More...
class	ParallelTransformer
	Transforms Choice/IndexChoice/IndexScan/Scan into parallel versions. More...
class	ReorderConditionsTransformer
	Reorders conjunctive terms depending on cost, i.e., cheap terms should be executed first. More...
class	ReorderFilterBreak
class	ReportIndexTransformer
class	Transformer
	@Class Transformer @Brief abstract transformer class for a translation unit More...
class	TransformerSequence
	@Class TransformerSequence @Brief Composite sequence transformer More...
class	TupleIdTransformer
	Ordering tupleIds in TupleOperation operations correctly. More...

Typedefs
using	ExpressionPair = std::pair< Own< Expression >, Own< Expression > >

Typedef Documentation

ExpressionPair

using souffle::ram::transform::ExpressionPair = typedef std::pair<Own<Expression>, Own<Expression> >

Definition at line 46 of file MakeIndex.cpp.