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>

Direct Known Subclasses:

TTTStateDFA

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

A state in a TTTHypothesis.

Author:

Malte Isberner

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
Word<I>	getAccessSequence() Retrieves the access sequence of this object.
DTNode<I,D>	getDTLeaf() Retrieves the discrimination tree leaf associated with this state.
boolean	isRoot() Checks whether this state is the initial state (i.e., the root of the spanning tree).
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 alphabetSize,
                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

getDTLeaf

public DTNode<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