NuSMV/code/nusmv/core/utils/avl.h File Reference

#include "cudd/util.h"

Go to the source code of this file.

Data Structures
struct	avl_generator
struct	avl_node
	AVL Trees. More...
struct	avl_tree
Defines
#define	AVL_BACKWARD   1
#define	avl_foreach_item(table, gen, dir, key_p, value_p)
#define	AVL_FORWARD   0
#define	avl_is_member(tree, key)   avl_lookup(tree, key, (char **) 0)
Functions
int	avl_count (avl_tree *)
int	avl_delete (avl_tree *, char **, char **)
int	avl_find_or_add (avl_tree *, char *, char ***)
int	avl_first (avl_tree *, char **, char **)
void	avl_foreach (avl_tree *, void(*)(char *, char *), int)
void	avl_free_gen (avl_generator *)
void	avl_free_table (avl_tree *, void(*)(char *), void(*)(char *))
int	avl_gen (avl_generator *, char **, char **)
avl_generator *	avl_init_gen (avl_tree *, int)
avl_tree *	avl_init_table (int(*compare)(char *, char *))
int	avl_insert (avl_tree *, char *, char *)
int	avl_last (avl_tree *, char **, char **)
int	avl_lookup (avl_tree *, char *, char **)
int	avl_numcmp (char *, char *)

---

Define Documentation

#define AVL_BACKWARD   1

Todo:

Missing synopsis

Todo:

Missing description

#define avl_foreach_item	(	table,
		gen,
		dir,
		key_p,
		value_p		)

Value:

for(gen = avl_init_gen(table, dir);             \
        avl_gen(gen, key_p, value_p) || (avl_free_gen(gen),0);)

Todo:

Missing synopsis

Todo:

Missing description

#define AVL_FORWARD   0

Todo:

Missing synopsis

Todo:

Missing description

#define avl_is_member	(	tree,
		key		)	avl_lookup(tree, key, (char **) 0)

Todo:

Missing synopsis

Todo:

Missing description

---

Function Documentation

int avl_count

(

avl_tree *

)

Todo:

Missing synopsis

Todo:

Missing description

int avl_delete	(	avl_tree *	,
		char **	,
		char **
	)

Todo:

Missing synopsis

Todo:

Missing description

int avl_find_or_add	(	avl_tree *	,
		char *	,
		char ***
	)

Todo:

Missing synopsis

Todo:

Missing description

int avl_first	(	avl_tree *	,
		char **	,
		char **
	)

Todo:

Missing synopsis

Todo:

Missing description

void avl_foreach	(	avl_tree *	,
		void(*)(char *, char *)	,
		int
	)

Todo:

Missing synopsis

Todo:

Missing description

void avl_free_gen

(

avl_generator *

)

Todo:

Missing synopsis

Todo:

Missing description

void avl_free_table	(	avl_tree *	,
		void(*)(char *)	,
		void(*)(char *)
	)

Todo:

Missing synopsis

Todo:

Missing description

int avl_gen	(	avl_generator *	,
		char **	,
		char **
	)

Todo:

Missing synopsis

Todo:

Missing description

avl_generator* avl_init_gen	(	avl_tree *	,
		int
	)

Todo:

Missing synopsis

Todo:

Missing description

avl_tree* avl_init_table

(

int(*)(char *, char *)

compare

)

Todo:

Missing synopsis

Todo:

Missing description

int avl_insert	(	avl_tree *	,
		char *	,
		char *
	)

Todo:

Missing synopsis

Todo:

Missing description

int avl_last	(	avl_tree *	,
		char **	,
		char **
	)

Todo:

Missing synopsis

Todo:

Missing description

int avl_lookup	(	avl_tree *	,
		char *	,
		char **
	)

Todo:

Missing synopsis

Todo:

Missing description

int avl_numcmp	(	char *	,
		char *
	)

Todo:

Missing synopsis

Todo:

Missing description