Package qilin.pta.toolkits.conch

Class DFA

java.lang.Object

qilin.pta.toolkits.conch.DFA

public class DFA
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	DFA.State
static enum	DFA.TranCond

Constructor Summary

Constructors

Constructor	Description
DFA()

Method Summary

Modifier and Type	Method	Description
static DFA.State	nextState(DFA.State curr, DFA.TranCond tranCond)
static DFA.State	nextState2(DFA.TranCond tranCond)

Methods inherited from class java.lang.Object

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

Constructor Details

DFA

public DFA()

Method Details

nextState

public static DFA.State nextState(DFA.State curr,
 DFA.TranCond tranCond)

nextState2

public static DFA.State nextState2(DFA.TranCond tranCond)