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.