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 aAbstractTTTHypothesis
.
-
-
Constructor Summary
Constructors Constructor Description TTTState(int initialAlphabetSize, TTTTransition<I,D> parentTransition, int id)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
ensureInputCapacity(int capacity)
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()
-
-
-
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 interfaceAccessSequenceProvider<I>
- Returns:
- the access sequence
-
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)
-
-