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