de.learnlib.algorithms.ttt.dfa

Class TTTStateDFA<I>

java.lang.Object

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

de.learnlib.algorithms.ttt.dfa.TTTStateDFA<I>

All Implemented Interfaces:

AccessSequenceProvider<I>, Serializable

public class TTTStateDFA<I>
extends TTTState<I,Boolean>

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
TTTStateDFA(int alphabetSize, TTTTransition<I,Boolean> parentTransition, int id)

Method Summary

Modifier and Type	Method and Description
boolean	isAccepting()

Methods inherited from class de.learnlib.algorithms.ttt.base.TTTState

ensureInputCapacity, getAccessSequence, getDTLeaf, getParentTransition, getTransition, getTransitions, isRoot, setTransition, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

TTTStateDFA

public TTTStateDFA(int alphabetSize,
                   TTTTransition<I,Boolean> parentTransition,
                   int id)

Method Detail

isAccepting

public boolean isAccepting()