Home
last modified time | relevance | path

Searched refs:d_indexNextEnd (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/
H A Dsygus_enumerator.cpp391 d_indexNextEnd(0), in TermEnumSlave()
436 << " " << d_indexNextEnd << " " << d_index << " " << d_currSize << "\n"; in initialize()
441 << " init, now: " << d_hasIndexNextEnd << " " << d_indexNextEnd << " " in initialize()
457 << d_indexNextEnd << " " << d_index << std::endl; in getCurrent()
501 while (d_hasIndexNextEnd && d_index == d_indexNextEnd) in validateIndex()
525 d_indexNextEnd = tc.getIndexForSize(d_currSize + 1); in validateIndexNextEnd()
H A Dsygus_enumerator.h259 unsigned d_indexNextEnd; variable