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

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

Go to the source code of this file.

Data Structures
struct	Tuple5
	Tuple5 class definition. More...
Defines
#define	TUPLE_5(self)   ((Tuple5_ptr) self)
	To cast and check instances of class Tuple5.
#define	TUPLE_5_CHECK_INSTANCE(self)   (nusmv_assert(TUPLE_5(self) != TUPLE_5(NULL)))
Typedefs
typedef struct Tuple5_TAG *	Tuple5_ptr
Functions
int	Tuple5_compare (const Tuple5_ptr a, const Tuple5_ptr b)
	Tuple5 comparison function.

---

Define Documentation

#define TUPLE_5

(

self

)

((Tuple5_ptr) self)

To cast and check instances of class Tuple5.

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

#define TUPLE_5_CHECK_INSTANCE

(

self

)

(nusmv_assert(TUPLE_5(self) != TUPLE_5(NULL)))

Todo:

Missing synopsis

Todo:

Missing description

---

Typedef Documentation

typedef struct Tuple5_TAG* Tuple5_ptr

---

Function Documentation

int Tuple5_compare	(	const Tuple5_ptr	a,
		const Tuple5_ptr	b
	)

Tuple5 comparison function.

Tuple5 comparison function. Returns if the two Tuple5 instances are the equal. No distinction between frozen / unfrozen instances is made. Can be casted to ST_PFICPCP

Casts to char* are added to prevent "warning: pointer of type ‘void *’ used in subtraction".