cprover
|
#include <union_find.h>
Classes | |
struct | nodet |
Public Types | |
typedef std::size_t | size_type |
Public Member Functions | |
void | make_union (size_type a, size_type b) |
size_type | find (size_type a) const |
void | intersection (const unsigned_union_find &other) |
void | isolate (size_type a) |
void | swap (unsigned_union_find &other) |
void | resize (size_type size) |
void | clear () |
bool | is_root (size_type a) const |
bool | same_set (size_type a, size_type b) const |
size_type | size () const |
size_type | count (size_type a) const |
void | check_index (size_type a) |
size_type | count_roots () const |
void | re_root (size_type old, size_type new_root) |
size_type | get_other (size_type a) |
Protected Attributes | |
std::vector< nodet > | nodes |
Definition at line 23 of file union_find.h.
typedef std::size_t unsigned_union_find::size_type |
Definition at line 27 of file union_find.h.
|
inline |
Definition at line 112 of file union_find.h.
|
inline |
Definition at line 77 of file union_find.h.
Definition at line 104 of file union_find.h.
|
inline |
Definition at line 119 of file union_find.h.
unsigned_union_find::size_type unsigned_union_find::find | ( | size_type | a | ) | const |
Definition at line 141 of file union_find.cpp.
unsigned_union_find::size_type unsigned_union_find::get_other | ( | size_type | a | ) |
Definition at line 103 of file union_find.cpp.
void unsigned_union_find::intersection | ( | const unsigned_union_find & | other | ) |
Definition at line 120 of file union_find.cpp.
|
inline |
Definition at line 83 of file union_find.h.
void unsigned_union_find::isolate | ( | size_type | a | ) |
Definition at line 41 of file union_find.cpp.
Definition at line 13 of file union_find.cpp.
Definition at line 71 of file union_find.cpp.
|
inline |
Definition at line 65 of file union_find.h.
Definition at line 92 of file union_find.h.
|
inline |
Definition at line 98 of file union_find.h.
|
inline |
Definition at line 60 of file union_find.h.
|
mutableprotected |
Definition at line 42 of file union_find.h.