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

Packages that use TransitionRecord

Package	Description
net.automatalib.incremental.mealy.dag

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

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

Modifier and Type	Method and Description
TransitionRecord	IncrementalMealyDAGBuilder.AutomatonView.getTransition(State state, I input)

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

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

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

Modifier and Type	Method and Description
I	IncrementalMealyDAGBuilder.GraphView.getInputSymbol(TransitionRecord edge)
O	IncrementalMealyDAGBuilder.GraphView.getOutputSymbol(TransitionRecord edge)
State	IncrementalMealyDAGBuilder.AutomatonView.getSuccessor(TransitionRecord transition)
State	IncrementalMealyDAGBuilder.GraphView.getTarget(TransitionRecord edge)
O	IncrementalMealyDAGBuilder.AutomatonView.getTransitionOutput(TransitionRecord transition)