de.learnlib.algorithms.ttt.base

Class TTTState<I,D>

java.lang.Object

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

Type Parameters:

I - input symbol

All Implemented Interfaces:

AccessSequenceProvider<I>, Serializable

Direct Known Subclasses:

TTTStateDFA

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

A state in a AbstractTTTHypothesis.

Author:

Malte Isberner

See Also:

Serialized Form

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
boolean	ensureInputCapacity(int capacity) See ResizingObjectArray.ensureCapacity(int).
net.automatalib.words.Word<I>	getAccessSequence()
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 net.automatalib.words.Word<I> getAccessSequence()

Specified by:

getAccessSequence in interface AccessSequenceProvider<I>

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 ResizingObjectArray.ensureCapacity(int).