Searched refs:ant_e (Results 1 – 1 of 1) sorted by relevance
1702 std::vector< TNode > ant_e; in sendLemma() local1705 explain( ant[i], ant_e ); in sendLemma()1708 if( ant_e.empty() ){ in sendLemma()1710 }else if( ant_e.size()==1 ){ in sendLemma()1711 ant_n = ant_e[0]; in sendLemma()1713 ant_n = NodeManager::currentNM()->mkNode( kind::AND, ant_e ); in sendLemma()