forceinline void ViewRanges<IntView>::init(const IntView& x) { IntVarImpFwd::init(x.varimp()); }
forceinline ViewRanges<IntView>::ViewRanges(const IntView& x) : IntVarImpFwd(x.varimp()) {}