Predicate Make :: matchesEpsilon
Holds if t matches at least an epsilon symbol.
That is, this term does not restrict the language of the enclosing regular expression.
This is implemented as an under-approximation, and this predicate does not hold for sub-patterns in particular.
Import path
import codeql.regex.nfa.NfaUtils
predicate
matchesEpsilon
(
RegExpTerm
t
)