Searched refs:d_factsHead (Results 1 – 2 of 2) sorted by relevance
117 context::CDO<unsigned> d_factsHead; variable313 bool done() const { return d_factsHead == d_facts.size(); } in done()864 Assertion fact = d_facts[d_factsHead]; in get()865 d_factsHead = d_factsHead + 1; in get()867 …Trace("theory") << "Theory::get() => " << fact << " (" << d_facts.size() - d_factsHead << " left)"… in get()
68 d_factsHead(satContext, 0), in Theory()