souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
35 class ResolveAnonymousRecordAliasesTransformer :
public Transformer {
37 std::string
getName()
const override {
38 return "ResolveAnonymousRecordAliases";
Intermediate representation of a horn clause.
Translation unit class for the translation pipeline.