Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory_engine.h407 context::CDO<unsigned> d_propagatedLiteralsIndex; variable
708 …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()
H A Dtheory_engine.cpp311 d_propagatedLiteralsIndex(context, 0), in TheoryEngine()