#include <IbexSharedObject.h>

Public Member Functions | |
| SharedObject () | |
| virtual | ~SharedObject () |
Static Public Member Functions | |
| static void | incr_ref (int id) |
| static void | decr_ref (int id) |
Public Attributes | |
| int | id |
Allows to keep track of the references to an object, in all ibex structures.
| ibex::SharedObject::SharedObject | ( | ) |
Create a new object and assign a new unique identifier to it.
| ibex::SharedObject::~SharedObject | ( | ) | [virtual] |
Delete the object.
| void ibex::SharedObject::incr_ref | ( | int | id | ) | [static] |
Increment the number of references to the object whose identifying number is n.
| void ibex::SharedObject::decr_ref | ( | int | id | ) | [static] |
Decrement the number of references to the object whose identifying number is n. If the object has no more reference, it is deleted.
Unique identifier for this instance.
1.5.5