Package de.learnlib.algorithm.ttt.dfa

Class TTTStateDFA<I>

java.lang.Object

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

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

All Implemented Interfaces:

AccessSequenceProvider<I>

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
boolean	isAccepting()

Methods inherited from class de.learnlib.algorithm.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()