void notify_when_handle_dies(data_handle< double > dh, Observer *obs)
Register that obs should be notified when dh dies.
void notify_freed(void *p)
void notify_freed_val_array(double *p, std::size_t)
void nrn_notify_when_void_freed(void *p, Observer *ob)
void nrn_notify_when_double_freed(double *p, Observer *ob)
void notify_pointer_freed(void *pt)
void nrn_notify_freed(void(*pf)(void *, int))
void nrn_notify_pointer_disconnect(Observer *ob)