Package | Description |
---|---|
de.learnlib.algorithms.ttt.base | |
de.learnlib.algorithms.ttt.dfa | |
de.learnlib.algorithms.ttt.mealy |
Modifier and Type | Field and Description |
---|---|
protected TTTTransition<I,D> |
IncomingListElem.nextIncoming |
TTTTransition<I,D> |
TTTHypothesis.TTTEdge.transition |
Modifier and Type | Method and Description |
---|---|
TTTTransition<I,D> |
IncomingList.choose() |
protected TTTTransition<I,D> |
BaseTTTLearner.createTransition(TTTState<I,D> state,
I sym) |
TTTTransition<I,D> |
TTTHypothesis.getInternalTransition(TTTState<I,D> state,
I input)
Retrieves the internal transition (i.e., the
TTTTransition object)
for a given state and input. |
Modifier and Type | Method and Description |
---|---|
Iterator<TTTTransition<I,D>> |
IncomingList.iterator() |
Modifier and Type | Method and Description |
---|---|
TTTState<I,D> |
TTTHypothesis.createState(TTTTransition<I,D> parent) |
protected TTTState<I,D> |
BaseTTTLearner.getTarget(TTTTransition<I,D> trans)
Retrieves the target state of a given transition.
|
void |
IncomingList.insertAllIncoming(TTTTransition<I,D> firstTransition) |
void |
IncomingList.insertIncoming(TTTTransition<I,D> transition) |
protected abstract T |
TTTHypothesis.mapTransition(TTTTransition<I,D> internalTransition) |
protected TTTState<I,D> |
TTTHypothesis.newState(int alphabetSize,
TTTTransition<I,D> parent,
int id) |
void |
TTTEventListener.postSplit(TTTTransition<I,D> transition,
Word<I> tempDiscriminator) |
protected D |
BaseTTTLearner.predictSuccOutcome(TTTTransition<I,D> trans,
DTNode<I,D> succSeparator) |
void |
TTTEventListener.preSplit(TTTTransition<I,D> transition,
Word<I> tempDiscriminator) |
Constructor and Description |
---|
TTTEdge(TTTTransition<I,D> transition,
TTTState<I,D> target) |
TTTState(int alphabetSize,
TTTTransition<I,D> parentTransition,
int id) |
Modifier and Type | Method and Description |
---|---|
protected TTTState<I,Boolean> |
TTTHypothesisDFA.mapTransition(TTTTransition<I,Boolean> internalTransition) |
protected TTTState<I,Boolean> |
TTTHypothesisDFA.newState(int alphabetSize,
TTTTransition<I,Boolean> parent,
int id) |
protected Boolean |
TTTLearnerDFA.predictSuccOutcome(TTTTransition<I,Boolean> trans,
DTNode<I,Boolean> succSeparator) |
Constructor and Description |
---|
TTTStateDFA(int alphabetSize,
TTTTransition<I,Boolean> parentTransition,
int id) |
Modifier and Type | Class and Description |
---|---|
class |
TTTTransitionMealy<I,O> |
Modifier and Type | Method and Description |
---|---|
protected TTTTransition<I,Word<O>> |
TTTLearnerMealy.createTransition(TTTState<I,Word<O>> state,
I sym) |
Modifier and Type | Method and Description |
---|---|
protected TTTTransitionMealy<I,O> |
TTTHypothesisMealy.mapTransition(TTTTransition<I,Word<O>> internalTransition) |
protected Word<O> |
TTTLearnerMealy.predictSuccOutcome(TTTTransition<I,Word<O>> trans,
DTNode<I,Word<O>> succSeparator) |
Copyright © 2015. All rights reserved.