Bdc_Par_t_ Struct Reference

#include <bdc.h>

Data Fields
int	nVarsMax
int	fVerbose
int	fVeryVerbose

---

Detailed Description

Definition at line 42 of file bdc.h.

---

Field Documentation

int Bdc_Par_t_::fVerbose

Definition at line 46 of file bdc.h.

int Bdc_Par_t_::fVeryVerbose

Definition at line 47 of file bdc.h.

int Bdc_Par_t_::nVarsMax

Definition at line 45 of file bdc.h.

---

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

• src/aig/bdc/bdc.h