Predicate Make::RegexpMatching::matches

Holds if reg matches str, where str is in the isCandidate predicate.

Import path

import codeql.regex.nfa.RegexpMatching

predicate matches(RootTerm reg, string str)