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

Public Attributes

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

Detailed Description

Definition at line 31 of file giaCSatOld.c.

Member Data Documentation

◆ fUseHighest

int Cbs0_Par_t_::fUseHighest

Definition at line 42 of file giaCSatOld.c.

◆ fUseLowest

int Cbs0_Par_t_::fUseLowest

Definition at line 43 of file giaCSatOld.c.

◆ fUseMaxFF

int Cbs0_Par_t_::fUseMaxFF

Definition at line 44 of file giaCSatOld.c.

◆ fVerbose

int Cbs0_Par_t_::fVerbose

Definition at line 46 of file giaCSatOld.c.

◆ nBTLimit

int Cbs0_Par_t_::nBTLimit

Definition at line 34 of file giaCSatOld.c.

◆ nBTThis

int Cbs0_Par_t_::nBTThis

Definition at line 37 of file giaCSatOld.c.

◆ nBTTotal

int Cbs0_Par_t_::nBTTotal

Definition at line 39 of file giaCSatOld.c.

◆ nJustLimit

int Cbs0_Par_t_::nJustLimit

Definition at line 35 of file giaCSatOld.c.

◆ nJustThis

int Cbs0_Par_t_::nJustThis

Definition at line 38 of file giaCSatOld.c.

◆ nJustTotal

int Cbs0_Par_t_::nJustTotal

Definition at line 40 of file giaCSatOld.c.

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