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

Public Attributes

int nBTLimit
 
int nJustLimit
 
int nRestLimit
 
int nBTThis
 
int nJustThis
 
int nBTTotal
 
int nJustTotal
 
int fVerbose
 

Detailed Description

Definition at line 31 of file giaCSat3.c.

Member Data Documentation

◆ fVerbose

int Cbs3_Par_t_::fVerbose

Definition at line 43 of file giaCSat3.c.

◆ nBTLimit

int Cbs3_Par_t_::nBTLimit

Definition at line 34 of file giaCSat3.c.

◆ nBTThis

int Cbs3_Par_t_::nBTThis

Definition at line 38 of file giaCSat3.c.

◆ nBTTotal

int Cbs3_Par_t_::nBTTotal

Definition at line 40 of file giaCSat3.c.

◆ nJustLimit

int Cbs3_Par_t_::nJustLimit

Definition at line 35 of file giaCSat3.c.

◆ nJustThis

int Cbs3_Par_t_::nJustThis

Definition at line 39 of file giaCSat3.c.

◆ nJustTotal

int Cbs3_Par_t_::nJustTotal

Definition at line 41 of file giaCSat3.c.

◆ nRestLimit

int Cbs3_Par_t_::nRestLimit

Definition at line 36 of file giaCSat3.c.

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