Package | Description |
---|---|
de.learnlib.algorithms.ttt.base | |
de.learnlib.algorithms.ttt.dfa | |
de.learnlib.algorithms.ttt.mealy |
Modifier and Type | Field and Description |
---|---|
TTTState<I,D> |
BaseTTTLearner.Splitter.state1 |
TTTState<I,D> |
BaseTTTLearner.Splitter.state2 |
TTTState<I,D> |
TTTHypothesis.TTTEdge.target |
Modifier and Type | Method and Description |
---|---|
TTTState<I,D> |
TTTHypothesis.createState(TTTTransition<I,D> parent) |
TTTState<I,D> |
TTTHypothesis.getInitialState() |
TTTState<I,D> |
TTTTransition.getSource() |
TTTState<I,D> |
DTNode.getState() |
protected TTTState<I,D> |
BaseTTTLearner.getState(TTTState<I,D> start,
Iterable<? extends I> suffix)
Retrieves the successor for a given state and a suffix sequence.
|
TTTState<I,D> |
TTTTransition.getTarget() |
TTTState<I,D> |
TTTHypothesis.GraphView.getTarget(TTTHypothesis.TTTEdge<I,D> edge) |
protected TTTState<I,D> |
BaseTTTLearner.getTarget(TTTTransition<I,D> trans)
Retrieves the target state of a given transition.
|
TTTState<I,D> |
TTTTransition.getTreeTarget() |
TTTState<I,D> |
TTTHypothesis.initialize()
Initializes the automaton, adding an initial state.
|
protected TTTState<I,D> |
TTTHypothesis.newState(int alphabetSize,
TTTTransition<I,D> parent,
int id) |
Modifier and Type | Method and Description |
---|---|
GraphDOTHelper<TTTState<I,D>,TTTHypothesis.TTTEdge<I,D>> |
TTTHypothesis.GraphView.getGraphDOTHelper() |
GraphDOTHelper<TTTState<I,D>,TTTHypothesis.TTTEdge<I,D>> |
BaseTTTLearner.getHypothesisDOTHelper() |
Collection<? extends TTTState<I,D>> |
TTTHypothesis.GraphView.getNodes() |
Collection<TTTState<I,D>> |
TTTHypothesis.getStates() |
Iterable<TTTState<I,D>> |
DTNode.subtreeStates() |
Iterator<TTTState<I,D>> |
DTNode.subtreeStatesIterator() |
Modifier and Type | Method and Description |
---|---|
protected abstract D |
BaseTTTLearner.computeHypothesisOutput(TTTState<I,D> state,
Iterable<? extends I> suffix) |
protected TTTTransition<I,D> |
BaseTTTLearner.createTransition(TTTState<I,D> state,
I sym) |
void |
TTTEventListener.ensureConsistency(TTTState<I,D> state,
DTNode<I,D> dtNode,
D realOutcome) |
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. |
Collection<? extends TTTHypothesis.TTTEdge<I,D>> |
TTTHypothesis.GraphView.getOutgoingEdges(TTTState<I,D> node) |
protected TTTState<I,D> |
BaseTTTLearner.getState(TTTState<I,D> start,
Iterable<? extends I> suffix)
Retrieves the successor for a given state and a suffix sequence.
|
T |
TTTHypothesis.getTransition(TTTState<I,D> state,
I input) |
protected void |
BaseTTTLearner.initializeState(TTTState<I,D> state)
Initializes a state.
|
Constructor and Description |
---|
Splitter(TTTState<I,D> state1,
TTTState<I,D> state2,
int symbolIdx) |
Splitter(TTTState<I,D> state1,
TTTState<I,D> state2,
int symbolIdx) |
Splitter(TTTState<I,D> state1,
TTTState<I,D> state2,
int symbolIdx,
DTNode<I,D> succSeparator) |
Splitter(TTTState<I,D> state1,
TTTState<I,D> state2,
int symbolIdx,
DTNode<I,D> succSeparator) |
TTTEdge(TTTTransition<I,D> transition,
TTTState<I,D> target) |
TTTTransition(TTTState<I,D> source,
I input) |
Modifier and Type | Class and Description |
---|---|
class |
TTTStateDFA<I> |
Modifier and Type | Method and Description |
---|---|
TTTState<I,Boolean> |
TTTHypothesisDFA.getSuccessor(TTTState<I,Boolean> transition) |
protected TTTState<I,Boolean> |
TTTHypothesisDFA.mapTransition(TTTTransition<I,Boolean> internalTransition) |
protected TTTState<I,Boolean> |
TTTHypothesisDFA.newState(int alphabetSize,
TTTTransition<I,Boolean> parent,
int id) |
Modifier and Type | Method and Description |
---|---|
GraphDOTHelper<TTTState<I,Boolean>,TTTHypothesis.TTTEdge<I,Boolean>> |
TTTLearnerDFA.getHypothesisDOTHelper() |
Modifier and Type | Method and Description |
---|---|
protected Boolean |
TTTLearnerDFA.computeHypothesisOutput(TTTState<I,Boolean> state,
Iterable<? extends I> suffix) |
TTTState<I,Boolean> |
TTTHypothesisDFA.getSuccessor(TTTState<I,Boolean> transition) |
protected void |
TTTLearnerDFA.initializeState(TTTState<I,Boolean> state) |
boolean |
TTTHypothesisDFA.isAccepting(TTTState<I,Boolean> state) |
Modifier and Type | Method and Description |
---|---|
TTTState<I,Word<O>> |
TTTHypothesisMealy.getSuccessor(TTTTransitionMealy<I,O> transition) |
Modifier and Type | Method and Description |
---|---|
GraphDOTHelper<TTTState<I,Word<O>>,TTTHypothesis.TTTEdge<I,Word<O>>> |
TTTLearnerMealy.getHypothesisDOTHelper() |
Modifier and Type | Method and Description |
---|---|
protected Word<O> |
TTTLearnerMealy.computeHypothesisOutput(TTTState<I,Word<O>> state,
Iterable<? extends I> suffix) |
protected TTTTransition<I,Word<O>> |
TTTLearnerMealy.createTransition(TTTState<I,Word<O>> state,
I sym) |
Constructor and Description |
---|
TTTTransitionMealy(TTTState<I,Word<O>> source,
I input) |
Copyright © 2015. All rights reserved.