Method fwd

gecode/kernel/core.hpp:3507–3510

  }

  forceinline Propagator*
  Propagator::fwd(void) const {
    return static_cast<Propagator*>(prev());
  }

  forceinline bool
  Propagator::disabled(void) const {