Package | Description |
---|---|
de.learnlib.algorithms.ttt.base | |
de.learnlib.algorithms.ttt.dfa | |
de.learnlib.algorithms.ttt.mealy |
Modifier and Type | Field and Description |
---|---|
TTTTransition<I,D> |
AbstractTTTHypothesis.TTTEdge.transition |
Modifier and Type | Field and Description |
---|---|
protected IntrusiveListElem<TTTTransition<I,D>> |
TTTTransition.prevIncoming |
Modifier and Type | Method and Description |
---|---|
protected TTTTransition<I,D> |
AbstractTTTLearner.createTransition(TTTState<I,D> state,
I sym) |
TTTTransition<I,D> |
AbstractTTTHypothesis.getInternalTransition(TTTState<I,D> state,
I input)
Retrieves the internal transition (i.e., the
TTTTransition object) for a given state and input. |
TTTTransition<I,D> |
AbstractTTTHypothesis.getInternalTransition(TTTState<I,D> state,
int input) |
TTTTransition<I,D> |
TTTState.getParentTransition() |
protected TTTTransition<I,D> |
AbstractTTTLearner.getStateTransition(TTTState<I,D> state,
I sym) |
TTTTransition<I,D> |
TTTState.getTransition(int idx) |
TTTTransition<I,D>[] |
TTTState.getTransitions() |
TTTTransition<I,D> |
IncomingList.poll() |
Modifier and Type | Method and Description |
---|---|
TTTState<I,D> |
AbstractTTTHypothesis.createState(TTTTransition<I,D> parent) |
protected TTTState<I,D> |
AbstractTTTLearner.getAnyTarget(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 TTTState<I,D> |
AbstractTTTLearner.makeTree(TTTTransition<I,D> trans) |
protected abstract T |
AbstractTTTHypothesis.mapTransition(TTTTransition<I,D> internalTransition) |
protected TTTState<I,D> |
AbstractTTTHypothesis.newState(int alphabetSize,
TTTTransition<I,D> parent,
int id) |
void |
TTTEventListener.postSplit(TTTTransition<I,D> transition,
net.automatalib.words.Word<I> tempDiscriminator) |
protected abstract D |
AbstractTTTLearner.predictSuccOutcome(TTTTransition<I,D> trans,
AbstractBaseDTNode<I,D> succSeparator) |
void |
TTTEventListener.preSplit(TTTTransition<I,D> transition,
net.automatalib.words.Word<I> tempDiscriminator) |
void |
TTTState.setTransition(int idx,
TTTTransition<I,D> transition) |
Constructor and Description |
---|
TTTEdge(TTTTransition<I,D> transition,
TTTState<I,D> target) |
TTTState(int initialAlphabetSize,
TTTTransition<I,D> parentTransition,
int id) |
Modifier and Type | Method and Description |
---|---|
protected TTTState<I,Boolean> |
PrefixTTTLearnerDFA.makeTree(TTTTransition<I,Boolean> trans) |
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,
AbstractBaseDTNode<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,net.automatalib.words.Word<O>> |
TTTLearnerMealy.createTransition(TTTState<I,net.automatalib.words.Word<O>> state,
I sym) |
Modifier and Type | Method and Description |
---|---|
protected TTTTransitionMealy<I,O> |
TTTHypothesisMealy.mapTransition(TTTTransition<I,net.automatalib.words.Word<O>> internalTransition) |
protected net.automatalib.words.Word<O> |
TTTLearnerMealy.predictSuccOutcome(TTTTransition<I,net.automatalib.words.Word<O>> trans,
AbstractBaseDTNode<I,net.automatalib.words.Word<O>> succSeparator) |
Copyright © 2018. All rights reserved.