Package de.learnlib.algorithm.ttt.mealy
Class TTTTransitionMealy<I,O>
- java.lang.Object
-
- de.learnlib.datastructure.list.IntrusiveListElemImpl<TTTTransition<I,D>>
-
- de.learnlib.algorithm.ttt.base.TTTTransition<I,Word<O>>
-
- de.learnlib.algorithm.ttt.mealy.TTTTransitionMealy<I,O>
-
- All Implemented Interfaces:
AccessSequenceProvider<I>
,IntrusiveListElem<TTTTransition<I,Word<O>>>
public class TTTTransitionMealy<I,O> extends TTTTransition<I,Word<O>>
-
-
Field Summary
-
Fields inherited from class de.learnlib.algorithm.ttt.base.TTTTransition
prevIncoming
-
Fields inherited from class de.learnlib.datastructure.list.IntrusiveListElemImpl
next
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description O
getOutput()
Object
getProperty()
-
Methods inherited from class de.learnlib.algorithm.ttt.base.TTTTransition
getAccessSequence, getDTTarget, getInput, getNonTreeTarget, getSource, getTarget, getTreeTarget, isTree
-
Methods inherited from class de.learnlib.datastructure.list.IntrusiveListElemImpl
getNextElement, setNextElement
-
-