Method ignore

gecode/kernel/core.hpp:4124–4140

  }

  forceinline void
  Space::ignore(Actor& a, ActorProperty p, bool d) {
    // Check whether array has already been discarded as space
    // deletion is already in progress
    if ((p & AP_DISPOSE) && (d_fst != nullptr))
      ap_ignore_dispose(&a,d);
    if (p & AP_VIEW_TRACE) {
      // Nothing to do
    }
    if (p & AP_TRACE) {
      // Nothing to do
    }
    // Currently unused
    if (p & AP_WEAKLY) {
      // Nothing to do
    }
  }