Searched refs:nmark (Results 1 – 1 of 1) sorted by relevance
432 int nmark = 0; in DFA() local434 nmark = prog_->size(); in DFA()439 nmark + 1; // + 1 for start inst in DFA()443 mem_budget_ -= (prog_->size() + nmark) * in DFA()461 (prog_->list_count()+nmark)*sizeof(int); in DFA()467 q0_ = new Workq(prog_->size(), nmark); in DFA()468 q1_ = new Workq(prog_->size(), nmark); in DFA()