mdd_gen Struct Reference

#include <mdd.h>

Collaboration diagram for mdd_gen:

[legend]

Data Fields
mdd_manager *	manager
bdd_gen *	bdd_generator
bdd_gen_status	status
array_t *	cube
array_t *	minterm
array_t *	var_list
boolean	out_of_range

---

Detailed Description

Definition at line 186 of file mdd.h.

---

Field Documentation

bdd_gen* mdd_gen::bdd_generator

Definition at line 188 of file mdd.h.

array_t* mdd_gen::cube

Definition at line 190 of file mdd.h.

mdd_manager* mdd_gen::manager

Definition at line 187 of file mdd.h.

array_t* mdd_gen::minterm

Definition at line 191 of file mdd.h.

boolean mdd_gen::out_of_range

Definition at line 193 of file mdd.h.

bdd_gen_status mdd_gen::status

Definition at line 189 of file mdd.h.

array_t* mdd_gen::var_list

Definition at line 192 of file mdd.h.

---

The documentation for this struct was generated from the following file:

• src/mdd/mdd.h