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()
net.automatalib.word.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)
-
-
-
Method Detail
-
getSymbol
public I getSymbol()
-
getProperty
public TP getProperty()
-
setProperty
public void setProperty(TP property)
-
isTree
@EnsuresNonNullIf(expression="treeTgt", result=true) public boolean isTree()
-
isNonTree
@EnsuresNonNullIf(expression="dt", result=true) public boolean isNonTree()
-
getAccessSequence
public net.automatalib.word.Word<I> getAccessSequence()
-
-