unsigned_union_find Class Reference

#include <union_find.h>

Collaboration diagram for unsigned_union_find:

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

Detailed Description

Definition at line 22 of file union_find.h.

Member Typedef Documentation

size_type

typedef std::size_t unsigned_union_find::size_type

Definition at line 26 of file union_find.h.

Member Function Documentation

check_index()

void unsigned_union_find::check_index ( size_type  a )

inline

Definition at line 111 of file union_find.h.

clear()

void unsigned_union_find::clear ( void  )

inline

Definition at line 76 of file union_find.h.

count()

size_type unsigned_union_find::count ( size_type  a ) const

inline

Definition at line 103 of file union_find.h.

count_roots()

size_type unsigned_union_find::count_roots ( ) const

inline

Definition at line 118 of file union_find.h.

find()

unsigned_union_find::size_type unsigned_union_find::find

(

size_type

a

)

const

Definition at line 141 of file union_find.cpp.

get_other()

unsigned_union_find::size_type unsigned_union_find::get_other

(

size_type

a

)

Definition at line 103 of file union_find.cpp.

intersection()

void unsigned_union_find::intersection

(

const unsigned_union_find &

other

)

Definition at line 120 of file union_find.cpp.

is_root()

bool unsigned_union_find::is_root ( size_type  a ) const

inline

Definition at line 82 of file union_find.h.

isolate()

void unsigned_union_find::isolate

(

size_type

a

)

Definition at line 41 of file union_find.cpp.

make_union()

void unsigned_union_find::make_union	(	size_type	a,
		size_type	b
	)

Definition at line 13 of file union_find.cpp.

re_root()

void unsigned_union_find::re_root	(	size_type	old,
		size_type	new_root
	)

Definition at line 71 of file union_find.cpp.

resize()

void unsigned_union_find::resize ( size_type  size )

inline

Definition at line 64 of file union_find.h.

same_set()

bool unsigned_union_find::same_set ( size_type  a, size_type  b  ) const

inline

Definition at line 91 of file union_find.h.

size()

size_type unsigned_union_find::size ( ) const

inline

Definition at line 97 of file union_find.h.

swap()

void unsigned_union_find::swap ( unsigned_union_find &  other )

inline

Definition at line 59 of file union_find.h.

Member Data Documentation

nodes

std::vector<nodet> unsigned_union_find::nodes

mutableprotected

Definition at line 41 of file union_find.h.

---

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

• /home/runner/work/cbmc/cbmc/src/util/union_find.h
• /home/runner/work/cbmc/cbmc/src/util/union_find.cpp