Bdc_Par_t_ Struct Reference

#include <bdc.h>

Public Attributes
int	nVarsMax
int	fVerbose
int	fVeryVerbose

Detailed Description

Definition at line 45 of file bdc.h.

Member Data Documentation

fVerbose

int Bdc_Par_t_::fVerbose

Definition at line 49 of file bdc.h.

fVeryVerbose

int Bdc_Par_t_::fVeryVerbose

Definition at line 50 of file bdc.h.

nVarsMax

int Bdc_Par_t_::nVarsMax

Definition at line 48 of file bdc.h.

---

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

• src/bool/bdc/bdc.h