NuSMV/code/nusmv/core/fsm/bdd/FairnessList.h File Reference

#include "nusmv/core/fsm/bdd/bdd.h"
#include "nusmv/core/utils/object.h"
#include "nusmv/core/utils/utils.h"
#include "nusmv/core/node/node.h"
#include "nusmv/core/dd/dd.h"

Go to the source code of this file.

Defines
#define	COMPASSION_LIST(x)   ((CompassionList_ptr) x)
#define	COMPASSION_LIST_CHECK_INSTANCE(self)   (nusmv_assert( COMPASSION_LIST(self) != COMPASSION_LIST(NULL) ))
#define	FAIRNESS_LIST(x)   ((FairnessList_ptr) x)
#define	FAIRNESS_LIST_CHECK_INSTANCE(self)   (nusmv_assert( FAIRNESS_LIST(self) != FAIRNESS_LIST(NULL) ))
#define	JUSTICE_LIST(x)   ((JusticeList_ptr) x)
#define	JUSTICE_LIST_CHECK_INSTANCE(self)   (nusmv_assert( JUSTICE_LIST(self) != JUSTICE_LIST(NULL) ))
Typedefs
typedef struct CompassionList_TAG *	CompassionList_ptr
typedef struct FairnessList_TAG *	FairnessList_ptr
typedef node_ptr	FairnessListIterator_ptr
typedef struct JusticeList_TAG *	JusticeList_ptr

---

Define Documentation

#define COMPASSION_LIST

(

x

)

((CompassionList_ptr) x)

Todo:

Missing synopsis

Todo:

Missing description

#define COMPASSION_LIST_CHECK_INSTANCE

(

self

)

(nusmv_assert( COMPASSION_LIST(self) != COMPASSION_LIST(NULL) ))

Todo:

Missing synopsis

Todo:

Missing description

#define FAIRNESS_LIST

(

x

)

((FairnessList_ptr) x)

Todo:

Missing synopsis

Todo:

Missing description

#define FAIRNESS_LIST_CHECK_INSTANCE

(

self

)

(nusmv_assert( FAIRNESS_LIST(self) != FAIRNESS_LIST(NULL) ))

Todo:

Missing synopsis

Todo:

Missing description

#define JUSTICE_LIST

(

x

)

((JusticeList_ptr) x)

Todo:

Missing synopsis

Todo:

Missing description

#define JUSTICE_LIST_CHECK_INSTANCE

(

self

)

(nusmv_assert( JUSTICE_LIST(self) != JUSTICE_LIST(NULL) ))

Todo:

Missing synopsis

Todo:

Missing description

---

Typedef Documentation

typedef struct CompassionList_TAG* CompassionList_ptr

typedef struct FairnessList_TAG* FairnessList_ptr

typedef node_ptr FairnessListIterator_ptr

Todo:

Missing synopsis

Todo:

Missing description

typedef struct JusticeList_TAG* JusticeList_ptr