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> |
OutputInconsistency.srcState |
TTTState<I,D> |
TTTHypothesis.TTTEdge.target |
Modifier and Type | Field and Description |
---|---|
protected List<TTTState<I,D>> |
TTTHypothesis.states |
Modifier and Type | Method and Description |
---|---|
TTTState<I,D> |
DTNode.anySubtreeState() |
TTTState<I,D> |
TTTHypothesis.createState(TTTTransition<I,D> parent) |
protected TTTState<I,D> |
BaseTTTLearner.getAnySuccessor(TTTState<I,D> state,
I sym) |
protected TTTState<I,D> |
BaseTTTLearner.getAnySuccessor(TTTState<I,D> state,
Iterable<? extends I> suffix) |
protected TTTState<I,D> |
BaseTTTLearner.getAnyTarget(TTTTransition<I,D> trans)
Retrieves the target state of a given transition.
|
protected TTTState<I,D> |
BaseTTTLearner.getDeterministicState(TTTState<I,D> start,
net.automatalib.words.Word<I> word) |
TTTState<I,D> |
TTTHypothesis.getInitialState() |
TTTState<I,D> |
TTTTransition.getSource() |
TTTState<I,D> |
DTNode.getState() |
TTTState<I,D> |
TTTTransition.getTarget() |
TTTState<I,D> |
TTTHypothesis.GraphView.getTarget(TTTHypothesis.TTTEdge<I,D> edge) |
TTTState<I,D> |
TTTTransition.getTreeTarget() |
TTTState<I,D> |
TTTHypothesis.initialize()
Initializes the automaton, adding an initial state.
|
protected TTTState<I,D> |
BaseTTTLearner.makeTree(TTTTransition<I,D> trans) |
protected TTTState<I,D> |
TTTHypothesis.newState(int alphabetSize,
TTTTransition<I,D> parent,
int id) |
Modifier and Type | Method and Description |
---|---|
net.automatalib.graphs.dot.GraphDOTHelper<TTTState<I,D>,TTTHypothesis.TTTEdge<I,D>> |
TTTHypothesis.GraphView.getGraphDOTHelper() |
net.automatalib.graphs.dot.GraphDOTHelper<TTTState<I,D>,TTTHypothesis.TTTEdge<I,D>> |
BaseTTTLearner.getHypothesisDOTHelper() |
Collection<? extends TTTState<I,D>> |
TTTHypothesis.GraphView.getNodes() |
protected Set<TTTState<I,D>> |
BaseTTTLearner.getNondetSuccessors(Collection<? extends TTTState<I,D>> states,
I sym) |
protected Collection<? extends TTTState<I,D>> |
BaseTTTLearner.getNondetSuccessors(Collection<? extends TTTState<I,D>> states,
Iterable<? extends I> suffix) |
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,
net.automatalib.words.Word<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) |
protected TTTState<I,D> |
BaseTTTLearner.getAnySuccessor(TTTState<I,D> state,
I sym) |
protected TTTState<I,D> |
BaseTTTLearner.getAnySuccessor(TTTState<I,D> state,
Iterable<? extends I> suffix) |
protected TTTState<I,D> |
BaseTTTLearner.getDeterministicState(TTTState<I,D> start,
net.automatalib.words.Word<I> word) |
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. |
TTTTransition<I,D> |
TTTHypothesis.getInternalTransition(TTTState<I,D> state,
int input) |
Collection<? extends TTTHypothesis.TTTEdge<I,D>> |
TTTHypothesis.GraphView.getOutgoingEdges(TTTState<I,D> node) |
protected TTTTransition<I,D> |
BaseTTTLearner.getStateTransition(TTTState<I,D> state,
I sym) |
T |
TTTHypothesis.getTransition(TTTState<I,D> state,
I input) |
protected void |
BaseTTTLearner.initializeState(TTTState<I,D> state)
Initializes a state.
|
protected static <I,D> void |
BaseTTTLearner.link(DTNode<I,D> dtNode,
TTTState<I,D> state)
Establish the connection between a node in the discrimination tree
and a state of the hypothesis.
|
Modifier and Type | Method and Description |
---|---|
protected Set<TTTState<I,D>> |
BaseTTTLearner.getNondetSuccessors(Collection<? extends TTTState<I,D>> states,
I sym) |
protected Collection<? extends TTTState<I,D>> |
BaseTTTLearner.getNondetSuccessors(Collection<? extends TTTState<I,D>> states,
Iterable<? extends I> suffix) |
Constructor and Description |
---|
OutputInconsistency(TTTState<I,D> srcState,
net.automatalib.words.Word<I> suffix,
D targetOut) |
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 |
---|---|
net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction<TTTState<I,Boolean>,Boolean,Void> |
TTTHypothesisDFA.fullIntAbstraction(net.automatalib.words.Alphabet<I> alphabet) |
net.automatalib.graphs.dot.GraphDOTHelper<TTTState<I,Boolean>,TTTHypothesis.TTTEdge<I,Boolean>> |
TTTLearnerDFA.getHypothesisDOTHelper() |
Modifier and Type | Method and Description |
---|---|
protected Boolean |
TTTLearnerDFA.computeHypothesisOutput(TTTState<I,Boolean> state,
net.automatalib.words.Word<I> suffix) |
TTTState<I,Boolean> |
TTTHypothesisDFA.getSuccessor(TTTState<I,Boolean> transition) |
Void |
TTTHypothesisDFA.getTransitionProperty(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,net.automatalib.words.Word<O>> |
TTTHypothesisMealy.getSuccessor(TTTTransitionMealy<I,O> transition) |
Modifier and Type | Method and Description |
---|---|
net.automatalib.graphs.dot.GraphDOTHelper<TTTState<I,net.automatalib.words.Word<O>>,TTTHypothesis.TTTEdge<I,net.automatalib.words.Word<O>>> |
TTTLearnerMealy.getHypothesisDOTHelper() |
Modifier and Type | Method and Description |
---|---|
protected net.automatalib.words.Word<O> |
TTTLearnerMealy.computeHypothesisOutput(TTTState<I,net.automatalib.words.Word<O>> state,
net.automatalib.words.Word<I> suffix) |
protected TTTTransition<I,net.automatalib.words.Word<O>> |
TTTLearnerMealy.createTransition(TTTState<I,net.automatalib.words.Word<O>> state,
I sym) |
Constructor and Description |
---|
TTTTransitionMealy(TTTState<I,net.automatalib.words.Word<O>> source,
I input) |
Copyright © 2016. All rights reserved.