Package owl.run.modules
Interface Transformer
-
- All Superinterfaces:
OwlModule
- All Known Implementing Classes:
AcceptanceOptimizations.AcceptanceOptimizationTransformer
,RabinDegeneralization
,SimplifierTransformer
,Transformers.SimpleTransformer
- 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 interface Transformer extends OwlModule
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. Aside from these tasks, pseudo-transformers can be used to provide insight into the progress of the pipeline by appending meta information to the context.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.
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static interface
Transformer.Instance
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description Transformer.Instance
create(Environment environment)
-
-
-
Method Detail
-
create
Transformer.Instance create(Environment environment)
-
-