avl_tree Struct Reference

#include <avl.h>

Data Fields
int(*	compar )(char *, char *)
int	modified
int	num_entries
avl_node *	root

---

Detailed Description

Todo:

Missing synopsis

Todo:

Missing description

---

Field Documentation

int(* avl_tree::compar)(char *, char *)

int avl_tree::modified

int avl_tree::num_entries

avl_node* avl_tree::root

---

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

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