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

#include "nusmv/core/trans/bdd/ClusterOptions.h"
#include "nusmv/core/utils/object.h"
#include "nusmv/core/dd/dd.h"

Go to the source code of this file.

Defines
#define	CLUSTER(x)   ((Cluster_ptr) x)
#define	CLUSTER_CHECK_INSTANCE(x)   (nusmv_assert(CLUSTER(x) != CLUSTER(NULL)))
#define	CLUSTER_IWLS95(x)   ((ClusterIwls95_ptr) x)
#define	CLUSTER_IWLS95_CHECK_INSTANCE(x)   (nusmv_assert(CLUSTER_IWLS95(x) != CLUSTER_IWLS95(NULL)))
Typedefs
typedef struct Cluster_TAG *	Cluster_ptr
typedef struct ClusterIwls95_TAG *	ClusterIwls95_ptr

---

Define Documentation

#define CLUSTER

(

x

)

((Cluster_ptr) x)

Todo:

Missing synopsis

Todo:

Missing description

#define CLUSTER_CHECK_INSTANCE

(

x

)

(nusmv_assert(CLUSTER(x) != CLUSTER(NULL)))

Todo:

Missing synopsis

Todo:

Missing description

#define CLUSTER_IWLS95

(

x

)

((ClusterIwls95_ptr) x)

Todo:

Missing synopsis

Todo:

Missing description

#define CLUSTER_IWLS95_CHECK_INSTANCE

(

x

)

(nusmv_assert(CLUSTER_IWLS95(x) != CLUSTER_IWLS95(NULL)))

Todo:

Missing synopsis

Todo:

Missing description

---

Typedef Documentation

typedef struct Cluster_TAG* Cluster_ptr

typedef struct ClusterIwls95_TAG* ClusterIwls95_ptr