Package de.learnlib.algorithm.ttt.base

Class TTTState<I,D>

java.lang.Object

de.learnlib.algorithm.ttt.base.TTTState<I,D>

Type Parameters:

I - input symbol

All Implemented Interfaces:

AccessSequenceProvider<I>

Direct Known Subclasses:

TTTStateDFA, TTTStateMoore

public class TTTState<I,D>
extends Object
implements AccessSequenceProvider<I>

A state in a AbstractTTTHypothesis.

Constructor Summary

Constructors

Constructor	Description
TTTState(int initialAlphabetSize, TTTTransition<I,D> parentTransition, int id)

Method Summary

Modifier and Type	Method	Description
boolean	ensureInputCapacity(int capacity)	See ResizingArrayStorage.ensureCapacity(int).
Word<I>	getAccessSequence()	Retrieves the access sequence of this object.
AbstractBaseDTNode<I,D>	getDTLeaf()	Retrieves the discrimination tree leaf associated with this state.
TTTTransition<I,D>	getParentTransition()
TTTTransition<I,D>	getTransition(int idx)
TTTTransition<I,D>[]	getTransitions()
boolean	isRoot()	Checks whether this state is the initial state (i.e., the root of the spanning tree).
void	setTransition(int idx, TTTTransition<I,D> transition)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

TTTState

public TTTState(int initialAlphabetSize,
                TTTTransition<I,D> parentTransition,
                int id)

Method Detail

isRoot

public boolean isRoot()

Checks whether this state is the initial state (i.e., the root of the spanning tree).

Returns:

true if this state is the initial state, false otherwise

getParentTransition

public TTTTransition<I,D> getParentTransition()

getDTLeaf

public AbstractBaseDTNode<I,D> getDTLeaf()

Retrieves the discrimination tree leaf associated with this state.

Returns:

the discrimination tree leaf associated with this state

getAccessSequence

public Word<I> getAccessSequence()

Description copied from interface: AccessSequenceProvider

Retrieves the access sequence of this object.

Specified by:

getAccessSequence in interface AccessSequenceProvider<I>

Returns:

the access sequence

toString

public String toString()

Overrides:

toString in class Object

setTransition

public void setTransition(int idx,
                          TTTTransition<I,D> transition)

getTransition

public TTTTransition<I,D> getTransition(int idx)

getTransitions

public TTTTransition<I,D>[] getTransitions()

ensureInputCapacity

public boolean ensureInputCapacity(int capacity)

See ResizingArrayStorage.ensureCapacity(int).