forceinline IntView::IntView(const IntVar& y) : VarImpView<IntVar>(y.varimp()) {}
forceinline void IntVarRanges::init(const IntVar& x) { Int::IntVarImpFwd::init(x.varimp()); }
forceinline IntVar::IntVar(const IntVar& y) : VarImpVar<Int::IntVarImp>(y.varimp()) {}
forceinline IntVarRanges::IntVarRanges(const IntVar& x) : Int::IntVarImpFwd(x.varimp()) {}