Ssnode Struct Reference

A node of the tree. More...

#include <Sset.h>

---

Detailed Description

A node of the tree.

NOTE for developers: the structure is the standard AVL tree node. The only difference is that the "balance" field is kept in the 2 lowest bits of the "parent" field. Note that implementation of SSET_BALANCE and a few macros depends on this agreement, and there is an assertion that pointer should always have two lowest bits set to 0.

---

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

• NuSMV/code/nusmv/core/utils/Sset.h