Predicate Make :: isStartState
Holds if state
is a start state.
Import path
import codeql.regex.nfa.NfaUtils
predicate
isStartState
(
State
state
)