souffle
2.0.2-371-g6315b36
|
@Class ConditionalTransformer @Brief Composite conditional transformer More...
#include <Conditional.h>
Public Member Functions | |
ConditionalTransformer (std::function< bool()> fn, Own< Transformer > tb) | |
std::string | getName () const override |
@Brief get name of the transformer More... | |
bool | transform (TranslationUnit &tU) override |
@Brief transform the translation unit / used by apply @Param translationUnit that will be transformed. More... | |
Public Member Functions inherited from souffle::ram::transform::Transformer | |
bool | apply (TranslationUnit &translationUnit) |
@Brief apply the transformer to a translation unit @Param translationUnit that will be transformed. More... | |
virtual | ~Transformer ()=default |
Protected Attributes | |
Own< Transformer > | body |
std::function< bool()> | func |
Additional Inherited Members |
@Class ConditionalTransformer @Brief Composite conditional transformer
A transformation is invoked if a condition holds.
Definition at line 42 of file Conditional.h.
|
inline |
Definition at line 50 of file Conditional.h.
|
inlineoverridevirtual |
@Brief get name of the transformer
Implements souffle::ram::transform::Transformer.
Definition at line 52 of file Conditional.h.
|
inlineoverridevirtual |
@Brief transform the translation unit / used by apply @Param translationUnit that will be transformed.
@Return flag reporting whether the RAM program has changed
Implements souffle::ram::transform::Transformer.
Definition at line 55 of file Conditional.h.
|
protected |
Definition at line 65 of file Conditional.h.
|
protected |
Definition at line 64 of file Conditional.h.