Searched refs:d_propagationMap (Results 1 – 2 of 2) sorted by relevance
308 d_propagationMap(context), in TheoryEngine()1212 PropagationMap::const_iterator find = d_propagationMap.find(toAssert); in markPropagation()1213 if (find != d_propagationMap.end()) { in markPropagation()1222 d_propagationMap[toAssert] = toExplain; in markPropagation()1664 Assert(d_propagationMap.find(toExplain) != d_propagationMap.end()); in getExplanationAndRecipe()1666 NodeTheoryPair nodeExplainerPair = d_propagationMap[toExplain]; in getExplanationAndRecipe()1674 explanationVector.push_back(d_propagationMap[toExplain]); in getExplanationAndRecipe()2052 PropagationMap::const_iterator find = d_propagationMap.find(toExplain); in getExplanation()2053 if (find != d_propagationMap.end()) { in getExplanation()
390 PropagationMap d_propagationMap; variable