souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
36 class FixpointTransformer :
public MetaTransformer {
41 if (
auto* mt =
dynamic_cast<MetaTransformer*
>(
transformer.get())) {
61 mt->disableTransformers(transforms);
62 }
else if (transforms.find(
transformer->getName()) != transforms.end()) {
67 std::string
getName()
const override {
68 return "FixpointTransformer";
auto clone(const std::vector< A * > &xs)
Translation unit class for the translation pipeline.