Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory.h117 context::CDO<unsigned> d_factsHead; variable
313 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()
H A Dtheory.cpp68 d_factsHead(satContext, 0), in Theory()