Home | History | Annotate | Download | only in data

Lines Matching full:pushed

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