Function Propagator

gecode/int/gcc/val.hpp:51–56

  template<class Card>
  forceinline
  Val<Card>::Val(Space& home, Val<Card>& p)
    : Propagator(home,p) {
    x.update(home, p.x);
    k.update(home, p.k);
  }

  template<class Card>
  forceinline size_t