Package owl.automaton.ldba
Interface MutableAutomatonBuilder<S,T,U extends OmegaAcceptance>
-
- All Known Implementing Classes:
AbstractAcceptingComponentBuilder
,DegeneralizedAcceptingComponentBuilder
,DegeneralizedAcceptingComponentBuilder
,GeneralizedAcceptingComponentBuilder
,GeneralizedAcceptingComponentBuilder
public interface MutableAutomatonBuilder<S,T,U extends OmegaAcceptance>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description T
add(S stateKey)
MutableAutomaton<T,U>
build()
-