Function viewarray

gecode/int/rel.cpp:548–556

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++) {
        Int::Limits::check(x[i],"Int::rel");
        xv[i] = Int::ConstIntView(x[i]);
      }
      return xv;
    }

  }