de.learnlib.algorithms.lstargeneric.table

Class Row<I>

java.lang.Object

de.learnlib.algorithms.lstargeneric.table.Row<I>

Type Parameters:

I - input symbol class

public final class Row<I>
extends Object

A row in an observation table. Minimally, a row consists of a prefix (the row label) and a unique identifier in its observation table which remains constant throughout the whole process.

Apart from that, a row is also associated with contents (via an integer id). The prefix of a row may be either a short or long prefix. In the former case, the row will also have successor rows (one-step futures) associated with it.

Author:

Malte Isberner

Constructor Summary

Constructors

Constructor and Description
Row(Word<I> prefix, int rowId) Constructor.
Row(Word<I> prefix, int rowId, int alphabetSize) Constructor for short prefix rows.

Method Summary

Methods

Modifier and Type	Method and Description
Word<I>	getPrefix() Retrieves the prefix (row label) associated with this row.
int	getRowContentId() Retrieves the ID of the row contents (may be -1 if this row has not yet been initialized).
int	getRowId() Retrieves the unique row identifier associated with this row.
Row<I>	getSuccessor(int inputIdx) Retrieves the successor row for this short prefix row and the given alphabet symbol (by index).
boolean	hasContents()
boolean	isShortPrefix() Retrieves whether this is a short prefix row.
void	makeShort(int alphabetSize) Makes this row a short prefix row.
void	setRowContentId(int id) Sets the ID of the row contents.
void	setSuccessor(int inputIdx, Row<I> succ) Sets the successor row for this short prefix row and the given alphabet symbol (by index).

Methods inherited from class java.lang.Object

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

Constructor Detail

Row

public Row(Word<I> prefix,
   int rowId)

Constructor.

Parameters:

prefix - the prefix (label) of this row

rowId - the unique row identifier

Row

public Row(Word<I> prefix,
   int rowId,
   int alphabetSize)

Constructor for short prefix rows.

Parameters:

prefix - the prefix (label) of this row

rowId - the unique row identifier

alphabetSize - the size of the alphabet, used for initializing the successor array

Method Detail

makeShort

public void makeShort(int alphabetSize)

Makes this row a short prefix row. This leads to a successor array being created. If this row already is a short prefix row, nothing happens.

Parameters:

alphabetSize - the size of the input alphabet.

getSuccessor

public Row<I> getSuccessor(int inputIdx)

Retrieves the successor row for this short prefix row and the given alphabet symbol (by index). If this is no short prefix row, an exception might occur.

Parameters:

inputIdx - the index of the alphabet symbol.

Returns:

the successor row (may be null)

setSuccessor

public void setSuccessor(int inputIdx,
                Row<I> succ)

Sets the successor row for this short prefix row and the given alphabet symbol (by index). If this is no short prefix row, an exception might occur.

Parameters:

inputIdx - the index of the alphabet symbol.

succ - the successor row

getPrefix

public Word<I> getPrefix()

Retrieves the prefix (row label) associated with this row.

Returns:

the prefix

getRowId

public int getRowId()

Retrieves the unique row identifier associated with this row.

Returns:

the row identifier

getRowContentId

public int getRowContentId()

Retrieves the ID of the row contents (may be -1 if this row has not yet been initialized).

Returns:

the contents id.

setRowContentId

public void setRowContentId(int id)

Sets the ID of the row contents.

Parameters:

id - the contents id

isShortPrefix

public boolean isShortPrefix()

Retrieves whether this is a short prefix row.

Returns:

true if this is a short prefix row, false otherwise.

hasContents

public boolean hasContents()