Function pmi

gecode/int/reify.hpp:76–79

    return Reify(x,RM_IMP);
  }
  forceinline Reify
  pmi(BoolVar x) {
    return Reify(x,RM_PMI);
  }

}