Method brancher

gecode/kernel/core.hpp:3356–3359

    who = reinterpret_cast<ptrdiff_t>(&p) | PROPAGATOR;
  }
  forceinline void
  ViewTraceInfo::brancher(Brancher& b) {
    who = reinterpret_cast<ptrdiff_t>(&b) | BRANCHER;
  }
  forceinline void
  ViewTraceInfo::post(PropagatorGroup g) {
    who = (g.id() << 2) | POST;