Package | Description |
---|---|
net.automatalib.incremental.mealy.dag |
Modifier and Type | Field and Description |
---|---|
State<O> |
TransitionRecord.source |
Modifier and Type | Method and Description |
---|---|
State<O> |
IncrementalMealyDAGBuilder.GraphView.getInitialNode() |
State<O> |
IncrementalMealyDAGBuilder.AutomatonView.getInitialState() |
State<O> |
State.getSuccessor(int idx) |
State<O> |
IncrementalMealyDAGBuilder.AutomatonView.getSuccessor(TransitionRecord<O> transition) |
State<O> |
IncrementalMealyDAGBuilder.GraphView.getTarget(TransitionRecord<O> edge) |
Modifier and Type | Method and Description |
---|---|
Collection<State<O>> |
IncrementalMealyDAGBuilder.GraphView.getNodes() |
VisualizationHelper<State<O>,TransitionRecord<O>> |
IncrementalMealyDAGBuilder.GraphView.getVisualizationHelper() |
Modifier and Type | Method and Description |
---|---|
Collection<TransitionRecord<O>> |
IncrementalMealyDAGBuilder.GraphView.getOutgoingEdges(State<O> node) |
@Nullable TransitionRecord<O> |
IncrementalMealyDAGBuilder.AutomatonView.getTransition(State<O> state,
I input) |
Constructor and Description |
---|
TransitionRecord(State<O> source,
int transIdx) |
Copyright © 2020. All rights reserved.