souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
64 class MakeIndexTransformer :
public Transformer {
66 std::string
getName()
const override {
67 return "MakeIndexTransformer";
RAM program relation declaration and functions.
Analysis * getAnalysis() const
Get an analysis.
A Ram Analysis for determining the level of a expression/condition.
Abstract class for conditions and boolean values in RAM.
std::string identifier(std::string id)
Valid C++ identifier, note that this does not ensure the uniqueness of identifiers returned.
Program & getProgram() const
Get the RAM Program of the translation unit
Translating a RAM program.
Aggregation function applied on some relation.
Iterate all tuples of a relation.
Search for tuples of a relation matching a criteria.
Evaluates a binary constraint with respect to two Expressions.
std::pair< RamBound, RamBound > RamPattern
A RAM Analysis for finding relations by name.
std::vector< Own< A > > VecOwn