Searched refs:n_conc (Results 1 – 1 of 1) sorted by relevance
1650 …Node n_conc = conc.empty() ? d_false : ( conc.size()==1 ? conc[0] : NodeManager::currentNM()->mkNo… in addPto() local1651 Trace("sep-pto") << "Conclusion is " << n_conc << std::endl; in addPto()1653 sendLemma( exp, n_conc, "PTO_NEG_PROP" ); in addPto()