Package | Description |
---|---|
net.automatalib.incremental.mealy.tree | |
net.automatalib.incremental.mealy.tree.dynamic |
Modifier and Type | Method and Description |
---|---|
Edge<N,O> |
AnnotatedEdge.getEdge() |
protected abstract Edge<N,O> |
AbstractIncrementalMealyTreeBuilder.getEdge(N node,
I symbol) |
protected Edge<net.automatalib.incremental.mealy.tree.Node<O>,O> |
IncrementalMealyTreeBuilder.getEdge(net.automatalib.incremental.mealy.tree.Node<O> node,
I symbol) |
Edge<N,O> |
AbstractIncrementalMealyTreeBuilder.TransitionSystemView.getTransition(N state,
I input) |
Modifier and Type | Method and Description |
---|---|
N |
AbstractIncrementalMealyTreeBuilder.TransitionSystemView.getSuccessor(Edge<N,O> transition) |
O |
AbstractIncrementalMealyTreeBuilder.TransitionSystemView.getTransitionOutput(Edge<N,O> transition) |
Constructor and Description |
---|
AnnotatedEdge(Edge<N,O> edge,
I input) |
Modifier and Type | Method and Description |
---|---|
protected Edge<net.automatalib.incremental.mealy.tree.dynamic.Node<I,O>,O> |
DynamicIncrementalMealyTreeBuilder.getEdge(net.automatalib.incremental.mealy.tree.dynamic.Node<I,O> node,
I symbol) |
Copyright © 2019. All rights reserved.