99 return static_cast<SDO*
>(object())->d;
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.
SharedData(const SharedData &sd)
Copy constructor.
SharedHandle & operator=(const SharedHandle &sh)
Assignment operator maintaining reference count.
Gecode toplevel namespace