Searched refs:d_propagatedLiterals (Results 1 – 2 of 2) sorted by relevance
402 context::CDList<TNode> d_propagatedLiterals; variable708 …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()
310 d_propagatedLiterals(context), in TheoryEngine()1271 d_propagatedLiterals.push_back(assertion); in assertToTheory()1311 d_propagatedLiterals.push_back(assertion); in assertToTheory()