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

Public Attributes

int nBTLimit
 
int nJustLimit
 
int nBTThis
 
int nBTThisNc
 
int nJustThis
 
int nBTTotal
 
int nJustTotal
 
int fUseHighest
 
int fUseLowest
 
int fUseMaxFF
 
int fUseFanout
 
int fVerbose
 

Detailed Description

Definition at line 34 of file giaCSat2.c.

Member Data Documentation

◆ fUseFanout

int Cbs2_Par_t_::fUseFanout

Definition at line 49 of file giaCSat2.c.

◆ fUseHighest

int Cbs2_Par_t_::fUseHighest

Definition at line 46 of file giaCSat2.c.

◆ fUseLowest

int Cbs2_Par_t_::fUseLowest

Definition at line 47 of file giaCSat2.c.

◆ fUseMaxFF

int Cbs2_Par_t_::fUseMaxFF

Definition at line 48 of file giaCSat2.c.

◆ fVerbose

int Cbs2_Par_t_::fVerbose

Definition at line 51 of file giaCSat2.c.

◆ nBTLimit

int Cbs2_Par_t_::nBTLimit

Definition at line 37 of file giaCSat2.c.

◆ nBTThis

int Cbs2_Par_t_::nBTThis

Definition at line 40 of file giaCSat2.c.

◆ nBTThisNc

int Cbs2_Par_t_::nBTThisNc

Definition at line 41 of file giaCSat2.c.

◆ nBTTotal

int Cbs2_Par_t_::nBTTotal

Definition at line 43 of file giaCSat2.c.

◆ nJustLimit

int Cbs2_Par_t_::nJustLimit

Definition at line 38 of file giaCSat2.c.

◆ nJustThis

int Cbs2_Par_t_::nJustThis

Definition at line 42 of file giaCSat2.c.

◆ nJustTotal

int Cbs2_Par_t_::nJustTotal

Definition at line 44 of file giaCSat2.c.

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