Method decay

gecode/kernel/branch/afc.hpp:159–164

  AFC::~AFC(void) {}

  forceinline void
  AFC::decay(Space& home, double d) {
    if ((d < 0.0) || (d > 1.0))
      throw IllegalDecay("AFC");
    home.afc_decay(d);
  }

  forceinline double
  AFC::decay(const Space& home) const {