|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <union_find.h>
Public Member Functions | |
| bool | make_union (const T &a, const T &b) |
| const T & | find (const T &a) |
| unsigned | find_number (unsigned a) const |
| unsigned | find_number (const T &a) |
| bool | is_root_number (unsigned a) const |
| bool | is_root (const T &a) |
| unsigned | number (const T &a) |
| void | clear () |
Protected Types | |
| typedef numbering< T > | subt |
| Protected Types inherited from numbering< T > | |
| typedef std::map< T, unsigned > | numberst |
| typedef std::unordered_map< unsigned, T, std::hash< unsigned > > | vectort |
Protected Attributes | |
| unsigned_union_find | uuf |
| Protected Attributes inherited from numbering< T > | |
| numberst | numbers |
| vectort | vec |
| unsigned int | next_obj_num |
Additional Inherited Members | |
| Protected Member Functions inherited from numbering< T > | |
| 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 |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
protected |