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

Public Attributes

Vec_Wrd_t * vSimsIn
 
Vec_Wrd_t * vSimsOut
 
int fVerbose
 
int nIns
 
int nDivs
 
int nNodes
 
int nOuts
 
int nObjs
 
int VarMarks [MAJ_NOBJS][MAJ_NOBJS]
 
int nCnfVars
 
int nCnfClauses
 
FILE * pFile
 
Vec_Int_t * vFans
 

Detailed Description

Definition at line 2476 of file bmcMaj.c.

Member Data Documentation

◆ fVerbose

int Exa5_Man_t_::fVerbose

Definition at line 2480 of file bmcMaj.c.

◆ nCnfClauses

int Exa5_Man_t_::nCnfClauses

Definition at line 2488 of file bmcMaj.c.

◆ nCnfVars

int Exa5_Man_t_::nCnfVars

Definition at line 2487 of file bmcMaj.c.

◆ nDivs

int Exa5_Man_t_::nDivs

Definition at line 2482 of file bmcMaj.c.

◆ nIns

int Exa5_Man_t_::nIns

Definition at line 2481 of file bmcMaj.c.

◆ nNodes

int Exa5_Man_t_::nNodes

Definition at line 2483 of file bmcMaj.c.

◆ nObjs

int Exa5_Man_t_::nObjs

Definition at line 2485 of file bmcMaj.c.

◆ nOuts

int Exa5_Man_t_::nOuts

Definition at line 2484 of file bmcMaj.c.

◆ pFile

FILE* Exa5_Man_t_::pFile

Definition at line 2489 of file bmcMaj.c.

◆ VarMarks

int Exa5_Man_t_::VarMarks[MAJ_NOBJS][MAJ_NOBJS]

Definition at line 2486 of file bmcMaj.c.

◆ vFans

Vec_Int_t* Exa5_Man_t_::vFans

Definition at line 2490 of file bmcMaj.c.

◆ vSimsIn

Vec_Wrd_t* Exa5_Man_t_::vSimsIn

Definition at line 2478 of file bmcMaj.c.

◆ vSimsOut

Vec_Wrd_t* Exa5_Man_t_::vSimsOut

Definition at line 2479 of file bmcMaj.c.

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