Method zero

gecode/int/view/neg-bool.hpp:64–67

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