Method one

gecode/int/view/neg-bool.hpp:68–71

    return x.one();
  }
  forceinline bool
  NegBoolView::one(void) const {
    return x.zero();
  }
  forceinline bool
  NegBoolView::none(void) const {
    return x.none();