NuSMV/code/nusmv/core/trans/bdd/ClusterList.h File Reference

#include "nusmv/core/trans/bdd/Cluster.h"
#include "nusmv/core/dd/dd.h"
#include "nusmv/core/node/node.h"

Go to the source code of this file.

Defines
#define	CLUSTER_LIST(x)   ((ClusterList_ptr) x)
#define	CLUSTER_LIST_CHECK_INSTANCE(x)   (nusmv_assert(CLUSTER_LIST(x) != CLUSTER_LIST(NULL)))
#define	CLUSTER_LIST_ITERATOR(x)   ((ClusterListIterator_ptr) x)
#define	MHS_AFFINITY_DEFINITION
Typedefs
typedef struct ClusterList_TAG *	ClusterList_ptr
typedef node_ptr	ClusterListIterator_ptr

---

Define Documentation

#define CLUSTER_LIST

(

x

)

((ClusterList_ptr) x)

Todo:

Missing synopsis

Todo:

Missing description

#define CLUSTER_LIST_CHECK_INSTANCE

(

x

)

(nusmv_assert(CLUSTER_LIST(x) != CLUSTER_LIST(NULL)))

Todo:

Missing synopsis

Todo:

Missing description

#define CLUSTER_LIST_ITERATOR

(

x

)

((ClusterListIterator_ptr) x)

Todo:

Missing synopsis

Todo:

Missing description

#define MHS_AFFINITY_DEFINITION

Todo:

Missing synopsis

Todo:

Missing description

---

Typedef Documentation

typedef struct ClusterList_TAG* ClusterList_ptr

typedef node_ptr ClusterListIterator_ptr

Todo:

Missing synopsis

Todo:

Missing description