|
ABC: A System for Sequential Synthesis and Verification
|
|
|
ABC: A System for Sequential Synthesis and Verification
|
|
#include <giaCSatP.h>
Public Attributes | |
| int | nBTLimit |
| int | nJustLimit |
| int | nBTThis |
| int | nBTThisNc |
| int | nJustThis |
| int | nBTTotal |
| int | nJustTotal |
| int | fUseHighest |
| int | fUseLowest |
| int | fUseMaxFF |
| int | fVerbose |
| int | fUseProved |
| int | nJscanThis |
| int | nRscanThis |
| int | nPropThis |
| int | maxJscanUndec |
| int | maxRscanUndec |
| int | maxPropUndec |
| int | maxJscanSolved |
| int | maxRscanSolved |
| int | maxPropSolved |
| int | nSat |
| int | nUnsat |
| int | nUndec |
| long | accJscanSat |
| long | accJscanUnsat |
| long | accJscanUndec |
| long | accRscanSat |
| long | accRscanUnsat |
| long | accRscanUndec |
| long | accPropSat |
| long | accPropUnsat |
| long | accPropUndec |
| int | nJscanLimit |
| int | nRscanLimit |
| int | nPropLimit |
Definition at line 20 of file giaCSatP.h.
| long CbsP_Par_t_::accJscanSat |
Definition at line 50 of file giaCSatP.h.
| long CbsP_Par_t_::accJscanUndec |
Definition at line 52 of file giaCSatP.h.
| long CbsP_Par_t_::accJscanUnsat |
Definition at line 51 of file giaCSatP.h.
| long CbsP_Par_t_::accPropSat |
Definition at line 56 of file giaCSatP.h.
| long CbsP_Par_t_::accPropUndec |
Definition at line 58 of file giaCSatP.h.
| long CbsP_Par_t_::accPropUnsat |
Definition at line 57 of file giaCSatP.h.
| long CbsP_Par_t_::accRscanSat |
Definition at line 53 of file giaCSatP.h.
| long CbsP_Par_t_::accRscanUndec |
Definition at line 55 of file giaCSatP.h.
| long CbsP_Par_t_::accRscanUnsat |
Definition at line 54 of file giaCSatP.h.
| int CbsP_Par_t_::fUseHighest |
Definition at line 32 of file giaCSatP.h.
| int CbsP_Par_t_::fUseLowest |
Definition at line 33 of file giaCSatP.h.
| int CbsP_Par_t_::fUseMaxFF |
Definition at line 34 of file giaCSatP.h.
| int CbsP_Par_t_::fUseProved |
Definition at line 37 of file giaCSatP.h.
| int CbsP_Par_t_::fVerbose |
Definition at line 36 of file giaCSatP.h.
| int CbsP_Par_t_::maxJscanSolved |
Definition at line 46 of file giaCSatP.h.
| int CbsP_Par_t_::maxJscanUndec |
Definition at line 43 of file giaCSatP.h.
| int CbsP_Par_t_::maxPropSolved |
Definition at line 48 of file giaCSatP.h.
| int CbsP_Par_t_::maxPropUndec |
Definition at line 45 of file giaCSatP.h.
| int CbsP_Par_t_::maxRscanSolved |
Definition at line 47 of file giaCSatP.h.
| int CbsP_Par_t_::maxRscanUndec |
Definition at line 44 of file giaCSatP.h.
| int CbsP_Par_t_::nBTLimit |
Definition at line 23 of file giaCSatP.h.
| int CbsP_Par_t_::nBTThis |
Definition at line 26 of file giaCSatP.h.
| int CbsP_Par_t_::nBTThisNc |
Definition at line 27 of file giaCSatP.h.
| int CbsP_Par_t_::nBTTotal |
Definition at line 29 of file giaCSatP.h.
| int CbsP_Par_t_::nJscanLimit |
Definition at line 61 of file giaCSatP.h.
| int CbsP_Par_t_::nJscanThis |
Definition at line 40 of file giaCSatP.h.
| int CbsP_Par_t_::nJustLimit |
Definition at line 24 of file giaCSatP.h.
| int CbsP_Par_t_::nJustThis |
Definition at line 28 of file giaCSatP.h.
| int CbsP_Par_t_::nJustTotal |
Definition at line 30 of file giaCSatP.h.
| int CbsP_Par_t_::nPropLimit |
Definition at line 63 of file giaCSatP.h.
| int CbsP_Par_t_::nPropThis |
Definition at line 42 of file giaCSatP.h.
| int CbsP_Par_t_::nRscanLimit |
Definition at line 62 of file giaCSatP.h.
| int CbsP_Par_t_::nRscanThis |
Definition at line 41 of file giaCSatP.h.
| int CbsP_Par_t_::nSat |
Definition at line 49 of file giaCSatP.h.
| int CbsP_Par_t_::nUndec |
Definition at line 49 of file giaCSatP.h.
| int CbsP_Par_t_::nUnsat |
Definition at line 49 of file giaCSatP.h.