Uses of Class
net.automatalib.incremental.mealy.State

Packages that use State

Package	Description
net.automatalib.incremental.mealy

Uses of State in net.automatalib.incremental.mealy

Fields in net.automatalib.incremental.mealy declared as State

Modifier and Type	Field and Description
State	TransitionRecord.source

Methods in net.automatalib.incremental.mealy that return State

Modifier and Type	Method and Description
State	IncrementalMealyBuilder.getInitialState()
State	State.getSuccessor(int idx)
State	IncrementalMealyBuilder.getSuccessor(TransitionRecord transition)
State	IncrementalMealyBuilder.getTarget(TransitionRecord edge)

Methods in net.automatalib.incremental.mealy that return types with arguments of type State

Modifier and Type	Method and Description
<V> MutableMapping<State,V>	IncrementalMealyBuilder.createDynamicNodeMapping()
<V> MutableMapping<State,V>	IncrementalMealyBuilder.createStaticNodeMapping()
GraphDOTHelper<State,TransitionRecord>	IncrementalMealyBuilder.getGraphDOTHelper()
Collection<State>	IncrementalMealyBuilder.getNodes()
Collection<State>	IncrementalMealyBuilder.getStates()
NodeIDs<State>	IncrementalMealyBuilder.nodeIDs()

Methods in net.automatalib.incremental.mealy with parameters of type State

Modifier and Type	Method and Description
Void	IncrementalMealyBuilder.getNodeProperty(State node)
Collection<TransitionRecord>	IncrementalMealyBuilder.getOutgoingEdges(State node)
TransitionRecord	IncrementalMealyBuilder.getTransition(State state, I input)

Constructors in net.automatalib.incremental.mealy with parameters of type State

Constructor and Description
TransitionRecord(State source, int transIdx)