Class Make :: StateTuple
(q1, q2, q3) in the product automaton, that is reachable from
(pivot, pivot, pumpEnd).
We lazily only construct those states that we are actually
going to need.
Either a start state
(pivot, pivot, pumpEnd), or a state
where there exists a transition from an already existing state.
The exponential variant of this query (
js/redos) uses an optimization
q1 <= q2. This trick cannot be used here as the order
of the elements matter.
Gets the first state of the tuple.
Gets the pivot state.
Gets the pumpEnd state.
Gets the second state of the tuple.
Gets the third state of the tuple.
Holds if the pivot state has the specified location. This location has been chosen arbitrarily, and is only useful for debugging.
Holds if this tuple is
Gest a string representation of this tuple.