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