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

#include "nusmv/core/utils/defs.h"
#include "nusmv/core/utils/NodeList.h"
#include "nusmv/core/utils/assoc.h"
#include "nusmv/core/node/node.h"

Go to the source code of this file.

Data Structures
struct	BiMapIter
Defines
#define	BI_MAP(self)   ((BiMap_ptr) self)
	To cast and check instances of class BiMap.
#define	BI_MAP_CHECK_INSTANCE(self)   (nusmv_assert(BI_MAP(self) != BI_MAP(NULL)))
#define	BI_MAP_FAST_ITERATOR
	Public interface of class 'BiMap'.
#define	BI_MAP_FOREACH(self, iter)
Typedefs
typedef struct BiMap_TAG *	BiMap_ptr

---

Define Documentation

#define BI_MAP

(

self

)

((BiMap_ptr) self)

To cast and check instances of class BiMap.

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

#define BI_MAP_CHECK_INSTANCE

(

self

)

(nusmv_assert(BI_MAP(self) != BI_MAP(NULL)))

Todo:

Missing synopsis

Todo:

Missing description

#define BI_MAP_FAST_ITERATOR

Public interface of class 'BiMap'.

Author:

Mirco Giacobbe This class implements a bijective map, namely a one-to-one correspondance

Todo:

Missing synopsis

Todo:

Missing description

#define BI_MAP_FOREACH	(	self,
		iter		)

Value:

for (BiMap_gen_iter(self, &iter); \
       !BiMap_iter_is_end(self, &iter); \
       BiMap_iter_next(self, &iter)) \

Todo:

Missing synopsis

Todo:

Missing description

---

Typedef Documentation

typedef struct BiMap_TAG* BiMap_ptr