avl_generator Struct Reference

#include <avl.h>

Data Fields
int	count
avl_node **	nodelist
avl_tree *	tree

---

Detailed Description

Todo:

Missing synopsis

Todo:

Missing description

---

Field Documentation

int avl_generator::count

avl_node** avl_generator::nodelist

avl_tree* avl_generator::tree

---

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

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