ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Hcd_Pars_t_ Struct Reference

Public Attributes

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.

Member Data Documentation

◆ fPolarFlip

int Hcd_Pars_t_::fPolarFlip

Definition at line 41 of file giaHcd.c.

◆ fPower

int Hcd_Pars_t_::fPower

Definition at line 43 of file giaHcd.c.

◆ fSimulateTfo

int Hcd_Pars_t_::fSimulateTfo

Definition at line 42 of file giaHcd.c.

◆ fSynthesis

int Hcd_Pars_t_::fSynthesis

Definition at line 40 of file giaHcd.c.

◆ fUseCSat

int Hcd_Pars_t_::fUseCSat

Definition at line 45 of file giaHcd.c.

◆ fUseGia

int Hcd_Pars_t_::fUseGia

Definition at line 44 of file giaHcd.c.

◆ fVerbose

int Hcd_Pars_t_::fVerbose

Definition at line 46 of file giaHcd.c.

◆ nBTLimit

int Hcd_Pars_t_::nBTLimit

Definition at line 38 of file giaHcd.c.

◆ nCallsRecycle

int Hcd_Pars_t_::nCallsRecycle

Definition at line 49 of file giaHcd.c.

◆ nNodesAhead

int Hcd_Pars_t_::nNodesAhead

Definition at line 48 of file giaHcd.c.

◆ nSatVarMax

int Hcd_Pars_t_::nSatVarMax

Definition at line 39 of file giaHcd.c.

◆ nWords

int Hcd_Pars_t_::nWords

Definition at line 37 of file giaHcd.c.

◆ timeSynth

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: