Module net.automatalib.util
Class MooreBuilder.MooreBuilder0
java.lang.Object
net.automatalib.util.automaton.builder.MooreBuilder.MooreBuilder0
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.withOutput(Object stateId, O output) Associates with the given state the given output symbol.
-
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
-
withOutput
Associates with the given state the given output symbol.- Parameters:
stateId- the object to identify the stateoutput- the output symbol- Returns:
- the next fluent state
-