ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
union_find< T > Class Template Reference

#include <union_find.h>

Inheritance diagram for union_find< T >:
[legend]

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)

Member Typedef Documentation

◆ subt

template<typename T>
typedef numbering<T> union_find< T >::subt
protected

Member Function Documentation

◆ clear()

template<typename T>
void union_find< T >::clear ( )
inline

◆ find()

template<typename T>
const T & union_find< T >::find ( const T & a)
inline

◆ find_number() [1/2]

template<typename T>
unsigned union_find< T >::find_number ( const T & a)
inline

◆ find_number() [2/2]

template<typename T>
unsigned union_find< T >::find_number ( unsigned a) const
inline

◆ is_root()

template<typename T>
bool union_find< T >::is_root ( const T & a)
inline

◆ is_root_number()

template<typename T>
bool union_find< T >::is_root_number ( unsigned a) const
inline

◆ make_union()

template<typename T>
bool union_find< T >::make_union ( const T & a,
const T & b )
inline

◆ number()

template<typename T>
unsigned union_find< T >::number ( const T & a)
inline

Member Data Documentation

◆ uuf

template<typename T>
unsigned_union_find union_find< T >::uuf
protected

The documentation for this class was generated from the following file: