Searched refs:d_propagationMapTimestamp (Results 1 – 2 of 2) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/theory/ |
| H A D | theory_engine.cpp | 309 d_propagationMapTimestamp(context, 0), in TheoryEngine()
1207 NodeTheoryPair toAssert(assertion, toTheoryId, d_propagationMapTimestamp); in markPropagation()
1209 NodeTheoryPair toExplain(originalAssertion, fromTheoryId, d_propagationMapTimestamp); in markPropagation()
1219 …rtToTheory") << "TheoryEngine::markPropagation(): marking [" << d_propagationMapTimestamp << "] " … in markPropagation()
1223 d_propagationMapTimestamp = d_propagationMapTimestamp + 1; in markPropagation()
1604 …getExplanation(" << node << "): current propagation index = " << d_propagationMapTimestamp << endl; in getExplanationAndRecipe()
1663 NodeTheoryPair toExplain(node, THEORY_SAT_SOLVER, d_propagationMapTimestamp); in getExplanationAndRecipe()
1910 explanationVector.push_back(NodeTheoryPair(conflict, theoryId, d_propagationMapTimestamp)); in conflict()
|
| H A D | theory_engine.h | 395 context::CDO<size_t> d_propagationMapTimestamp; variable
|