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>

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

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

getAccessSequence, getDTLeaf, isRoot, 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()