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

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

Go to the source code of this file.

Defines
#define	BDD_VAR_SET(x)   ((BddVarSet_ptr) x)
Typedefs
typedef bdd_ptr	BddVarSet_ptr
	The Bdd encoding package public interface.

---

Define Documentation

#define BDD_VAR_SET

(

x

)

((BddVarSet_ptr) x)

Todo:

Missing synopsis

Todo:

Missing description

---

Typedef Documentation

typedef bdd_ptr BddVarSet_ptr

The Bdd encoding package public interface.

Author:

Roberto Cavada

Todo:

: Missing description

The BddVarSet type A VarSet is a set of variables represented as a list of BDDs