Searched refs:check_update_max (Results 1 – 2 of 2) sorted by relevance
287 bool check_update_max(ViewArray<Card>& k);418 PartialSum<Card>::check_update_max(ViewArray<Card>& k) { in check_update_max() function in Gecode::Int::GCC::PartialSum
704 if (ups.check_update_max(k)) in propagate()