Method min

gecode/int/var-imp/bool.hpp:61–64

    return bits() & 3;
  }
  forceinline int
  BoolVarImp::min(void) const {
    return static_cast<int>(bits() & 1);
  }
  forceinline int
  BoolVarImp::max(void) const {
    return static_cast<int>((bits() & 2) >> 1);