This class is used to defragment object IDs from a logic model. More...
|ObjectIDRewriter (bool _enable_id_rewrite=true)|
|Construct a new Rewriter. |
|The destructor. |
|object_id_t||get_new_object_id (object_id_t old_id)|
|Get an object ID replacement. |
|std::map< object_id_t, |
This class is used to defragment object IDs from a logic model.
Each logic model object has a uniquie identifier. The logic model keeps track which object IDs are in use and which are free. Internally there are cases where we want to reorganize the object IDs. The ObjectIDRewriter is used therefore.
|degate::ObjectIDRewriter::ObjectIDRewriter||(||bool||_enable_id_rewrite = ||)||
Get an object ID replacement.
If you called the ctor with 'false', then you will get the the same object ID back. This is somehow a pass through mode.
|old_id||For this object ID yoy will get a defragmented object ID.|