souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
34 class HoistAggregateTransformer :
public Transformer {
36 std::string
getName()
const override {
37 return "HoistAggregateTransformer";
RAM program relation declaration and functions.
Analysis * getAnalysis() const
Get an analysis.
A Ram Analysis for determining the level of a expression/condition.
Program & getProgram() const
Get the RAM Program of the translation unit
Translating a RAM program.