NuSMV/code/nusmv/core/enc/bdd/BddEnc_private.h File Reference

#include "nusmv/core/enc/bdd/BddEnc.h"
#include "nusmv/core/enc/bdd/BddEncCache.h"
#include "nusmv/core/enc/base/BoolEncClient.h"
#include "nusmv/core/enc/base/BoolEncClient_private.h"
#include "nusmv/core/utils/array.h"
#include "nusmv/core/utils/utils.h"

Go to the source code of this file.

Data Structures
struct	BddEnc
	BddEnc class definition derived from class BoolEncClient. More...
Defines
#define	BDD_ENC_EVALUATING   (ADD_ARRAY(-1))
#define	BDD_ENC_INIT_VAR_NUM   4096
	Private and protected interface of class 'BddEnc'.
Functions
void	bdd_enc_commit_layer (BaseEnc_ptr enc_base, const char *layer_name)
void	bdd_enc_remove_layer (BaseEnc_ptr enc_base, const char *layer_name)

---

Define Documentation

#define BDD_ENC_EVALUATING   (ADD_ARRAY(-1))

Todo:

Missing synopsis

Todo:

Missing description

#define BDD_ENC_INIT_VAR_NUM   4096

Private and protected interface of class 'BddEnc'.

Author:

Roberto Cavada This file can be included only by derived and friend classes

Initial size of dynamic arrays containing variable indices. Initial size of dynamic arrays containing variable indices.

---

Function Documentation

void bdd_enc_commit_layer	(	BaseEnc_ptr	enc_base,
		const char *	layer_name
	)

void bdd_enc_remove_layer	(	BaseEnc_ptr	enc_base,
		const char *	layer_name
	)