Method mode

gecode/int/reify.hpp:55–58

    x = x0;
  }
  forceinline ReifyMode
  Reify::mode(void) const {
    return rm;
  }
  forceinline void
  Reify::mode(ReifyMode rm0) {
    rm = rm0;