Package | Description |
---|---|
net.automatalib.incremental.mealy |
Modifier and Type | Field and Description |
---|---|
State |
TransitionRecord.source |
Modifier and Type | Method and Description |
---|---|
State |
IncrementalMealyBuilder.getInitialState() |
State |
State.getSuccessor(int idx) |
State |
IncrementalMealyBuilder.getSuccessor(TransitionRecord transition) |
State |
IncrementalMealyBuilder.getTarget(TransitionRecord edge) |
Modifier and Type | Method and Description |
---|---|
<V> MutableMapping<State,V> |
IncrementalMealyBuilder.createDynamicNodeMapping() |
<V> MutableMapping<State,V> |
IncrementalMealyBuilder.createStaticNodeMapping() |
GraphDOTHelper<State,TransitionRecord> |
IncrementalMealyBuilder.getGraphDOTHelper() |
Collection<State> |
IncrementalMealyBuilder.getNodes() |
Collection<State> |
IncrementalMealyBuilder.getStates() |
NodeIDs<State> |
IncrementalMealyBuilder.nodeIDs() |
Modifier and Type | Method and Description |
---|---|
Void |
IncrementalMealyBuilder.getNodeProperty(State node) |
Collection<TransitionRecord> |
IncrementalMealyBuilder.getOutgoingEdges(State node) |
TransitionRecord |
IncrementalMealyBuilder.getTransition(State state,
I input) |
Constructor and Description |
---|
TransitionRecord(State source,
int transIdx) |
Copyright © 2015. All Rights Reserved.