ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Exa4_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][2][MAJ_NOBJS]
 
int nCnfVars
 
int nCnfClauses
 
FILE * pFile
 

Detailed Description

Definition at line 1890 of file bmcMaj.c.

Member Data Documentation

◆ fVerbose

int Exa4_Man_t_::fVerbose

Definition at line 1894 of file bmcMaj.c.

◆ nCnfClauses

int Exa4_Man_t_::nCnfClauses

Definition at line 1902 of file bmcMaj.c.

◆ nCnfVars

int Exa4_Man_t_::nCnfVars

Definition at line 1901 of file bmcMaj.c.

◆ nDivs

int Exa4_Man_t_::nDivs

Definition at line 1896 of file bmcMaj.c.

◆ nIns

int Exa4_Man_t_::nIns

Definition at line 1895 of file bmcMaj.c.

◆ nNodes

int Exa4_Man_t_::nNodes

Definition at line 1897 of file bmcMaj.c.

◆ nObjs

int Exa4_Man_t_::nObjs

Definition at line 1899 of file bmcMaj.c.

◆ nOuts

int Exa4_Man_t_::nOuts

Definition at line 1898 of file bmcMaj.c.

◆ pFile

FILE* Exa4_Man_t_::pFile

Definition at line 1903 of file bmcMaj.c.

◆ VarMarks

int Exa4_Man_t_::VarMarks[MAJ_NOBJS][2][MAJ_NOBJS]

Definition at line 1900 of file bmcMaj.c.

◆ vSimsIn

Vec_Wrd_t* Exa4_Man_t_::vSimsIn

Definition at line 1892 of file bmcMaj.c.

◆ vSimsOut

Vec_Wrd_t* Exa4_Man_t_::vSimsOut

Definition at line 1893 of file bmcMaj.c.

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