forceinline FloatVarImp* FloatVarImp::copy(Space* home, bool share) { return copied() ? static_cast<FloatVarImp*>(forward()) : perform_copy(home,share); }
forceinline SetVarImp* SetVarImp::copy(Space& home, bool share) { return copied() ? static_cast<SetVarImp*>(forward()) : perform_copy(home,share); }