cprover
Loading...
Searching...
No Matches
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< nodetnodes

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