Searched refs:d_hasPropagated (Results 1 – 2 of 2) sorted by relevance
303 d_hasPropagated(context), in TheoryEngine()763 if(d_hasPropagated.find(atom) == d_hasPropagated.end()) { in propagate()1427 d_hasPropagated.insert(literal); in propagate()
239 context::CDHashSet<Node, NodeHashFunction> d_hasPropagated; variable