Package | Description |
---|---|
net.automatalib.incremental.mealy.dag |
Modifier and Type | Method and Description |
---|---|
TransitionRecord |
IncrementalMealyDAGBuilder.AutomatonView.getTransition(State state,
I input) |
Modifier and Type | Method and Description |
---|---|
Collection<TransitionRecord> |
IncrementalMealyDAGBuilder.GraphView.getOutgoingEdges(State node) |
VisualizationHelper<State,TransitionRecord> |
IncrementalMealyDAGBuilder.GraphView.getVisualizationHelper() |
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) |
Copyright © 2018. All rights reserved.