abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Abc_EnuMan_t_ Struct Reference

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
 

Detailed Description

Definition at line 439 of file extraUtilEnum.c.

Field Documentation

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.


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