Dch_Pars_t_ Struct Reference

#include <dch.h>

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

Detailed Description

Definition at line 44 of file dch.h.

Field Documentation

int Dch_Pars_t_::fLightSynth

Definition at line 55 of file dch.h.

int Dch_Pars_t_::fPolarFlip

Definition at line 50 of file dch.h.

int Dch_Pars_t_::fPower

Definition at line 52 of file dch.h.

int Dch_Pars_t_::fSimulateTfo

Definition at line 51 of file dch.h.

int Dch_Pars_t_::fSkipRedSupp

Definition at line 56 of file dch.h.

int Dch_Pars_t_::fSynthesis

Definition at line 49 of file dch.h.

int Dch_Pars_t_::fUseCSat

Definition at line 54 of file dch.h.

int Dch_Pars_t_::fUseGia

Definition at line 53 of file dch.h.

int Dch_Pars_t_::fVerbose

Definition at line 57 of file dch.h.

int Dch_Pars_t_::nBTLimit

Definition at line 47 of file dch.h.

int Dch_Pars_t_::nCallsRecycle

Definition at line 60 of file dch.h.

int Dch_Pars_t_::nNodesAhead

Definition at line 59 of file dch.h.

int Dch_Pars_t_::nSatVarMax

Definition at line 48 of file dch.h.

int Dch_Pars_t_::nWords

Definition at line 46 of file dch.h.

abctime Dch_Pars_t_::timeSynth

Definition at line 58 of file dch.h.

---

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

• dch.h