Predicate Make :: epsilonSucc
Gets a state that q has an epsilon transition to.
Import path
import codeql.regex.nfa.NfaUtils
State
epsilonSucc
(
State
q
)