Class Make :: Trace

A list of tuples of input symbols that describe a path in the product automaton starting from a start state (pivot, pivot, pumpEnd).

Import path


                                import codeql.regex.nfa.SuperlinearBackTracking

getPrev	Gets a trace where the head has been removed.
getTuple	Gets the tuple at the head of this trace.
toString	Gets a string representation of this Trace that can be used for debug purposes.