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

Packages that use TransitionRecord

Package	Description
net.automatalib.incremental.mealy

Uses of TransitionRecord in net.automatalib.incremental.mealy

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

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

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

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

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

Modifier and Type	Method and Description
TransitionEdge.Property<I,O>	IncrementalMealyBuilder.getEdgeProperty(TransitionRecord edge)
State	IncrementalMealyBuilder.getSuccessor(TransitionRecord transition)
State	IncrementalMealyBuilder.getTarget(TransitionRecord edge)
O	IncrementalMealyBuilder.getTransitionOutput(TransitionRecord transition)