Searched refs:d_possiblePropagations (Results 1 – 2 of 2) sorted by relevance
302 d_possiblePropagations(context), in TheoryEngine()376 d_possiblePropagations.push_back(preprocessed); in preRegister()756 for(unsigned i = 0; i < d_possiblePropagations.size(); ++i) { in propagate()757 Node atom = d_possiblePropagations[i]; in propagate()
232 context::CDList<TNode> d_possiblePropagations; variable