Searched refs:conflictNode (Results 1 – 4 of 4) sorted by relevance
293 void conflict(TNode conflictNode,
206 void TheoryEngine::EngineOutputChannel::conflict(TNode conflictNode, in conflict() argument210 << "EngineOutputChannel<" << d_theory << ">::conflict(" << conflictNode in conflict()215 d_engine->conflict(conflictNode, d_theory); in conflict()
832 Node conflictNode = explain(a.eqNode(b)); in conflict() local834 d_out->conflict( conflictNode ); in conflict()
1109 Node conflictNode; in conflict() local1110 conflictNode = explain( a.eqNode(b) ); in conflict()1111 Trace("strings-conflict") << "CONFLICT: Eq engine conflict : " << conflictNode << std::endl; in conflict()1112 d_out->conflict( conflictNode ); in conflict()