89 return new SDO(*
this);
114 return static_cast<SharedData&
>(SharedHandle::operator =(sd));
120 return static_cast<SDO*
>(object())->
d;
126 SharedHandle::update(home,share,sh);
void update(Space &home, bool share, SharedHandle &sh)
Update during cloning.
virtual Object * copy(void) const
Create new non-shared copy.
SharedData(void)
Create as uninitialized.
SDO(const Data &d0)
Initialization.
const Data & operator()(void) const
Provide access to data.
SharedData & operator=(const SharedData &sd)
Assignment operator.
const Data d
Data to be shared.
~SharedData(void)
Destructors.
virtual ~SDO(void)
Destructor.
The object storing the actual data.
Class for sharing data between spaces.
Gecode toplevel namespace