Method post

gecode/kernel/core.hpp:3360–3363

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