ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
unsigned_union_find Class Reference

#include <union_find.h>

Classes

struct  nodet

Public Member Functions

void make_union (unsigned a, unsigned b)
unsigned find (unsigned a) const
void intersection (const unsigned_union_find &other)
void isolate (unsigned a)
void swap (unsigned_union_find &other)
void resize (unsigned size)
void clear ()
bool is_root (unsigned a) const
bool same_set (unsigned a, unsigned b) const
unsigned size () const
unsigned count (unsigned a) const
void check_index (unsigned a)
unsigned count_roots () const
void re_root (unsigned old, unsigned new_root)
unsigned get_other (unsigned a)

Protected Attributes

std::vector< nodet > nodes

Member Function Documentation

◆ check_index()

void unsigned_union_find::check_index ( unsigned a)
inline

◆ clear()

void unsigned_union_find::clear ( )
inline

◆ count()

unsigned unsigned_union_find::count ( unsigned a) const
inline

◆ count_roots()

unsigned unsigned_union_find::count_roots ( ) const
inline

◆ find()

unsigned unsigned_union_find::find ( unsigned a) const

◆ get_other()

unsigned unsigned_union_find::get_other ( unsigned a)

◆ intersection()

void unsigned_union_find::intersection ( const unsigned_union_find & other)

◆ is_root()

bool unsigned_union_find::is_root ( unsigned a) const
inline

◆ isolate()

void unsigned_union_find::isolate ( unsigned a)

◆ make_union()

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

◆ re_root()

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

◆ resize()

void unsigned_union_find::resize ( unsigned size)
inline

◆ same_set()

bool unsigned_union_find::same_set ( unsigned a,
unsigned b ) const
inline

◆ size()

unsigned unsigned_union_find::size ( ) const
inline

◆ swap()

void unsigned_union_find::swap ( unsigned_union_find & other)
inline

Member Data Documentation

◆ nodes

std::vector<nodet> unsigned_union_find::nodes
protected

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