Package owl.run.modules
Interface OwlModule.Transformer
-
- All Superinterfaces:
OwlModule.Instance
- All Known Subinterfaces:
OwlModule.AutomatonTransformer
,OwlModule.LabelledFormulaTransformer
- All Known Implementing Classes:
AcceptanceOptimizations.AcceptanceOptimizationTransformer
,SimplifierTransformer
- Enclosing class:
- OwlModule<M extends OwlModule.Instance>
- Functional Interface:
- This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
@FunctionalInterface public static interface OwlModule.Transformer extends OwlModule.Instance
Transformers are the central pieces of the pipeline concept. They should be used for any non-trivial mutation of objects. Typical instantiations are, for example, LTL to Automaton translators, optimization steps, etc.Implementation notes: It is strongly encouraged to design transformers in a stateless fashion, since it allows for easy parallelism. As parallel processing is a central design concept, the
transform
method must support parallel calls, even if there is some state involved.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description Object
transform(Object object)
-