Class ZielonkaTreeTransformations
- java.lang.Object
-
- owl.automaton.acceptance.transformer.ZielonkaTreeTransformations
-
public final class ZielonkaTreeTransformations extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classZielonkaTreeTransformations.AlternatingCycleDecomposition<S>static interfaceZielonkaTreeTransformations.AutomatonWithZielonkaTreeLookup<S,A extends EmersonLeiAcceptance>static classZielonkaTreeTransformations.ConditionalZielonkaTreestatic classZielonkaTreeTransformations.Pathstatic classZielonkaTreeTransformations.ZielonkaState<S>static interfaceZielonkaTreeTransformations.ZielonkaTreestatic interfaceZielonkaTreeTransformations.ZielonkaTreeLookup<S>
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <S> ZielonkaTreeTransformations.AutomatonWithZielonkaTreeLookup<ZielonkaTreeTransformations.ZielonkaState<S>,ParityAcceptance>transform(AbstractMemoizingAutomaton<S,?> automaton, OptionalInt lookahead, BiPredicate<S,S> sccChange, Function<S,? extends PropositionalFormula<Integer>> localAlpha, Function<S,? extends PropositionalFormula<Integer>> localBeta)static <S> Automaton<ZielonkaTreeTransformations.ZielonkaState<S>,ParityAcceptance>transform(Automaton<S,?> automaton)
-
-
-
Method Detail
-
transform
public static <S> Automaton<ZielonkaTreeTransformations.ZielonkaState<S>,ParityAcceptance> transform(Automaton<S,?> automaton)
-
transform
public static <S> ZielonkaTreeTransformations.AutomatonWithZielonkaTreeLookup<ZielonkaTreeTransformations.ZielonkaState<S>,ParityAcceptance> transform(AbstractMemoizingAutomaton<S,?> automaton, OptionalInt lookahead, BiPredicate<S,S> sccChange, Function<S,? extends PropositionalFormula<Integer>> localAlpha, Function<S,? extends PropositionalFormula<Integer>> localBeta)
-
-