Method afc_decay

gecode/kernel/core.hpp:3275–3278

  }

  forceinline double
  Space::afc_decay(void) const {
    return ssd.data().gpi.decay();
  }

  forceinline void
  Space::afc_decay(double d) {