souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
30 class MaterializeAggregationQueriesTransformer :
public Transformer {
32 std::string
getName()
const override {
33 return "MaterializeAggregationQueriesTransformer";
Intermediate representation of a horn clause.
Translation unit class for the translation pipeline.
Defines the aggregator class.