Public Attributes
int	nBTLimit

int	nJustLimit

int	nBTThis

int	nBTThisNc

int	nJustThis

int	nBTTotal

int	nJustTotal

int	fUseHighest

int	fUseLowest

int	fUseMaxFF

int	fVerbose

Detailed Description

Definition at line 34 of file giaCSat.c.

Member Data Documentation

◆ fUseHighest

int Cbs_Par_t_::fUseHighest

Definition at line 46 of file giaCSat.c.

◆ fUseLowest

int Cbs_Par_t_::fUseLowest

Definition at line 47 of file giaCSat.c.

◆ fUseMaxFF

int Cbs_Par_t_::fUseMaxFF

Definition at line 48 of file giaCSat.c.

◆ fVerbose

int Cbs_Par_t_::fVerbose

Definition at line 50 of file giaCSat.c.

◆ nBTLimit

int Cbs_Par_t_::nBTLimit

Definition at line 37 of file giaCSat.c.

◆ nBTThis

int Cbs_Par_t_::nBTThis

Definition at line 40 of file giaCSat.c.

◆ nBTThisNc

int Cbs_Par_t_::nBTThisNc

Definition at line 41 of file giaCSat.c.

◆ nBTTotal

int Cbs_Par_t_::nBTTotal

Definition at line 43 of file giaCSat.c.

◆ nJustLimit

int Cbs_Par_t_::nJustLimit

Definition at line 38 of file giaCSat.c.

◆ nJustThis

int Cbs_Par_t_::nJustThis

Definition at line 42 of file giaCSat.c.

◆ nJustTotal

int Cbs_Par_t_::nJustTotal

Definition at line 44 of file giaCSat.c.

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

src/aig/gia/giaCSat.c

Public Attributes