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

Packages that use State

Package	Description
net.automatalib.incremental.mealy.dag

Uses of State in net.automatalib.incremental.mealy.dag

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

Modifier and Type	Field and Description
State	TransitionRecord.source

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

Modifier and Type	Method and Description
State	IncrementalMealyDAGBuilder.GraphView.getInitialNode()
State	IncrementalMealyDAGBuilder.AutomatonView.getInitialState()
State	State.getSuccessor(int idx)
State	IncrementalMealyDAGBuilder.AutomatonView.getSuccessor(TransitionRecord transition)
State	IncrementalMealyDAGBuilder.GraphView.getTarget(TransitionRecord edge)

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

Modifier and Type	Method and Description
GraphDOTHelper<State,TransitionRecord>	IncrementalMealyDAGBuilder.GraphView.getGraphDOTHelper()
Collection<State>	IncrementalMealyDAGBuilder.GraphView.getNodes()

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

Modifier and Type	Method and Description
Collection<TransitionRecord>	IncrementalMealyDAGBuilder.GraphView.getOutgoingEdges(State node)
TransitionRecord	IncrementalMealyDAGBuilder.AutomatonView.getTransition(State state, I input)

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

Constructor and Description
TransitionRecord(State source, int transIdx)