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

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

Go to the source code of this file.

Defines
#define	OA_HASH(self)   ((OAHash_ptr) self)
	To cast and check instances of class OAHash.
#define	OA_HASH_CHECK_INSTANCE(self)   (nusmv_assert(OA_HASH(self) != OA_HASH(NULL)))
#define	OA_HASH_FOREACH(self, iter)
#define	OA_HASH_FOREACH_ENTRY(self, iter, key, value)
Typedefs
typedef boolean(*	OA_HASH_EQ_FUN )(const void *, const void *, void *)
typedef void(*	OA_HASH_FREE_FUN )(void *key, void *value, void *arg)
typedef size_t(*	OA_HASH_HASH_FUN )(const void *, void *)
typedef struct OAHash_TAG *	OAHash_ptr
typedef size_t	OAHashIter
Functions
boolean	OAHash_pointer_eq_fun (const void *k1, const void *k2, void *arg)
	The OAHash pointer equality function.
size_t	OAHash_pointer_hash_fun (const void *key, void *arg)
	The OAHash pointer hash function.
boolean	OAHash_string_eq_fun (const void *k1, const void *k2, void *arg)
	The OAHash string equality function.
size_t	OAHash_string_hash_fun (const void *key, void *arg)
	The OAHash string hash function.

---

Define Documentation

#define OA_HASH

(

self

)

((OAHash_ptr) self)

To cast and check instances of class OAHash.

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

#define OA_HASH_CHECK_INSTANCE

(

self

)

(nusmv_assert(OA_HASH(self) != OA_HASH(NULL)))

Todo:

Missing synopsis

Todo:

Missing description

#define OA_HASH_FOREACH	(	self,
		iter		)

Value:

for (iter = OAHash_get_first_iter(self);      \
       !OAHash_iter_is_end(self, iter);         \
       iter = OAHash_iter_next(self, iter))

Todo:

Missing synopsis

Todo:

Missing description

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

Value:

for (iter = OAHash_get_first_iter(self);                              \
       !OAHash_iter_is_end(self, iter) &&                               \
         (OAHash_iter_values(self, iter, (void**)key, (void**)value), true); \
       iter = OAHash_iter_next(self, iter))

Todo:

Missing synopsis

Todo:

Missing description

---

Typedef Documentation

typedef boolean(* OA_HASH_EQ_FUN)(const void *, const void *, void *)

Todo:

Missing synopsis

Todo:

Missing description

typedef void(* OA_HASH_FREE_FUN)(void *key, void *value, void *arg)

Todo:

Missing synopsis

Todo:

Missing description

typedef size_t(* OA_HASH_HASH_FUN)(const void *, void *)

typedef struct OAHash_TAG* OAHash_ptr

typedef size_t OAHashIter

Todo:

Missing synopsis

Todo:

Missing description

---

Function Documentation

boolean OAHash_pointer_eq_fun	(	const void *	k1,
		const void *	k2,
		void *	arg
	)

The OAHash pointer equality function.

The OAHash pointer equality function

See also:

OAHash_create

size_t OAHash_pointer_hash_fun	(	const void *	key,
		void *	arg
	)

The OAHash pointer hash function.

The OAHash pointer hash function

See also:

OAHash_create

boolean OAHash_string_eq_fun	(	const void *	k1,
		const void *	k2,
		void *	arg
	)

The OAHash string equality function.

The OAHash string equality function

See also:

OAHash_create

size_t OAHash_string_hash_fun	(	const void *	key,
		void *	arg
	)

The OAHash string hash function.

The OAHash string hash function

See also:

OAHash_create