de.learnlib.algorithms.discriminationtree.hypothesis

Class HTransition<I,O,SP,TP>

java.lang.Object

de.learnlib.algorithms.discriminationtree.hypothesis.HTransition<I,O,SP,TP>

public class HTransition<I,O,SP,TP>
extends Object

Constructor Summary

Constructors

Constructor and Description
HTransition(HState<I,O,SP,TP> source, I symbol, DTNode<I,O,HState<I,O,SP,TP>> dtTgt)

Method Summary

Methods

Modifier and Type	Method and Description
HState<I,O,SP,TP>	currentTarget()
net.automatalib.words.Word<I>	getAccessSequence()
DTNode<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(DTNode<I,O,HState<I,O,SP,TP>> dtNode)
void	setProperty(TP property)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

HTransition

public HTransition(HState<I,O,SP,TP> source,
           I symbol,
           DTNode<I,O,HState<I,O,SP,TP>> dtTgt)

Method Detail

isTree

public boolean isTree()

getSource

public HState<I,O,SP,TP> getSource()

getSymbol

public I getSymbol()

getProperty

public TP getProperty()

setProperty

public void setProperty(TP property)

getTreeTarget

public HState<I,O,SP,TP> getTreeTarget()

getDT

public DTNode<I,O,HState<I,O,SP,TP>> getDT()

setDT

public void setDT(DTNode<I,O,HState<I,O,SP,TP>> dtNode)

makeTree

public void makeTree(HState<I,O,SP,TP> treeTgt)

getAccessSequence

public net.automatalib.words.Word<I> getAccessSequence()

nonTreeTarget

public HState<I,O,SP,TP> nonTreeTarget()

currentTarget

public HState<I,O,SP,TP> currentTarget()