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
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addNonTreeIncoming(HTransition<I,O,SP,TP> trans)
void
appendAccessSequence(List<? super I> symList)
boolean
ensureInputCapacity(int capacity)
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()
-
-
-
Constructor Detail
-
HState
public HState(int alphabetSize)
-
HState
public HState(int initialAlphabetSize, int id, @Nullable HTransition<I,O,SP,TP> treeIncoming)
-
-
Method Detail
-
getTreeIncoming
public @Nullable HTransition<I,O,SP,TP> getTreeIncoming()
-
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)
-
-