Searched refs:work_stack (Results 1 – 1 of 1) sorted by relevance
279 Stack work_stack = new Stack(); in build_machine() local305 work_stack.push(start_state); in build_machine()311 while (!work_stack.empty()) in build_machine()314 st = (lalr_state)work_stack.pop(); in build_machine()370 work_stack.push(new_st); in build_machine()