Uses of Interface
de.learnlib.datastructure.list.IntrusiveListElem
-
-
Uses of IntrusiveListElem in de.learnlib.algorithm.observationpack.vpa.hypothesis
Classes in de.learnlib.algorithm.observationpack.vpa.hypothesis that implement IntrusiveListElem Modifier and Type Class Description class
AbstractHypTrans<I>
class
BlockList<I>
class
DTNode<I>
class
HypIntTrans<I>
class
HypRetTrans<I>
class
TransList<I>
-
Uses of IntrusiveListElem in de.learnlib.algorithm.ttt.base
Classes in de.learnlib.algorithm.ttt.base that implement IntrusiveListElem Modifier and Type Class Description class
AbstractBaseDTNode<I,D>
class
BlockList<I,D>
A list for storing blocks (identified by their rootAbstractBaseDTNode
s).class
IncomingList<I,D>
The head of the intrusive linked list for storing incoming transitions of a DT node.class
TTTTransition<I,D>
A transition in aAbstractTTTHypothesis
.Fields in de.learnlib.algorithm.ttt.base declared as IntrusiveListElem Modifier and Type Field Description protected IntrusiveListElem<TTTTransition<I,D>>
TTTTransition. prevIncoming
-
Uses of IntrusiveListElem in de.learnlib.algorithm.ttt.dfa
Classes in de.learnlib.algorithm.ttt.dfa that implement IntrusiveListElem Modifier and Type Class Description protected static class
PrefixTTTLearnerDFA.ExtDTNode<I>
class
TTTDTNodeDFA<I>
Binary discrimination tree node specialization. -
Uses of IntrusiveListElem in de.learnlib.algorithm.ttt.mealy
Classes in de.learnlib.algorithm.ttt.mealy that implement IntrusiveListElem Modifier and Type Class Description class
TTTDTNodeMealy<I,D>
Generic n-ary discrimination tree node specialization.class
TTTTransitionMealy<I,O>
-
Uses of IntrusiveListElem in de.learnlib.algorithm.ttt.moore
Classes in de.learnlib.algorithm.ttt.moore that implement IntrusiveListElem Modifier and Type Class Description class
TTTDTNodeMoore<I,D>
AMooreMachine
-based specialization of the DT node. -
Uses of IntrusiveListElem in de.learnlib.datastructure.discriminationtree.model
Classes in de.learnlib.datastructure.discriminationtree.model that implement IntrusiveListElem Modifier and Type Class Description class
AbstractTemporaryIntrusiveDTNode<DSCR,O,D,T extends IntrusiveList<?>,N extends AbstractTemporaryIntrusiveDTNode<DSCR,O,D,T,N>>
An extension of theAbstractDTNode
that adds the concept of temporary splitters as well as linking discrimination tree nodes outside their regular tree structure.Fields in de.learnlib.datastructure.discriminationtree.model declared as IntrusiveListElem Modifier and Type Field Description protected IntrusiveListElem<N>
AbstractTemporaryIntrusiveDTNode. prevElement
Methods in de.learnlib.datastructure.discriminationtree.model that return IntrusiveListElem Modifier and Type Method Description IntrusiveListElem<N>
AbstractTemporaryIntrusiveDTNode. getPrevElement()
Methods in de.learnlib.datastructure.discriminationtree.model with parameters of type IntrusiveListElem Modifier and Type Method Description void
AbstractTemporaryIntrusiveDTNode. setPrevElement(IntrusiveListElem<N> prevElement)
-
Uses of IntrusiveListElem in de.learnlib.datastructure.list
Classes in de.learnlib.datastructure.list with type parameters of type IntrusiveListElem Modifier and Type Class Description class
IntrusiveList<T extends IntrusiveListElem<T>>
The head of the intrusive linked list for storing incoming transitions of a DT node.Classes in de.learnlib.datastructure.list that implement IntrusiveListElem Modifier and Type Class Description class
IntrusiveList<T extends IntrusiveListElem<T>>
The head of the intrusive linked list for storing incoming transitions of a DT node.class
IntrusiveListElemImpl<T>
An element in anIntrusiveList
.
-