83 operator bool(
void)
const;
107 if (o !=
nullptr) o->rc.inc();
111 if ((o !=
nullptr) && o->rc.dec())
139 SharedHandle::operator bool(
void)
const {
SharedHandle(void)
Create shared handle with no object pointing to.
void cancel(Space &home, Propagator &p, IntSet &y)
int n
Number of negative literals for node type.
SharedHandle::Object * object(void) const
Access to the shared object.
void subscribe(Space &home, Propagator &p, IntSet &y)
SharedHandle & operator=(const SharedHandle &sh)
Assignment operator maintaining reference count.
#define GECODE_KERNEL_EXPORT
~SharedHandle(void)
Destructor that maintains reference count.
virtual ~Object(void)
Delete shared object.
A class for thread-safe reference counting.
Gecode toplevel namespace
Base class for heap allocated objects.