Method what

gecode/kernel/core.hpp:3368–3371

    who = OTHER;
  }
  forceinline ViewTraceInfo::What
  ViewTraceInfo::what(void) const {
    return static_cast<What>(who & 3);
  }
  forceinline const Propagator&
  ViewTraceInfo::propagator(void) const {
    assert(what() == PROPAGATOR);