Searched refs:d_currNumConsts (Results 1 – 2 of 2) sorted by relevance
981 : TermEnum(), d_te(tn), d_currNumConsts(0), d_nextIndexEnd(0) in TermEnumMasterInterp()991 d_currNumConsts = 1; in initialize()1006 d_currNumConsts = d_currNumConsts * options::sygusActiveGenEnumConsts(); in increment()1007 d_nextIndexEnd = d_nextIndexEnd + d_currNumConsts; in increment()
402 unsigned d_currNumConsts; variable