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

#include "nusmv/core/dd/dd.h"
#include "nusmv/core/opt/opt.h"

Data Structures
struct	BddFsmCache
	Private interface for package bdd_fsm. More...
struct	BddFsmCache::BddFsmReachable_TAG
Defines
#define	BDD_FSM_CACHE(x) ( (BddFsmCache_ptr) x )
#define	BDD_FSM_CACHE_CHECK_INSTANCE(x) ( nusmv_assert(BDD_FSM_CACHE(x) != BDD_FSM_CACHE(NULL)) )
#define	CACHE_GET(member) (self->cache->member)
#define	CACHE_GET_BDD(member) (bdd_dup(self->cache->member))
#define	CACHE_IS_EQUAL(member, value) (self->cache->member == value)
#define	CACHE_SET(member, value) (self->cache->member = value)
#define	CACHE_SET_BDD(member, value) (self->cache->member = bdd_dup(value))
Typedefs
typedef struct BddFsmCache_TAG *	BddFsmCache_ptr

Define Documentation

#define BDD_FSM_CACHE ( x ) ( (BddFsmCache_ptr) x )

#define BDD_FSM_CACHE_CHECK_INSTANCE ( x ) ( nusmv_assert(BDD_FSM_CACHE(x) != BDD_FSM_CACHE(NULL)) )

#define CACHE_GET ( member ) (self->cache->member)

#define CACHE_GET_BDD ( member ) (bdd_dup(self->cache->member))

#define CACHE_IS_EQUAL	(	member,
		value		)	(self->cache->member == value)

#define CACHE_SET	(	member,
		value		)	(self->cache->member = value)

#define CACHE_SET_BDD	(	member,
		value		)	(self->cache->member = bdd_dup(value))

typedef struct BddFsmCache_TAG* BddFsmCache_ptr