Package owl.automaton.acceptance.transformer

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 class	ZielonkaTreeTransformations.AlternatingCycleDecomposition<S>
static interface	ZielonkaTreeTransformations.AutomatonWithZielonkaTreeLookup<S,A extends EmersonLeiAcceptance>
static class	ZielonkaTreeTransformations.ConditionalZielonkaTree
static class	ZielonkaTreeTransformations.Path
static class	ZielonkaTreeTransformations.ZielonkaState<S>
static interface	ZielonkaTreeTransformations.ZielonkaTree
static interface	ZielonkaTreeTransformations.ZielonkaTreeLookup<S>

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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)