cprover
|
#include <union_find.h>
Public Types | |
typedef numbering< T >::size_type | size_type |
![]() | |
typedef std::size_t | number_type |
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) |
![]() | |
number_type | number (const T &a) |
number_type | operator() (const T &a) |
bool | get_number (const T &a, number_type &n) const |
void | clear () |
Protected Types | |
typedef numbering< T > | subt |
![]() | |
typedef std::vector< T > | subt |
typedef std::map< T, number_type > | numberst |
Protected Attributes | |
unsigned_union_find | uuf |
![]() | |
numberst | numbers |
Definition at line 133 of file union_find.h.
typedef numbering<T>::size_type union_find< T >::size_type |
Definition at line 137 of file union_find.h.
|
protected |
Definition at line 256 of file union_find.h.
|
inline |
Definition at line 238 of file union_find.h.
Referenced by base_type_eqt::base_type_eq(), escape_domaint::make_bottom(), global_may_alias_domaint::make_bottom(), global_may_alias_domaint::make_top(), and escape_domaint::make_top().
|
inline |
Definition at line 181 of file union_find.h.
Referenced by escape_domaint::merge(), and global_may_alias_domaint::merge().
|
inline |
Definition at line 186 of file union_find.h.
|
inline |
Definition at line 191 of file union_find.h.
Referenced by arrayst::add_array_Ackermann_constraints(), arrayst::add_array_constraints(), boolbvt::bv_get_unbounded_array(), and arrayst::update_index_map().
|
inline |
Definition at line 196 of file union_find.h.
|
inline |
Definition at line 201 of file union_find.h.
|
inline |
Definition at line 211 of file union_find.h.
Referenced by escape_domaint::output(), and global_may_alias_domaint::output().
|
inline |
Definition at line 221 of file union_find.h.
|
inline |
Definition at line 206 of file union_find.h.
Referenced by arrayst::update_index_map().
|
inline |
Definition at line 244 of file union_find.h.
Referenced by global_may_alias_domaint::assign_lhs_aliases(), escape_domaint::assign_lhs_aliases(), global_may_alias_domaint::merge(), escape_domaint::merge(), escape_domaint::transform(), and global_may_alias_domaint::transform().
|
inline |
Definition at line 249 of file union_find.h.
|
inline |
Definition at line 140 of file union_find.h.
Referenced by global_may_alias_domaint::assign_lhs_aliases(), escape_domaint::assign_lhs_aliases(), base_type_eqt::base_type_eq_rec(), arrayst::collect_arrays(), global_may_alias_domaint::merge(), escape_domaint::merge(), and arrayst::record_array_equality().
|
inline |
Definition at line 149 of file union_find.h.
|
inline |
Definition at line 226 of file union_find.h.
Referenced by arrayst::record_array_index().
|
inline |
Definition at line 159 of file union_find.h.
Referenced by global_may_alias_domaint::get_rhs_aliases(), global_may_alias_domaint::merge(), escape_domaint::merge(), global_may_alias_domaint::output(), and escape_domaint::output().
|
inline |
Definition at line 175 of file union_find.h.
|
protected |
Definition at line 255 of file union_find.h.