Function viewarray

gecode/int/bool.cpp:576–585

Return view array

    /// Return view array
    ViewArray<Int::ConstIntView>
    viewarray(Space& home, const IntArgs& x) {
      ViewArray<Int::ConstIntView> xv(home, x.size());
      for (int i=0; i<x.size(); i++) {
        if ((x[i] != 0) && (x[i] != 1))
          throw Int::NotZeroOne("Int::rel");
        xv[i] = Int::ConstIntView(x[i]);
      }
      return xv;
    }

  }