Package owl.automaton

Class AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton<S,B extends GeneralizedBuchiAcceptance>

java.lang.Object

owl.automaton.AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton<S,B>

Enclosing class:

AutomatonUtil

public abstract static class AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton<S,B extends GeneralizedBuchiAcceptance>
extends Object

Constructor Summary

Constructors

Constructor	Description
LimitDeterministicGeneralizedBuchiAutomaton()

Method Summary

Modifier and Type	Method	Description
abstract Automaton<S,B>	automaton()
abstract Set<S>	initialComponent()
static <S,B extends GeneralizedBuchiAcceptance> AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton<S,B>	of(Automaton<S,B> automaton, Set<S> initialComponent)

Methods inherited from class java.lang.Object

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

Constructor Detail

LimitDeterministicGeneralizedBuchiAutomaton

public LimitDeterministicGeneralizedBuchiAutomaton()

Method Detail

automaton

public abstract Automaton<S,B> automaton()

initialComponent

public abstract Set<S> initialComponent()

of

public static <S,B extends GeneralizedBuchiAcceptance> AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton<S,B> of(Automaton<S,B> automaton,
                                                                                                                                     Set<S> initialComponent)