Package de.learnlib.algorithm.ttt.base
Class TTTTransition<I,D>
- java.lang.Object
-
- de.learnlib.datastructure.list.IntrusiveListElemImpl<TTTTransition<I,D>>
-
- de.learnlib.algorithm.ttt.base.TTTTransition<I,D>
-
- Type Parameters:
I
- input symbol type
- All Implemented Interfaces:
AccessSequenceProvider<I>
,IntrusiveListElem<TTTTransition<I,D>>
- Direct Known Subclasses:
TTTTransitionMealy
public class TTTTransition<I,D> extends IntrusiveListElemImpl<TTTTransition<I,D>> implements AccessSequenceProvider<I>
A transition in aAbstractTTTHypothesis
.
-
-
Field Summary
Fields Modifier and Type Field Description protected IntrusiveListElem<TTTTransition<I,D>>
prevIncoming
-
Fields inherited from class de.learnlib.datastructure.list.IntrusiveListElemImpl
next
-
-
Constructor Summary
Constructors Constructor Description TTTTransition(TTTState<I,D> source, I input)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Word<I>
getAccessSequence()
Retrieves the access sequence of this object.AbstractBaseDTNode<I,D>
getDTTarget()
I
getInput()
AbstractBaseDTNode<I,D>
getNonTreeTarget()
protected @Nullable Object
getProperty()
TTTState<I,D>
getSource()
TTTState<I,D>
getTarget()
TTTState<I,D>
getTreeTarget()
boolean
isTree()
-
Methods inherited from class de.learnlib.datastructure.list.IntrusiveListElemImpl
getNextElement, setNextElement
-
-
-
-
Field Detail
-
prevIncoming
protected IntrusiveListElem<TTTTransition<I,D>> prevIncoming
-
-
Method Detail
-
isTree
public boolean isTree()
-
getNonTreeTarget
public AbstractBaseDTNode<I,D> getNonTreeTarget()
-
getDTTarget
public AbstractBaseDTNode<I,D> getDTTarget()
-
getInput
public I getInput()
-
getProperty
protected @Nullable Object getProperty()
-
getAccessSequence
public Word<I> getAccessSequence()
Description copied from interface:AccessSequenceProvider
Retrieves the access sequence of this object.- Specified by:
getAccessSequence
in interfaceAccessSequenceProvider<I>
- Returns:
- the access sequence
-
-