unsigned_union_find::nodet Struct Reference

#include <union_find.h>

Public Member Functions
	nodet (size_type index)

Public Attributes
size_type	count
size_type	parent

Detailed Description

Definition at line 29 of file union_find.h.

Constructor & Destructor Documentation

nodet()

unsigned_union_find::nodet::nodet ( size_type  index )

inlineexplicit

Definition at line 35 of file union_find.h.

Member Data Documentation

count

size_type unsigned_union_find::nodet::count

Definition at line 31 of file union_find.h.

parent

size_type unsigned_union_find::nodet::parent

Definition at line 32 of file union_find.h.

---

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

• /home/runner/work/cbmc/cbmc/src/util/union_find.h