MCPcopy Create free account
hub / github.com/Gecode/gecode / check_update_max

Method check_update_max

gecode/int/gcc/bnd-sup.hpp:417–428  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

415
416 template<class Card>
417 inline bool
418 PartialSum<Card>::check_update_max(ViewArray<Card>& k) {
419 int j = 0;
420 for (int i = 3; i < size - 2; i++) {
421 int max = 0;
422 if (k[j].card() == i+firstValue)
423 max = k[j++].max();
424 if ((sum[i] - sum[i - 1]) != max)
425 return true;
426 }
427 return false;
428 }
429
430 template<class Card>
431 inline bool

Callers 1

propagateMethod · 0.80

Calls 2

cardMethod · 0.45
maxMethod · 0.45

Tested by

no test coverage detected