souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
37 return "ReorderLiteralsTransformer";
Intermediate representation of a horn clause.
Translation unit class for the translation pipeline.
Class for SIPS cost-metric functions Each subclass represents a different heuristic used for evaluati...