cprover
|
#include <union_find.h>
Public Types | |
typedef numbering_typet::size_type | size_type |
typedef numbering_typet::iterator | iterator |
typedef numbering_typet::const_iterator | const_iterator |
Public Member Functions | |
bool | make_union (const T &a, const T &b) |
bool | make_union (typename numbering< T >::const_iterator it_a, typename numbering< T >::const_iterator it_b) |
bool | same_set (const T &a, const T &b) const |
bool | same_set (typename numbering< T >::const_iterator it_a, typename numbering< T >::const_iterator it_b) const |
const T & | find (typename numbering< T >::const_iterator it) const |
const T & | find (const T &a) |
size_type | find_number (typename numbering< T >::const_iterator it) const |
size_type | find_number (size_type a) const |
size_type | find_number (const T &a) |
bool | is_root_number (size_type a) const |
bool | is_root (const T &a) const |
bool | is_root (typename numbering< T >::const_iterator it) const |
size_type | number (const T &a) |
void | clear () |
void | isolate (typename numbering< T >::const_iterator it) |
void | isolate (const T &a) |
optionalt< number_type > | get_number (const T &a) const |
size_t | size () const |
T & | operator[] (size_type t) |
const T & | operator[] (size_type t) const |
iterator | begin () |
const_iterator | begin () const |
const_iterator | cbegin () const |
iterator | end () |
const_iterator | end () const |
const_iterator | cend () const |
Protected Types | |
typedef numbering< T > | subt |
Protected Attributes | |
unsigned_union_find | uuf |
Private Types | |
typedef numbering< T > | numbering_typet |
typedef numbering_typet::number_type | number_type |
Private Attributes | |
numbering_typet | numbers |
Definition at line 137 of file union_find.h.
typedef numbering_typet::const_iterator union_find< T >::const_iterator |
Definition at line 151 of file union_find.h.
typedef numbering_typet::iterator union_find< T >::iterator |
Definition at line 149 of file union_find.h.
|
private |
Definition at line 143 of file union_find.h.
|
private |
Definition at line 139 of file union_find.h.
typedef numbering_typet::size_type union_find< T >::size_type |
Definition at line 147 of file union_find.h.
|
protected |
Definition at line 284 of file union_find.h.
|
inline |
Definition at line 274 of file union_find.h.
|
inline |
Definition at line 275 of file union_find.h.
|
inline |
Definition at line 276 of file union_find.h.
|
inline |
Definition at line 280 of file union_find.h.
|
inline |
Definition at line 248 of file union_find.h.
|
inline |
Definition at line 278 of file union_find.h.
|
inline |
Definition at line 279 of file union_find.h.
|
inline |
Definition at line 197 of file union_find.h.
|
inline |
Definition at line 192 of file union_find.h.
|
inline |
Definition at line 212 of file union_find.h.
|
inline |
Definition at line 207 of file union_find.h.
|
inline |
Definition at line 202 of file union_find.h.
|
inline |
Definition at line 264 of file union_find.h.
|
inline |
Definition at line 222 of file union_find.h.
|
inline |
Definition at line 231 of file union_find.h.
|
inline |
Definition at line 217 of file union_find.h.
|
inline |
Definition at line 259 of file union_find.h.
|
inline |
Definition at line 254 of file union_find.h.
|
inline |
Definition at line 154 of file union_find.h.
|
inline |
Definition at line 163 of file union_find.h.
|
inline |
Definition at line 236 of file union_find.h.
|
inline |
Definition at line 271 of file union_find.h.
|
inline |
Definition at line 272 of file union_find.h.
|
inline |
Definition at line 173 of file union_find.h.
|
inline |
Definition at line 186 of file union_find.h.
|
inline |
Definition at line 269 of file union_find.h.
|
private |
Definition at line 140 of file union_find.h.
|
protected |
Definition at line 283 of file union_find.h.