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