Package | Description |
---|---|
de.learnlib.algorithms.adt.automaton |
Modifier and Type | Method and Description |
---|---|
ADTTransition<I,O> |
ADTHypothesis.createOpenTransition(ADTState<I,O> source,
I input,
ADTNode<ADTState<I,O>,I,O> siftTarget) |
ADTTransition<I,O> |
ADTHypothesis.createTransition(ADTState<I,O> successor,
O properties) |
Modifier and Type | Method and Description |
---|---|
Set<ADTTransition<I,O>> |
ADTState.getIncomingTransitions() |
Modifier and Type | Method and Description |
---|---|
void |
ADTState.clearTransition(ADTTransition<I,O> transition) |
ADTState<I,O> |
ADTHypothesis.getSuccessor(ADTTransition<I,O> transition) |
O |
ADTHypothesis.getTransitionOutput(ADTTransition<I,O> transition) |
void |
ADTHypothesis.setTransition(ADTState<I,O> state,
I input,
ADTTransition<I,O> transition) |
void |
ADTHypothesis.setTransitionOutput(ADTTransition<I,O> transition,
O output) |
Copyright © 2018. All rights reserved.