Predicate Make :: minAndMaxIntersect
Gets the minimum and maximum characters that intersect between a and b.
This predicate is used to limit the size of getAThreewayIntersect.
Import path
import codeql.regex.nfa.SuperlinearBackTracking
string
minAndMaxIntersect
(
InputSymbol
a
,
InputSymbol
b
)