NuSMV/code/nusmv/core/prop/PropDb.h File Reference

#include "nusmv/core/prop/Prop.h"
#include "nusmv/core/utils/object.h"
#include "nusmv/core/utils/utils.h"
#include "nusmv/core/utils/list.h"
#include "nusmv/core/utils/ErrorMgr.h"

Go to the source code of this file.

Defines
#define	PROP_DB(self)   ((PropDb_ptr) self)
	To cast and check instances of class PropDb.
#define	PROP_DB_CHECK_INSTANCE(self)   (nusmv_assert(PROP_DB(self) != PROP_DB(NULL)))
#define	PROP_DB_FOREACH(self, i)   for (i = 0; i < PropDb_get_size(self); ++i)
Typedefs
typedef struct PropDb_TAG *	PropDb_ptr
Functions
void	PropDb_verify_all_type_wrapper (PropDb_ptr const self, const Prop_Type type)
	Wrapper for PropDb_verify_all_type, PropDb_ordered_verify_all_type.

---

Define Documentation

#define PROP_DB

(

self

)

((PropDb_ptr) self)

To cast and check instances of class PropDb.

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

#define PROP_DB_CHECK_INSTANCE

(

self

)

(nusmv_assert(PROP_DB(self) != PROP_DB(NULL)))

Todo:

Missing synopsis

Todo:

Missing description

#define PROP_DB_FOREACH	(	self,
		i		)	for (i = 0; i < PropDb_get_size(self); ++i)

Todo:

Missing synopsis

Todo:

Missing description

---

Typedef Documentation

typedef struct PropDb_TAG* PropDb_ptr

---

Function Documentation

void PropDb_verify_all_type_wrapper	(	PropDb_ptr const	self,
		const Prop_Type	type
	)

Wrapper for PropDb_verify_all_type, PropDb_ordered_verify_all_type.

Call the correct PropDb_..._verify_all_type depending on opt_use_coi_size_sorting.