34namespace Gecode {
namespace Kernel {
83 (void) SharedHandle::operator =(ssd);
Global propagator information.
Shared object for several memory areas.
Data(void)
Default constructor.
GPI gpi
The global propagator information.
SharedMemory sm
The shared memory area.
virtual ~Data(void)
Destructor.
Class to store data shared among several spaces.
SharedSpaceData & operator=(const SharedSpaceData &r)
Assignment operator.
~SharedSpaceData(void)
Delete.
SharedSpaceData(void)
Initialize.
Data & data(void) const
Provide access.
SharedHandle::Object * object(void) const
Access to the shared object.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r