NuSMV/code/nusmv/core/node/anonymizers/NodeAnonymizerBase.h File Reference

#include "nusmv/core/utils/EnvObject.h"
#include "nusmv/core/utils/defs.h"
#include "nusmv/core/node/node.h"
#include "nusmv/core/utils/BiMap.h"

Go to the source code of this file.

Defines
#define	NODE_ANONYMIZER_BASE(self)   ((NodeAnonymizerBase_ptr) self)
	To cast and check instances of class NodeAnonymizerBase.
#define	NODE_ANONYMIZER_BASE_CHECK_INSTANCE(self)   (nusmv_assert(NODE_ANONYMIZER_BASE(self) != NODE_ANONYMIZER_BASE(NULL)))
#define	NODE_ANONYMIZER_DELIMITER_CHAR   ':'
#define	NODE_ANONYMIZER_DELIMITER_STR   ":"
	The encoding of the printed map: NODE_ANONYMIZER_DELIMITER_STR is the csv delimiter NODE_ANONYMIZER_DOT_STR is the dot NODE_ANONYMIZER_SEPARATOR_STR is the separator between the children of the dot.
#define	NODE_ANONYMIZER_DOT_CHAR   '.'
#define	NODE_ANONYMIZER_DOT_STR   "."
#define	NODE_ANONYMIZER_SEPARATOR_CHAR   ','
#define	NODE_ANONYMIZER_SEPARATOR_STR   ","
Typedefs
typedef struct NodeAnonymizerBase_TAG *	NodeAnonymizerBase_ptr
Functions
int	NodeAnonymizer_read_map_from_bimap (NodeAnonymizerBase_ptr self, BiMap_ptr map)
	Reads a map from a bimap, and merge it into self.

---

Define Documentation

#define NODE_ANONYMIZER_BASE

(

self

)

((NodeAnonymizerBase_ptr) self)

To cast and check instances of class NodeAnonymizerBase.

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

#define NODE_ANONYMIZER_BASE_CHECK_INSTANCE

(

self

)

(nusmv_assert(NODE_ANONYMIZER_BASE(self) != NODE_ANONYMIZER_BASE(NULL)))

Todo:

Missing synopsis

Todo:

Missing description

#define NODE_ANONYMIZER_DELIMITER_CHAR   ':'

Todo:

Missing synopsis

Todo:

Missing description

#define NODE_ANONYMIZER_DELIMITER_STR   ":"

The encoding of the printed map: NODE_ANONYMIZER_DELIMITER_STR is the csv delimiter NODE_ANONYMIZER_DOT_STR is the dot NODE_ANONYMIZER_SEPARATOR_STR is the separator between the children of the dot.

#define NODE_ANONYMIZER_DOT_CHAR   '.'

Todo:

Missing synopsis

Todo:

Missing description

#define NODE_ANONYMIZER_DOT_STR   "."

Todo:

Missing synopsis

Todo:

Missing description

#define NODE_ANONYMIZER_SEPARATOR_CHAR   ','

Todo:

Missing synopsis

Todo:

Missing description

#define NODE_ANONYMIZER_SEPARATOR_STR   ","

Todo:

Missing synopsis

Todo:

Missing description

---

Typedef Documentation

typedef struct NodeAnonymizerBase_TAG* NodeAnonymizerBase_ptr

---

Function Documentation

int NodeAnonymizer_read_map_from_bimap	(	NodeAnonymizerBase_ptr	self,
		BiMap_ptr	map
	)

Reads a map from a bimap, and merge it into self.

map is assumed to be syntactically correct error is returned if an original id is associated with a different anonymous id or if an anonymous id is already used in self