Package owl.run.modules
Interface OwlModule.AutomatonTransformer
-
- All Superinterfaces:
OwlModule.Instance
,OwlModule.Transformer
- All Known Implementing Classes:
AcceptanceOptimizations.AcceptanceOptimizationTransformer
- 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.AutomatonTransformer extends OwlModule.Transformer
Derived transformer that casts the argument to anAutomaton
and optionally converts the acceptance condition if possible.
-
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description static <R> OwlModule.AutomatonTransformer
of(Function<Automaton<Object,?>,R> function)
static <A extends OmegaAcceptance,R>
OwlModule.AutomatonTransformerof(Function<Automaton<Object,A>,R> function, Class<A> acceptanceBound)
default Object
transform(Object object)
Object
transform(Automaton<Object,?> automaton)
-
-
-
Method Detail
-
transform
default Object transform(Object object)
- Specified by:
transform
in interfaceOwlModule.Transformer
-
of
static <R> OwlModule.AutomatonTransformer of(Function<Automaton<Object,?>,R> function)
-
of
static <A extends OmegaAcceptance,R> OwlModule.AutomatonTransformer of(Function<Automaton<Object,A>,R> function, Class<A> acceptanceBound)
-
-