Method var

gecode/int/reify.hpp:44–50

  Reify::Reify(void)
    : rm(RM_EQV) {}
  forceinline
  Reify::Reify(BoolVar x0, ReifyMode rm0)
    : x(x0), rm(rm0) {}
  forceinline BoolVar
  Reify::var(void) const {
    return x;
  }
  forceinline void
  Reify::var(BoolVar x0) {
    x = x0;