Method one

gecode/int/var/bool.hpp:106–109

    return x->zero();
  }
  forceinline bool
  BoolVar::one(void) const {
    return x->one();
  }
  forceinline bool
  BoolVar::none(void) const {
    return x->none();