| 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.