Searched refs:getPropagatedLiterals (Results 1 – 2 of 2) sorted by relevance
91 d_theoryEngine->getPropagatedLiterals(outputNodes); in theoryPropagate()
707 void getPropagatedLiterals(std::vector<TNode>& literals) { in getPropagatedLiterals() function