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 and Description
static class	DFA.State
static class	DFA.TranCond

Constructor Summary

Constructors

Constructor and Description
DFA()

Method Summary

Modifier and Type	Method and 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 Detail

DFA

public DFA()

Method Detail

nextState

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

nextState2

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