NuSMV/code/nusmv/core/enc/bool/BitValues.h File Reference

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

Go to the source code of this file.

Defines
#define	BIT_VALUES(self)   ((BitValues_ptr) self)
	To cast and check instances of class BitValues.
#define	BIT_VALUES_CHECK_INSTANCE(self)   (nusmv_assert(BIT_VALUES(self) != BIT_VALUES(NULL)))
Typedefs
typedef struct BitValues_TAG *	BitValues_ptr
Enumerations
enum	BitValue { BIT_VALUE_FALSE, BIT_VALUE_TRUE, BIT_VALUE_DONTCARE }
	BitValue is the set of possible values a bit can take. More...

---

Define Documentation

#define BIT_VALUES

(

self

)

((BitValues_ptr) self)

To cast and check instances of class BitValues.

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

#define BIT_VALUES_CHECK_INSTANCE

(

self

)

(nusmv_assert(BIT_VALUES(self) != BIT_VALUES(NULL)))

Todo:

Missing synopsis

Todo:

Missing description

---

Typedef Documentation

typedef struct BitValues_TAG* BitValues_ptr

---

Enumeration Type Documentation

enum BitValue

BitValue is the set of possible values a bit can take.

Enumerator:

BIT_VALUE_FALSE
BIT_VALUE_TRUE
BIT_VALUE_DONTCARE