Method decay

gecode/kernel/gpi.hpp:135–142

  }

  forceinline double
  GPI::decay(void) const {
    double d;
    const_cast<GPI&>(*this).m.acquire();
    d = 1.0 / invd;
    const_cast<GPI&>(*this).m.release();
    return d;
  }

  forceinline unsigned int
  GPI::pid(void) const {