Module net.automatalib.util
Class MealyBuilder.MealyBuilder0
java.lang.Object
net.automatalib.util.automaton.builder.MealyBuilder.MealyBuilder0
A state (-class) of the enclosing fluent interface.
-
Method Summary
Modifier and TypeMethodDescriptioncreate()Returns the constructed automaton.Starts a definition of transition(s) from a given source state.Starts a definition of transition(s) from multiple given source states.
-
Method Details
-
create
Returns the constructed automaton.- Returns:
- the automaton
-
from
Starts a definition of transition(s) from a given source state.- Parameters:
stateId- the object to identify the state- Returns:
- the next fluent state
-
from
Starts a definition of transition(s) from multiple given source states.- Parameters:
firstStateId- the mandatory object to identify the first stateotherStateIds- the optional objects to identify additional states- Returns:
- the next fluent state
-