souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
48 class FoldAnonymousRecords :
public Transformer {
50 std::string
getName()
const override {
51 return "FoldAnonymousRecords";
Intermediate representation of a horn clause.
Translation unit class for the translation pipeline.
Defines an abstract class for literals in a horn clause.
std::vector< Own< A > > VecOwn