Package de.learnlib.algorithm.nlstar
Class Row<I>
- java.lang.Object
-
- de.learnlib.algorithm.nlstar.Row<I>
-
- Type Parameters:
I- input symbol type
public class Row<I> extends Object
A single row in theObservationTableforNL*.
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleangetContent(int index)BitSetgetContents()List<Row<I>>getCoveredRows()Word<I>getPrefix()intgetUpperId()booleanisNew()booleanisPrime()booleanisShortPrefixRow()
-
-
-
Method Detail
-
getContent
public boolean getContent(int index)
-
isNew
public boolean isNew()
-
isPrime
public boolean isPrime()
-
getUpperId
public int getUpperId()
-
getContents
public BitSet getContents()
-
isShortPrefixRow
public boolean isShortPrefixRow()
-
-