public class HTransition<I,O,SP,TP> extends Object implements Serializable
Constructor and Description |
---|
HTransition(HState<I,O,SP,TP> source,
I symbol,
AbstractWordBasedDTNode<I,O,HState<I,O,SP,TP>> dtTgt) |
Modifier and Type | Method and Description |
---|---|
HState<I,O,SP,TP> |
currentTarget() |
net.automatalib.words.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 |
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) |
Copyright © 2018. All rights reserved.