Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory_engine.cpp378 d_preregisterQueue.push(preprocessed); in preRegister()
385 while (!d_preregisterQueue.empty()) { in preRegister()
387 preprocessed = d_preregisterQueue.front(); in preRegister()
388 d_preregisterQueue.pop(); in preRegister()
H A Dtheory_engine.h558 std::queue<TNode> d_preregisterQueue; variable