Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory_engine.h402 context::CDList<TNode> d_propagatedLiterals; variable
708 …for (; d_propagatedLiteralsIndex < d_propagatedLiterals.size(); d_propagatedLiteralsIndex = d_prop… in getPropagatedLiterals()
709 …rals") << "TheoryEngine::getPropagatedLiterals: propagating: " << d_propagatedLiterals[d_propagate… in getPropagatedLiterals()
710 literals.push_back(d_propagatedLiterals[d_propagatedLiteralsIndex]); in getPropagatedLiterals()
H A Dtheory_engine.cpp310 d_propagatedLiterals(context), in TheoryEngine()
1271 d_propagatedLiterals.push_back(assertion); in assertToTheory()
1311 d_propagatedLiterals.push_back(assertion); in assertToTheory()