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 133 of file union_find.h.
typedef numbering_typet::const_iterator union_find< T >::const_iterator |
Definition at line 147 of file union_find.h.
typedef numbering_typet::iterator union_find< T >::iterator |
Definition at line 145 of file union_find.h.
|
private |
Definition at line 139 of file union_find.h.
|
private |
Definition at line 135 of file union_find.h.
typedef numbering_typet::size_type union_find< T >::size_type |
Definition at line 143 of file union_find.h.
|
protected |
Definition at line 280 of file union_find.h.
|
inline |
Definition at line 270 of file union_find.h.
Referenced by escape_domaint::merge(), global_may_alias_domaint::merge(), global_may_alias_domaint::output(), and escape_domaint::output().
|
inline |
Definition at line 271 of file union_find.h.
|
inline |
Definition at line 272 of file union_find.h.
|
inline |
Definition at line 276 of file union_find.h.
|
inline |
Definition at line 244 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 274 of file union_find.h.
Referenced by escape_domaint::merge(), global_may_alias_domaint::merge(), global_may_alias_domaint::output(), and escape_domaint::output().
|
inline |
Definition at line 275 of file union_find.h.
|
inline |
Definition at line 188 of file union_find.h.
Referenced by escape_domaint::merge(), and global_may_alias_domaint::merge().
|
inline |
Definition at line 193 of file union_find.h.
|
inline |
Definition at line 198 of file union_find.h.
Referenced by arrayst::add_array_Ackermann_constraints(), arrayst::add_array_constraints(), boolbvt::bv_get_unbounded_array(), union_find< exprt >::find(), union_find< exprt >::find_number(), union_find< exprt >::make_union(), and arrayst::update_index_map().
|
inline |
Definition at line 203 of file union_find.h.
|
inline |
Definition at line 208 of file union_find.h.
|
inline |
Definition at line 260 of file union_find.h.
Referenced by boolbvt::bv_get_unbounded_array().
|
inline |
Definition at line 218 of file union_find.h.
Referenced by escape_domaint::output(), and global_may_alias_domaint::output().
|
inline |
Definition at line 227 of file union_find.h.
|
inline |
Definition at line 213 of file union_find.h.
Referenced by arrayst::update_index_map().
|
inline |
Definition at line 250 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 255 of file union_find.h.
|
inline |
Definition at line 150 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 159 of file union_find.h.
|
inline |
Definition at line 232 of file union_find.h.
Referenced by union_find< exprt >::find(), union_find< exprt >::find_number(), union_find< exprt >::isolate(), union_find< exprt >::make_union(), and arrayst::record_array_index().
|
inline |
Definition at line 267 of file union_find.h.
|
inline |
Definition at line 268 of file union_find.h.
|
inline |
Definition at line 169 of file union_find.h.
Referenced by escape_domaint::check_lhs(), global_may_alias_domaint::get_rhs_aliases(), escape_domaint::get_rhs_aliases(), global_may_alias_domaint::merge(), escape_domaint::merge(), escape_domaint::output(), and global_may_alias_domaint::output().
|
inline |
Definition at line 182 of file union_find.h.
|
inline |
Definition at line 265 of file union_find.h.
Referenced by arrayst::add_array_Ackermann_constraints(), arrayst::add_array_constraints(), arrayst::collect_indices(), escape_domaint::is_bottom(), global_may_alias_domaint::is_bottom(), escape_domaint::is_top(), global_may_alias_domaint::is_top(), and arrayst::update_index_map().
|
private |
Definition at line 136 of file union_find.h.
Referenced by union_find< exprt >::begin(), union_find< exprt >::cbegin(), union_find< exprt >::cend(), union_find< exprt >::clear(), union_find< exprt >::end(), union_find< exprt >::find(), union_find< exprt >::find_number(), union_find< exprt >::get_number(), union_find< exprt >::is_root(), union_find< exprt >::isolate(), union_find< exprt >::make_union(), union_find< exprt >::number(), union_find< exprt >::operator[](), union_find< exprt >::same_set(), and union_find< exprt >::size().
|
protected |
Definition at line 279 of file union_find.h.
Referenced by union_find< exprt >::clear(), union_find< exprt >::find_number(), union_find< exprt >::is_root(), union_find< exprt >::is_root_number(), union_find< exprt >::isolate(), union_find< exprt >::make_union(), union_find< exprt >::number(), and union_find< exprt >::same_set().