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:

[フレーム]

[legend]

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

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