Searched refs:addCliqueLemma (Results 1 – 2 of 2) sorted by relevance
260 void addCliqueLemma( std::vector< Node >& clique, OutputChannel* out );
705 addCliqueLemma( clique, out ); in check()907 addCliqueLemma( clique, &d_thss->getOutputChannel() ); in checkRegion()1045 void SortModel::addCliqueLemma( std::vector< Node >& clique, OutputChannel* out ){ in addCliqueLemma() function in CVC4::theory::uf::SortModel