CBMC
Loading...
Searching...
No Matches
Classes | Public Types | Public Member Functions | Protected Attributes | List of all members
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  clear ()
 
 
 
 
 
 
 
 
 

Protected Attributes

std::vector< nodetnodes
 

Detailed Description

Definition at line 22 of file union_find.h.

Member Typedef Documentation

◆  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 ( )
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_findother )

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_findother )
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:

AltStyle によって変換されたページ (->オリジナル) /