93 return static_cast<SharedData&
>(SharedHandle::operator =(sd));
99 return static_cast<SDO*
>(object())->
d;
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