#include <dch.h>

Public Attributes
int	nWords

int	nBTLimit

int	nSatVarMax

int	fSynthesis

int	fPolarFlip

int	fSimulateTfo

int	fPower

int	fUseGia

int	fUseCSat

int	fUseNew

int	fUseNew2

int	fLightSynth

int	fSkipRedSupp

int	fVerbose

abctime	timeSynth

int	nNodesAhead

int	nCallsRecycle

Detailed Description

Definition at line 44 of file dch.h.

Member Data Documentation

◆ fLightSynth

int Dch_Pars_t_::fLightSynth

Definition at line 57 of file dch.h.

◆ fPolarFlip

int Dch_Pars_t_::fPolarFlip

Definition at line 50 of file dch.h.

◆ fPower

int Dch_Pars_t_::fPower

Definition at line 52 of file dch.h.

◆ fSimulateTfo

int Dch_Pars_t_::fSimulateTfo

Definition at line 51 of file dch.h.

◆ fSkipRedSupp

int Dch_Pars_t_::fSkipRedSupp

Definition at line 58 of file dch.h.

◆ fSynthesis

int Dch_Pars_t_::fSynthesis

Definition at line 49 of file dch.h.

◆ fUseCSat

int Dch_Pars_t_::fUseCSat

Definition at line 54 of file dch.h.

◆ fUseGia

int Dch_Pars_t_::fUseGia

Definition at line 53 of file dch.h.

◆ fUseNew

int Dch_Pars_t_::fUseNew

Definition at line 55 of file dch.h.

◆ fUseNew2

int Dch_Pars_t_::fUseNew2

Definition at line 56 of file dch.h.

◆ fVerbose

int Dch_Pars_t_::fVerbose

Definition at line 59 of file dch.h.

◆ nBTLimit

int Dch_Pars_t_::nBTLimit

Definition at line 47 of file dch.h.

◆ nCallsRecycle

int Dch_Pars_t_::nCallsRecycle

Definition at line 62 of file dch.h.

◆ nNodesAhead

int Dch_Pars_t_::nNodesAhead

Definition at line 61 of file dch.h.

◆ nSatVarMax

int Dch_Pars_t_::nSatVarMax

Definition at line 48 of file dch.h.

◆ nWords

int Dch_Pars_t_::nWords

Definition at line 46 of file dch.h.

◆ timeSynth

abctime Dch_Pars_t_::timeSynth

Definition at line 60 of file dch.h.

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

src/proof/dch/dch.h

Public Attributes