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

Go to the documentation of this file.

/* ---------------------------------------------------------------------------


  %COPYRIGHT%

-----------------------------------------------------------------------------*/

#ifndef __NUSMV_CORE_UTILS_BI_MAP_H__
#define __NUSMV_CORE_UTILS_BI_MAP_H__

#if HAVE_CONFIG_H
#  include "nusmv-config.h"
#endif

#define BI_MAP_FAST_ITERATOR

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

typedef struct BiMap_TAG*  BiMap_ptr;

#ifndef BI_MAP_FAST_ITERATOR
typedef struct BiMapIter_TAG{
  st_generator gen;
  char* key_p;
  char* value_p;
  int end;
} BiMapIter;
#else
typedef struct BiMapIter_TAG{
  ListIter_ptr d_iter;
  ListIter_ptr c_iter;
} BiMapIter;
#endif

#define BI_MAP(self) \
         ((BiMap_ptr) self)

#define BI_MAP_CHECK_INSTANCE(self) \
         (nusmv_assert(BI_MAP(self) != BI_MAP(NULL)))

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


/*---------------------------------------------------------------------------*/
/* Function prototypes                                                       */
/*---------------------------------------------------------------------------*/

BiMap_ptr BiMap_create(void);

void BiMap_destroy(BiMap_ptr self);

void BiMap_put(BiMap_ptr self, node_ptr domain_element, node_ptr codomain_element);

node_ptr BiMap_get(BiMap_ptr self, node_ptr domain_element);

node_ptr BiMap_inverse_get(BiMap_ptr self, node_ptr codomain_element);

boolean BiMap_domain_contains(BiMap_ptr self, node_ptr domain_element);

boolean BiMap_codomain_contains(BiMap_ptr self, node_ptr codomain_element);

unsigned BiMap_size(BiMap_ptr self);

boolean BiMap_is_empty(BiMap_ptr self);

void BiMap_clear(BiMap_ptr self);

/* iterator */

void BiMap_gen_iter(BiMap_ptr self, BiMapIter* iter);

boolean BiMap_iter_is_end(BiMap_ptr self, BiMapIter* iter);

void BiMap_iter_next(BiMap_ptr self, BiMapIter* iter);

node_ptr BiMap_iter_get_domain_element(BiMap_ptr self, 
                                          BiMapIter* iter);

node_ptr BiMap_iter_get_codomain_element(BiMap_ptr self, 
                                            BiMapIter* iter);

/* big getters */

NodeList_ptr BiMap_domain(BiMap_ptr self);

NodeList_ptr BiMap_codomain(BiMap_ptr self);

hash_ptr BiMap_map(BiMap_ptr self);

hash_ptr BiMap_inverse_map(BiMap_ptr self);

#endif /* __NUSMV_CORE_UTILS_BI_MAP_H__ */

---