abc-master
|
Data Fields | |
int | nVars |
int | nVarsFree |
int | fVerbose |
int | fUseXor |
int | nNodeMax |
int | nNodes |
int | nTops |
int | pFans0 [ABC_ENUM_MAX] |
int | pFans1 [ABC_ENUM_MAX] |
int | fCompl0 [ABC_ENUM_MAX] |
int | fCompl1 [ABC_ENUM_MAX] |
int | Polar [ABC_ENUM_MAX] |
int | pRefs [ABC_ENUM_MAX] |
int | pLevel [ABC_ENUM_MAX] |
word | pTruths [ABC_ENUM_MAX] |
word | nTries |
word | nBuilds |
word | nFinished |
Definition at line 439 of file extraUtilEnum.c.
int Abc_EnuMan_t_::fCompl0[ABC_ENUM_MAX] |
Definition at line 450 of file extraUtilEnum.c.
int Abc_EnuMan_t_::fCompl1[ABC_ENUM_MAX] |
Definition at line 451 of file extraUtilEnum.c.
int Abc_EnuMan_t_::fUseXor |
Definition at line 444 of file extraUtilEnum.c.
int Abc_EnuMan_t_::fVerbose |
Definition at line 443 of file extraUtilEnum.c.
word Abc_EnuMan_t_::nBuilds |
Definition at line 457 of file extraUtilEnum.c.
word Abc_EnuMan_t_::nFinished |
Definition at line 458 of file extraUtilEnum.c.
int Abc_EnuMan_t_::nNodeMax |
Definition at line 445 of file extraUtilEnum.c.
int Abc_EnuMan_t_::nNodes |
Definition at line 446 of file extraUtilEnum.c.
int Abc_EnuMan_t_::nTops |
Definition at line 447 of file extraUtilEnum.c.
word Abc_EnuMan_t_::nTries |
Definition at line 456 of file extraUtilEnum.c.
int Abc_EnuMan_t_::nVars |
Definition at line 441 of file extraUtilEnum.c.
int Abc_EnuMan_t_::nVarsFree |
Definition at line 442 of file extraUtilEnum.c.
int Abc_EnuMan_t_::pFans0[ABC_ENUM_MAX] |
Definition at line 448 of file extraUtilEnum.c.
int Abc_EnuMan_t_::pFans1[ABC_ENUM_MAX] |
Definition at line 449 of file extraUtilEnum.c.
int Abc_EnuMan_t_::pLevel[ABC_ENUM_MAX] |
Definition at line 454 of file extraUtilEnum.c.
int Abc_EnuMan_t_::Polar[ABC_ENUM_MAX] |
Definition at line 452 of file extraUtilEnum.c.
int Abc_EnuMan_t_::pRefs[ABC_ENUM_MAX] |
Definition at line 453 of file extraUtilEnum.c.
word Abc_EnuMan_t_::pTruths[ABC_ENUM_MAX] |
Definition at line 455 of file extraUtilEnum.c.