Searched refs:d_tlEnum (Results 1 – 2 of 2) sorted by relevance
28 : d_tds(tds), d_parent(p), d_tlEnum(nullptr), d_abortSize(-1) in SygusEnumerator()39 d_tlEnum = getMasterEnumForType(d_etype); in initialize()107 bool SygusEnumerator::increment() { return d_tlEnum->increment(); } in increment()112 int cs = static_cast<int>(d_tlEnum->getCurrentSize()); in getCurrent()121 Node ret = d_tlEnum->getCurrent(); in getCurrent()792 if (d_se->d_tlEnum == this) in incrementInternal()
437 TermEnum* d_tlEnum; variable