Class HTransition<I,O,SP,TP>
- java.lang.Object
-
- de.learnlib.algorithm.observationpack.hypothesis.HTransition<I,O,SP,TP>
-
public class HTransition<I,O,SP,TP> extends Object
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description HState<I,O,SP,TP>
currentTarget()
Word<I>
getAccessSequence()
AbstractWordBasedDTNode<I,O,HState<I,O,SP,TP>>
getDT()
TP
getProperty()
HState<I,O,SP,TP>
getSource()
I
getSymbol()
HState<I,O,SP,TP>
getTreeTarget()
boolean
isNonTree()
boolean
isTree()
void
makeTree(HState<I,O,SP,TP> treeTgt)
HState<I,O,SP,TP>
nonTreeTarget()
void
setDT(AbstractWordBasedDTNode<I,O,HState<I,O,SP,TP>> dtNode)
void
setProperty(TP property)
-