64 pinners.insert (referencer);
70 pinners.erase (referencer);
76 return (
int) pinners.size ();
81 assert (pinners.size () == 0);
std::set< pinner * > pinners
int pin(pinnable *reference)
int add_pinner(pinner *referencer)
std::set< pinnable * > references
int remove_pinner(pinner *referencer)
int unpin(pinnable *reference)
bool check_references(void)