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

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

Go to the source code of this file.

Defines
#define	LRU_CACHE(self)   ((LRUCache_ptr) self)
	To cast and check instances of class LRUCache.
#define	LRU_CACHE_CHECK_INSTANCE(self)   (nusmv_assert(LRU_CACHE(self) != LRU_CACHE(NULL)))
#define	LRU_CACHE_FOREACH(self, iter)
#define	LRU_CACHE_FOREACH_ENTRY(self, iter, key, value)
#define	LRUCache_get_first_iter(self)   OAHash_get_first_iter(OA_HASH(self))
#define	LRUCache_get_size(self)   OAHash_get_size(OA_HASH(self))
#define	LRUCache_has_key(self, key)   OAHash_has_key(OA_HASH(self), key)
#define	LRUCache_iter_is_end(self, iter)   OAHash_iter_is_end(OA_HASH(self), (OAHashIter)iter)
#define	LRUCache_iter_next(self, iter)   OAHash_iter_next(OA_HASH(self), (OAHashIter)iter)
Typedefs
typedef OA_HASH_EQ_FUN	LRU_CACHE_EQ_FUN
typedef OA_HASH_FREE_FUN	LRU_CACHE_FREE_FUN
typedef OA_HASH_HASH_FUN	LRU_CACHE_HASH_FUN
typedef struct LRUCache_TAG *	LRUCache_ptr
typedef OAHashIter	LRUCacheIter

---

Define Documentation

#define LRU_CACHE

(

self

)

((LRUCache_ptr) self)

To cast and check instances of class LRUCache.

These macros must be used respectively to cast and to check instances of class LRUCache

#define LRU_CACHE_CHECK_INSTANCE

(

self

)

(nusmv_assert(LRU_CACHE(self) != LRU_CACHE(NULL)))

Todo:

Missing synopsis

Todo:

Missing description

#define LRU_CACHE_FOREACH	(	self,
		iter		)

Value:

for (iter = LRUCache_get_first_iter(self);      \
       !LRUCache_iter_is_end(self, iter);         \
       iter = LRUCache_iter_next(self, iter))

Todo:

Missing synopsis

Todo:

Missing description

#define LRU_CACHE_FOREACH_ENTRY	(	self,
		iter,
		key,
		value		)

Value:

for (iter = LRUCache_get_first_iter(self);                            \
       !LRUCache_iter_is_end(self, iter) &&                             \
         (LRUCache_iter_values(self, iter, (void**)key, (void**)value), true); \
       iter = LRUCache_iter_next(self, iter))

Todo:

Missing synopsis

Todo:

Missing description

#define LRUCache_get_first_iter

(

self

)

OAHash_get_first_iter(OA_HASH(self))

Todo:

Missing synopsis

Todo:

Missing description

#define LRUCache_get_size

(

self

)

OAHash_get_size(OA_HASH(self))

Todo:

Missing synopsis

Todo:

Missing description

#define LRUCache_has_key	(	self,
		key		)	OAHash_has_key(OA_HASH(self), key)

Todo:

Missing synopsis

Todo:

Missing description

#define LRUCache_iter_is_end	(	self,
		iter		)	OAHash_iter_is_end(OA_HASH(self), (OAHashIter)iter)

Todo:

Missing synopsis

Todo:

Missing description

#define LRUCache_iter_next	(	self,
		iter		)	OAHash_iter_next(OA_HASH(self), (OAHashIter)iter)

Todo:

Missing synopsis

Todo:

Missing description

---

Typedef Documentation

typedef OA_HASH_EQ_FUN LRU_CACHE_EQ_FUN

Todo:

Missing synopsis

Todo:

Missing description

typedef OA_HASH_FREE_FUN LRU_CACHE_FREE_FUN

Todo:

Missing synopsis

Todo:

Missing description

typedef OA_HASH_HASH_FUN LRU_CACHE_HASH_FUN

Todo:

Missing synopsis

Todo:

Missing description

typedef struct LRUCache_TAG* LRUCache_ptr

typedef OAHashIter LRUCacheIter

Todo:

Missing synopsis

Todo:

Missing description