Function imp

gecode/int/reify.hpp:72–75

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