Uses of Class
qilin.pta.toolkits.conch.DFA.State

Packages that use DFA.State

Package	Description
qilin.pta.toolkits.conch

Uses of DFA.State in qilin.pta.toolkits.conch

Methods in qilin.pta.toolkits.conch that return DFA.State

Modifier and Type	Method and Description
DFA.State	PathEdge.getSrcState()
DFA.State	PathEdge.getTgtState()
static DFA.State	DFA.nextState(DFA.State curr, DFA.TranCond tranCond)
static DFA.State	DFA.nextState2(DFA.TranCond tranCond)
static DFA.State	DFA.State.valueOf(String name) Returns the enum constant of this type with the specified name.
static DFA.State[]	DFA.State.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in qilin.pta.toolkits.conch with parameters of type DFA.State

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

Constructors in qilin.pta.toolkits.conch with parameters of type DFA.State

Constructor and Description
PathEdge(Node srcNode, DFA.State srcState, Node tgtNode, DFA.State tgtState)