Package de.learnlib.algorithm.observationpack.hypothesis

Class HState<I,O,SP,TP>

java.lang.Object

de.learnlib.algorithm.observationpack.hypothesis.HState<I,O,SP,TP>

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

Constructor Summary

Constructors

Constructor	Description
HState(int alphabetSize)
HState(int initialAlphabetSize, int id, @Nullable HTransition<I,O,SP,TP> treeIncoming)

Method Summary

Modifier and Type	Method	Description
void	addNonTreeIncoming(HTransition<I,O,SP,TP> trans)
void	appendAccessSequence(List<? super I> symList)
boolean	ensureInputCapacity(int capacity)	See ResizingArrayStorage.ensureCapacity(int).
void	fetchNonTreeIncoming(Collection<? super HTransition<I,O,SP,TP>> target)
Word<I>	getAccessSequence()
int	getDepth()
AbstractWordBasedDTNode<I,O,HState<I,O,SP,TP>>	getDTLeaf()
int	getId()
Collection<HTransition<I,O,SP,TP>>	getOutgoingTransitions()
SP	getProperty()
HTransition<I,O,SP,TP>	getTransition(int transIdx)
@Nullable HTransition<I,O,SP,TP>	getTreeIncoming()
void	setDTLeaf(AbstractWordBasedDTNode<I,O,HState<I,O,SP,TP>> dtLeaf)
void	setProperty(SP property)
void	setTransition(int transIdx, HTransition<I,O,SP,TP> transition)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

HState

public HState(int alphabetSize)

HState

public HState(int initialAlphabetSize,
              int id,
              @Nullable HTransition<I,O,SP,TP> treeIncoming)

Method Detail

getDTLeaf

public AbstractWordBasedDTNode<I,O,HState<I,O,SP,TP>> getDTLeaf()

setDTLeaf

public void setDTLeaf(AbstractWordBasedDTNode<I,O,HState<I,O,SP,TP>> dtLeaf)

getTreeIncoming

public @Nullable HTransition<I,O,SP,TP> getTreeIncoming()

appendAccessSequence

public void appendAccessSequence(List<? super I> symList)

getAccessSequence

public Word<I> getAccessSequence()

getProperty

public SP getProperty()

setProperty

public void setProperty(SP property)

getId

public int getId()

getTransition

public HTransition<I,O,SP,TP> getTransition(int transIdx)

setTransition

public void setTransition(int transIdx,
                          HTransition<I,O,SP,TP> transition)

getOutgoingTransitions

public Collection<HTransition<I,O,SP,TP>> getOutgoingTransitions()

getDepth

public int getDepth()

addNonTreeIncoming

public void addNonTreeIncoming(HTransition<I,O,SP,TP> trans)

fetchNonTreeIncoming

public void fetchNonTreeIncoming(Collection<? super HTransition<I,O,SP,TP>> target)

ensureInputCapacity

public boolean ensureInputCapacity(int capacity)

See ResizingArrayStorage.ensureCapacity(int).

toString

public String toString()

Overrides:

toString in class Object