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

Public Attributes

Bmc_EsPar_t * pPars
 
int nVars
 
int nNodes
 
int nObjs
 
int nWords
 
int iVar
 
word * pTruth
 
Vec_Wrd_t * vInfo
 
int VarMarks [MAJ_NOBJS][2][MAJ_NOBJS]
 
int VarVals [MAJ_NOBJS]
 
Vec_Wec_t * vOutLits
 
bmcg_sat_solver * pSat
 
FILE * pFile
 
int nCnfClauses
 
sat_solver * pSat
 

Detailed Description

Definition at line 422 of file bmcMaj.c.

Member Data Documentation

◆ iVar

int Exa_Man_t_::iVar

Definition at line 429 of file bmcMaj.c.

◆ nCnfClauses

int Exa_Man_t_::nCnfClauses

Definition at line 437 of file bmcMaj.c.

◆ nNodes

int Exa_Man_t_::nNodes

Definition at line 426 of file bmcMaj.c.

◆ nObjs

int Exa_Man_t_::nObjs

Definition at line 427 of file bmcMaj.c.

◆ nVars

int Exa_Man_t_::nVars

Definition at line 425 of file bmcMaj.c.

◆ nWords

int Exa_Man_t_::nWords

Definition at line 428 of file bmcMaj.c.

◆ pFile

FILE* Exa_Man_t_::pFile

Definition at line 436 of file bmcMaj.c.

◆ pPars

Bmc_EsPar_t * Exa_Man_t_::pPars

Definition at line 424 of file bmcMaj.c.

◆ pSat [1/2]

bmcg_sat_solver* Exa_Man_t_::pSat

Definition at line 435 of file bmcMaj.c.

◆ pSat [2/2]

sat_solver* Exa_Man_t_::pSat

Definition at line 530 of file bmcMaj2.c.

◆ pTruth

word * Exa_Man_t_::pTruth

Definition at line 430 of file bmcMaj.c.

◆ VarMarks

int Exa_Man_t_::VarMarks

Definition at line 432 of file bmcMaj.c.

◆ VarVals

int Exa_Man_t_::VarVals

Definition at line 433 of file bmcMaj.c.

◆ vInfo

Vec_Wrd_t * Exa_Man_t_::vInfo

Definition at line 431 of file bmcMaj.c.

◆ vOutLits

Vec_Wec_t * Exa_Man_t_::vOutLits

Definition at line 434 of file bmcMaj.c.

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