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

#include "nusmv/core/utils/defs.h"

Go to the source code of this file.

Defines
#define	HEAP_MAXLENGTH_INIT   31
Functions
void	heap_add (heap h, float val, void *el)
heap	heap_create (void)
void	heap_destroy (heap h)
void *	heap_getmax (heap h)
int	heap_isempty (heap h)

---

Define Documentation

#define HEAP_MAXLENGTH_INIT   31

Todo:

Missing synopsis

Todo:

Missing description

---

Function Documentation

void heap_add	(	heap	h,
		float	val,
		void *	el
	)

Todo:

Missing synopsis

Todo:

Missing description

heap heap_create

(

void

)

Todo:

Missing synopsis

Todo:

Missing description

void heap_destroy

(

heap

h

)

Todo:

Missing synopsis

Todo:

Missing description

void* heap_getmax

(

heap

h

)

Todo:

Missing synopsis

Todo:

Missing description

int heap_isempty

(

heap

h

)

Todo:

Missing synopsis

Todo:

Missing description