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

#include <union_find.h>

Public Member Functions

 nodet ()

Public Attributes

unsigned count
unsigned parent
bool root

Constructor & Destructor Documentation

◆ nodet()

unsigned_union_find::nodet::nodet ( )
inline

Member Data Documentation

◆ count

unsigned unsigned_union_find::nodet::count

◆ parent

unsigned unsigned_union_find::nodet::parent

◆ root

bool unsigned_union_find::nodet::root

The documentation for this struct was generated from the following file: