AbstractAcceptingComponentBuilder
, DegeneralizedAcceptingComponentBuilder
, DegeneralizedAcceptingComponentBuilder
, GeneralizedAcceptingComponentBuilder
, GeneralizedAcceptingComponentBuilder
, GeneralizedBuchiView
, InitialComponentBuilder
public interface MutableAutomatonBuilder<S,T,U extends OmegaAcceptance>
Modifier and Type | Method | Description |
---|---|---|
T |
add(S stateKey) |
|
MutableAutomaton<T,U> |
build() |
MutableAutomaton<T,U> build()