Function post

gecode/kernel/trace/filter.cpp:137–142

  }

  TFE
  post(PropagatorGroup g) {
    TFE e;
    e.init(g,(1 << ViewTraceInfo::POST));
    return e;
  }