Searched refs:d_propagatedLiteralsIndex (Results 1 – 2 of 2) sorted by relevance
407 context::CDO<unsigned> d_propagatedLiteralsIndex; variable708 …for (; d_propagatedLiteralsIndex < d_propagatedLiterals.size(); d_propagatedLiteralsIndex = d_prop… in getPropagatedLiterals()709 …::getPropagatedLiterals: propagating: " << d_propagatedLiterals[d_propagatedLiteralsIndex] << std:… in getPropagatedLiterals()710 literals.push_back(d_propagatedLiterals[d_propagatedLiteralsIndex]); in getPropagatedLiterals()
311 d_propagatedLiteralsIndex(context, 0), in TheoryEngine()