souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
30 class MinimiseProgramTransformer :
public Transformer {
32 std::string
getName()
const override {
33 return "MinimiseProgramTransformer";
56 const std::vector<std::vector<unsigned int>>& permutationMatrix);
Translation unit class for the translation pipeline.