00001 #ifndef __NUSMV_CORE_UTILS_HEAP_H__
00002 #define __NUSMV_CORE_UTILS_HEAP_H__
00003
00004 #if HAVE_CONFIG_H
00005 # include "nusmv-config.h"
00006 #endif
00007
00008 #include "nusmv/core/utils/defs.h"
00009
00015 #define HEAP_MAXLENGTH_INIT 31
00016
00023 typedef struct heap_ * heap;
00024
00030 heap heap_create(void);
00031
00037 void heap_destroy(heap h);
00038
00044 void heap_add(heap h, float val, void * el);
00045
00051 int heap_isempty(heap h);
00052
00058 void* heap_getmax(heap h);
00059
00060 #endif
