Predicate Make::getAThreewayIntersect
Gets a char that is matched by all the edges s1
, s2
, and s3
.
The result is not complete, and might miss some combination of edges that share some character.
Import path
import codeql.regex.nfa.SuperlinearBackTracking
string getAThreewayIntersect(InputSymbol s1, InputSymbol s2, InputSymbol s3)