}
if (!(cflags & REG_LEFTMOST) && !(cflags & REG_TRIE)) {
const size_t sz = nfa->ncores * nfa->ncores;
- preg->prec_buf1 = new int32_t[sz];
- preg->prec_buf2 = new int32_t[sz];
+ preg->prectbl1 = new int32_t[sz];
+ preg->prectbl2 = new int32_t[sz];
}
}
else {
: nfa(preg->nfa)
, reach()
, state()
- , prec(preg->prec_buf1)
- , prec_next(preg->prec_buf2)
, hist(nfa->size, nfa->tags.size())
, hidx(HROOT)
, step(0)
, rule(Rule::NONE)
, cursor(string)
, marker(string)
- , cache()
, offsets1(preg->offsets1)
, offsets2(preg->offsets2)
, offsets3(preg->offsets3)
, done(preg->done)
+ , prectbl1(preg->prectbl1)
+ , prectbl2(preg->prectbl2)
+ , cache()
, nsub(2 * (preg->re_nsub - 1))
{
state.reserve(nfa->size);
delete[] preg->offsets3;
}
if (!(f & REG_LEFTMOST) && !(f & REG_TRIE)) {
- delete[] preg->prec_buf1;
- delete[] preg->prec_buf2;
+ delete[] preg->prectbl1;
+ delete[] preg->prectbl2;
}
}
else {