Home | History | Annotate | Download | only in src

Lines Matching full:pushed

1584      have just been pushed.  So pushing a state here evens the stacks.  */