|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <numbering.h>
Public Member Functions | |
| numbering () | |
| unsigned | number (const T &a) |
| bool | get_number (const T &a, unsigned &n) const |
| void | clear () |
| size_t | size () |
| void | erase (unsigned int num) |
Protected Types | |
| typedef std::map< T, unsigned > | numberst |
| typedef std::unordered_map< unsigned, T, std::hash< unsigned > > | vectort |
Protected Attributes | |
| numberst | numbers |
| vectort | vec |
| unsigned int | next_obj_num |
|
protected |