Hcd_Pars_t_ Struct Reference

Data Fields
int	nWords
int	nBTLimit
int	nSatVarMax
int	fSynthesis
int	fPolarFlip
int	fSimulateTfo
int	fPower
int	fUseGia
int	fUseCSat
int	fVerbose
clock_t	timeSynth
int	nNodesAhead
int	nCallsRecycle

Detailed Description

Definition at line 35 of file giaHcd.c.

Field Documentation

int Hcd_Pars_t_::fPolarFlip

Definition at line 41 of file giaHcd.c.

int Hcd_Pars_t_::fPower

Definition at line 43 of file giaHcd.c.

int Hcd_Pars_t_::fSimulateTfo

Definition at line 42 of file giaHcd.c.

int Hcd_Pars_t_::fSynthesis

Definition at line 40 of file giaHcd.c.

int Hcd_Pars_t_::fUseCSat

Definition at line 45 of file giaHcd.c.

int Hcd_Pars_t_::fUseGia

Definition at line 44 of file giaHcd.c.

int Hcd_Pars_t_::fVerbose

Definition at line 46 of file giaHcd.c.

int Hcd_Pars_t_::nBTLimit

Definition at line 38 of file giaHcd.c.

int Hcd_Pars_t_::nCallsRecycle

Definition at line 49 of file giaHcd.c.

int Hcd_Pars_t_::nNodesAhead

Definition at line 48 of file giaHcd.c.

int Hcd_Pars_t_::nSatVarMax

Definition at line 39 of file giaHcd.c.

int Hcd_Pars_t_::nWords

Definition at line 37 of file giaHcd.c.

clock_t Hcd_Pars_t_::timeSynth

Definition at line 47 of file giaHcd.c.

---

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

• giaHcd.c