Function eqv

gecode/int/reify.hpp:68–71

* Reification convenience functions * */

   *
   */
  forceinline Reify
  eqv(BoolVar x) {
    return Reify(x,RM_EQV);
  }
  forceinline Reify
  imp(BoolVar x) {
    return Reify(x,RM_IMP);