ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Exa3_Man_t_ Struct Reference
Collaboration diagram for Exa3_Man_t_:
Collaboration graph
[legend]

Public Attributes

Bmc_EsPar_t * pPars
 
int nVars
 
int nNodes
 
int nLutSize
 
int LutMask
 
int nObjs
 
int nWords
 
int iVar
 
word * pTruth
 
Vec_Wrd_t * vInfo
 
Vec_Bit_t * vUsed2
 
Vec_Bit_t * vUsed3
 
int VarMarks [MAJ_NOBJS][6][MAJ_NOBJS]
 
int VarVals [MAJ_NOBJS]
 
Vec_Wec_t * vOutLits
 
Vec_Wec_t * vInVars
 
bmcg_sat_solver * pSat
 
int nUsed [2]
 
sat_solver * pSat
 

Detailed Description

Definition at line 995 of file bmcMaj.c.

Member Data Documentation

◆ iVar

int Exa3_Man_t_::iVar

Definition at line 1004 of file bmcMaj.c.

◆ LutMask

int Exa3_Man_t_::LutMask

Definition at line 1001 of file bmcMaj.c.

◆ nLutSize

int Exa3_Man_t_::nLutSize

Definition at line 1000 of file bmcMaj.c.

◆ nNodes

int Exa3_Man_t_::nNodes

Definition at line 999 of file bmcMaj.c.

◆ nObjs

int Exa3_Man_t_::nObjs

Definition at line 1002 of file bmcMaj.c.

◆ nUsed

int Exa3_Man_t_::nUsed[2]

Definition at line 1014 of file bmcMaj.c.

◆ nVars

int Exa3_Man_t_::nVars

Definition at line 998 of file bmcMaj.c.

◆ nWords

int Exa3_Man_t_::nWords

Definition at line 1003 of file bmcMaj.c.

◆ pPars

Bmc_EsPar_t * Exa3_Man_t_::pPars

Definition at line 997 of file bmcMaj.c.

◆ pSat [1/2]

bmcg_sat_solver* Exa3_Man_t_::pSat

Definition at line 1013 of file bmcMaj.c.

◆ pSat [2/2]

sat_solver* Exa3_Man_t_::pSat

Definition at line 913 of file bmcMaj2.c.

◆ pTruth

word * Exa3_Man_t_::pTruth

Definition at line 1005 of file bmcMaj.c.

◆ VarMarks

int Exa3_Man_t_::VarMarks

Definition at line 1009 of file bmcMaj.c.

◆ VarVals

int Exa3_Man_t_::VarVals

Definition at line 1010 of file bmcMaj.c.

◆ vInfo

Vec_Wrd_t * Exa3_Man_t_::vInfo

Definition at line 1006 of file bmcMaj.c.

◆ vInVars

Vec_Wec_t* Exa3_Man_t_::vInVars

Definition at line 1012 of file bmcMaj.c.

◆ vOutLits

Vec_Wec_t * Exa3_Man_t_::vOutLits

Definition at line 1011 of file bmcMaj.c.

◆ vUsed2

Vec_Bit_t* Exa3_Man_t_::vUsed2

Definition at line 1007 of file bmcMaj.c.

◆ vUsed3

Vec_Bit_t* Exa3_Man_t_::vUsed3

Definition at line 1008 of file bmcMaj.c.

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