Searched refs:d_min_pos_com_card (Results 1 – 2 of 2) sorted by relevance
1327 d_min_pos_com_card(c, -1), in StrongSolverTheoryUF()1515 if( d_min_pos_com_card.get()==-1 || nCard<d_min_pos_com_card.get() ){ in assertNode()1516 d_min_pos_com_card.set( nCard ); in assertNode()1815 int cc = d_min_pos_com_card.get(); in checkCombinedCardinality()
441 context::CDO<int> d_min_pos_com_card; variable