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 theObservationTable
forNL*
.
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
getContent(int index)
BitSet
getContents()
List<Row<I>>
getCoveredRows()
Word<I>
getPrefix()
int
getUpperId()
boolean
isNew()
boolean
isPrime()
boolean
isShortPrefixRow()
-
-
-
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()
-
-