Home | History | Annotate | Download | only in pdt

Lines Matching refs:stack

42   PdtStack<typename Arc::StateId, typename Arc::Label> *stack;
50 : CacheOptions(opts), keep_parentheses(kp), stack(s), state_table(st) {}
90 stack_(opts.stack ? opts.stack: new PdtStack<StateId, Label>(parens)),
93 own_stack_(opts.stack == 0), own_state_table_(opts.state_table == 0),
186 // Stack push/pop
326 // shortest-stack first queue discipline and relies on the
342 typedef PdtStack<StackId, Label> Stack;
388 // 1. states corresponding to shortest stack first,
390 // 3. among states with the same stack, shortest-first order is used.
394 const Stack &s, const vector<StackId> &sl,
406 // If stack id equal, use A*
424 const Stack &stack_;
436 const Stack &s,
468 Stack stack_; // Stack trie
470 vector<StackId> stack_length_; // Length of stack for given stack id
490 // 'current_stack_id_' is the stack id of the states currently at the top
496 ssize_t current_paren_id_; // Paren id at top of current stack
743 // for the stack id 'nsi' and inserts it in the queue.
747 // Update the stack lenght when needed: |nsi| = |si| + 1.
824 // When 's' in 'ofst_' is a source state for stack id 'si', identifies
863 VLOG(2) << "State " << dest_state << " is a dest state for stack id "