Home
last modified time | relevance | path

Searched refs:nstk (Results 1 – 4 of 4) sorted by relevance

/external/regex-re2/re2/testing/
Dregexp_generator.cc101 void RegexpGenerator::GeneratePostfix(vector<string>* post, int nstk, in GeneratePostfix() argument
103 if (nstk == 1) in GeneratePostfix()
109 if (ops + nstk - 1 > maxops_) in GeneratePostfix()
116 GeneratePostfix(post, nstk + 1, ops, atoms + 1); in GeneratePostfix()
126 if (nargs <= nstk) { in GeneratePostfix()
128 GeneratePostfix(post, nstk - nargs + 1, ops + 1, atoms); in GeneratePostfix()
137 bool RegexpGenerator::GenerateRandomPostfix(vector<string> *post, int nstk, in GenerateRandomPostfix() argument
141 if (nstk == 1 && acm_->Uniform(maxatoms_ + 1 - atoms) == 0) { in GenerateRandomPostfix()
149 if (ops + nstk - 1 > maxops_) in GenerateRandomPostfix()
156 if (nargs <= nstk) { in GenerateRandomPostfix()
[all …]
Dregexp_generator.h48 void GeneratePostfix(vector<string>* post, int nstk, int ops, int lits);
49 bool GenerateRandomPostfix(vector<string>* post, int nstk, int ops, int lits);
/external/regex-re2/re2/
Dnfa.cc196 int nstk = 0; in AddToThreadq() local
198 stk[nstk++] = AddState(id0); in AddToThreadq()
200 while (nstk > 0) { in AddToThreadq()
201 DCHECK_LE(nstk, nastack_); in AddToThreadq()
202 const AddState& a = stk[--nstk]; in AddToThreadq()
242 stk[nstk++] = AddState(ip->out1()); in AddToThreadq()
243 stk[nstk++] = AddState(ip->out()); in AddToThreadq()
248 stk[nstk++] = AddState(ip->out()); in AddToThreadq()
255 stk[nstk++] = AddState(0, capture[j], j); in AddToThreadq()
260 stk[nstk++] = AddState(ip->out()); in AddToThreadq()
[all …]
Ddfa.cc816 int nstk = 0; in AddToQueue() local
818 stk[nstk++] = id; in AddToQueue()
819 while (nstk > 0) { in AddToQueue()
820 DCHECK_LE(nstk, nastack_); in AddToQueue()
821 id = stk[--nstk]; in AddToQueue()
853 stk[nstk++] = ip->out(); in AddToQueue()
864 stk[nstk++] = ip->out1(); in AddToQueue()
867 stk[nstk++] = Mark; in AddToQueue()
868 stk[nstk++] = ip->out(); in AddToQueue()
873 stk[nstk++] = ip->out(); in AddToQueue()