The object storing the actual data.
const Data d
Data to be shared.
virtual ~SDO(void)
Destructor.
SDO(const Data &d0)
Initialization.
Class for sharing data between spaces.
SharedData & operator=(const SharedData &sd)
Assignment operator.
SharedData(const Data &d)
Initialize with data d.
SharedData(void)
Create as uninitialized.
~SharedData(void)
Destructors.
const Data & operator()(void) const
Provide access to data.
SharedHandle & operator=(const SharedHandle &sh)
Assignment operator maintaining reference count.
SharedHandle(void)
Create shared handle with no object pointing to.
SharedHandle::Object * object(void) const
Access to the shared object.
Gecode toplevel namespace