Package | Description |
---|---|
net.automatalib.incremental.mealy |
Modifier and Type | Method and Description |
---|---|
TransitionRecord |
IncrementalMealyBuilder.getTransition(State state,
I input) |
Modifier and Type | Method and Description |
---|---|
GraphDOTHelper<State,TransitionRecord> |
IncrementalMealyBuilder.getGraphDOTHelper() |
Collection<TransitionRecord> |
IncrementalMealyBuilder.getOutgoingEdges(State node) |
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) |
Copyright © 2015. All Rights Reserved.