MutableAutomatonBuilder<S,S,GeneralizedBuchiAcceptance>
public final class GeneralizedBuchiView<S> extends java.lang.Object implements MutableAutomatonBuilder<S,S,GeneralizedBuchiAcceptance>
Constructor | Description |
---|---|
GeneralizedBuchiView(Automaton<S,AllAcceptance> nba) |
Modifier and Type | Method | Description |
---|---|---|
S |
add(S stateKey) |
|
MutableAutomaton<S,GeneralizedBuchiAcceptance> |
build() |
public GeneralizedBuchiView(Automaton<S,AllAcceptance> nba)
public S add(S stateKey)
add
in interface MutableAutomatonBuilder<S,S,GeneralizedBuchiAcceptance>
public MutableAutomaton<S,GeneralizedBuchiAcceptance> build()
build
in interface MutableAutomatonBuilder<S,S,GeneralizedBuchiAcceptance>