Uses of Enum
qilin.pta.toolkits.conch.DFA.TranCond
-
Uses of DFA.TranCond in qilin.pta.toolkits.conch
Modifier and TypeMethodDescriptionTranEdge.getTranCond()
static DFA.TranCond
Returns the enum constant of this type with the specified name.static DFA.TranCond[]
DFA.TranCond.values()
Returns an array containing the constants of this enum type, in the order they are declared.Modifier and TypeMethodDescriptionstatic DFA.State
DFA.nextState
(DFA.State curr, DFA.TranCond tranCond) static DFA.State
DFA.nextState2
(DFA.TranCond tranCond)