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

Public Attributes

Bmc_EsPar_t * pPars
 
word * pTruth
 
int nObjs
 
int nWords
 
int LutMask
 
int TopoBase
 
int MintBase
 
Vec_Wrd_t * vInfo
 
Vec_Int_t * vVarValues
 
Vec_Int_t * vMidMints
 
Vec_Bit_t * vUsed2
 
Vec_Bit_t * vUsed3
 
Vec_Int_t * vPairs
 
int nUsed [2]
 
int pFanins [MAJ3_OBJS][MAJ3_OBJS]
 
int pLits [2][2 *MAJ3_OBJS]
 
int nLits [2]
 
int Counts [1024]
 
bmcg_sat_solver * pSat
 
abctime clkEval
 

Detailed Description

Definition at line 552 of file bmcMaj3.c.

Member Data Documentation

◆ clkEval

abctime Zyx_Man_t_::clkEval

Definition at line 573 of file bmcMaj3.c.

◆ Counts

int Zyx_Man_t_::Counts[1024]

Definition at line 571 of file bmcMaj3.c.

◆ LutMask

int Zyx_Man_t_::LutMask

Definition at line 558 of file bmcMaj3.c.

◆ MintBase

int Zyx_Man_t_::MintBase

Definition at line 560 of file bmcMaj3.c.

◆ nLits

int Zyx_Man_t_::nLits[2]

Definition at line 570 of file bmcMaj3.c.

◆ nObjs

int Zyx_Man_t_::nObjs

Definition at line 556 of file bmcMaj3.c.

◆ nUsed

int Zyx_Man_t_::nUsed[2]

Definition at line 567 of file bmcMaj3.c.

◆ nWords

int Zyx_Man_t_::nWords

Definition at line 557 of file bmcMaj3.c.

◆ pFanins

int Zyx_Man_t_::pFanins[MAJ3_OBJS][MAJ3_OBJS]

Definition at line 568 of file bmcMaj3.c.

◆ pLits

int Zyx_Man_t_::pLits[2][2 *MAJ3_OBJS]

Definition at line 569 of file bmcMaj3.c.

◆ pPars

Bmc_EsPar_t* Zyx_Man_t_::pPars

Definition at line 554 of file bmcMaj3.c.

◆ pSat

bmcg_sat_solver* Zyx_Man_t_::pSat

Definition at line 572 of file bmcMaj3.c.

◆ pTruth

word* Zyx_Man_t_::pTruth

Definition at line 555 of file bmcMaj3.c.

◆ TopoBase

int Zyx_Man_t_::TopoBase

Definition at line 559 of file bmcMaj3.c.

◆ vInfo

Vec_Wrd_t* Zyx_Man_t_::vInfo

Definition at line 561 of file bmcMaj3.c.

◆ vMidMints

Vec_Int_t* Zyx_Man_t_::vMidMints

Definition at line 563 of file bmcMaj3.c.

◆ vPairs

Vec_Int_t* Zyx_Man_t_::vPairs

Definition at line 566 of file bmcMaj3.c.

◆ vUsed2

Vec_Bit_t* Zyx_Man_t_::vUsed2

Definition at line 564 of file bmcMaj3.c.

◆ vUsed3

Vec_Bit_t* Zyx_Man_t_::vUsed3

Definition at line 565 of file bmcMaj3.c.

◆ vVarValues

Vec_Int_t* Zyx_Man_t_::vVarValues

Definition at line 562 of file bmcMaj3.c.

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