Method none

gecode/int/var/bool.hpp:110–113

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

}