Package | Description |
---|---|
de.learnlib.algorithms.ttt.base | |
de.learnlib.algorithms.ttt.dfa | |
de.learnlib.algorithms.ttt.mealy |
Modifier and Type | Class and Description |
---|---|
class |
TTTState<I,D>
A state in a
TTTHypothesis . |
class |
TTTTransition<I,D>
A transition in a
TTTHypothesis . |
Modifier and Type | Method and Description |
---|---|
protected D |
BaseTTTLearner.query(AccessSequenceProvider<I> accessSeqProvider,
Word<I> suffix)
Performs a membership query, using an access sequence as its prefix.
|
DTNode<I,D> |
DiscriminationTree.sift(AccessSequenceProvider<I> asp)
Sifts an access sequence provided by an object into the tree, starting
at the root.
|
DTNode<I,D> |
DiscriminationTree.sift(AccessSequenceProvider<I> asp,
boolean hard)
Sifts an access sequence provided by an object into the tree,
starting at the root.
|
DTNode<I,D> |
DiscriminationTree.sift(DTNode<I,D> start,
AccessSequenceProvider<I> asp,
boolean hard) |
Modifier and Type | Class and Description |
---|---|
class |
TTTStateDFA<I> |
Modifier and Type | Class and Description |
---|---|
class |
TTTTransitionMealy<I,O> |
Copyright © 2015. All rights reserved.