Predicate Make :: getAnEndTuple
Gets the tuple (pivot, succ, succ)
from the product automaton.
Import path
import codeql.regex.nfa.SuperlinearBackTracking
StateTuple
getAnEndTuple
(
State
pivot
,
State
succ
)