Searched refs:state_num (Results 1 – 2 of 2) sorted by relevance
138 public void push(int state_num) in push() argument140 vstack.push(new Integer(state_num)); in push()
3976 var state_num;4505 (state_num = i);4534 (j = state_num);