Uses of Enum
qilin.pta.toolkits.conch.DFA.TranCond
Packages that use DFA.TranCond
-
Uses of DFA.TranCond in qilin.pta.toolkits.conch
Methods in qilin.pta.toolkits.conch that return DFA.TranCondModifier 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.Methods in qilin.pta.toolkits.conch with parameters of type DFA.TranCondModifier and TypeMethodDescriptionstatic DFA.State
DFA.nextState
(DFA.State curr, DFA.TranCond tranCond) static DFA.State
DFA.nextState2
(DFA.TranCond tranCond) Constructors in qilin.pta.toolkits.conch with parameters of type DFA.TranCond