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

Detailed Description

Definition at line 3421 of file bmcMaj.c.

Member Data Documentation

◆ fVerbose

int Exa6_Man_t_::fVerbose

Definition at line 3425 of file bmcMaj.c.

◆ nCnfClauses

int Exa6_Man_t_::nCnfClauses

Definition at line 3434 of file bmcMaj.c.

◆ nCnfVars

int Exa6_Man_t_::nCnfVars

Definition at line 3432 of file bmcMaj.c.

◆ nCnfVars2

int Exa6_Man_t_::nCnfVars2

Definition at line 3433 of file bmcMaj.c.

◆ nDivs

int Exa6_Man_t_::nDivs

Definition at line 3427 of file bmcMaj.c.

◆ nIns

int Exa6_Man_t_::nIns

Definition at line 3426 of file bmcMaj.c.

◆ nNodes

int Exa6_Man_t_::nNodes

Definition at line 3428 of file bmcMaj.c.

◆ nObjs

int Exa6_Man_t_::nObjs

Definition at line 3430 of file bmcMaj.c.

◆ nOuts

int Exa6_Man_t_::nOuts

Definition at line 3429 of file bmcMaj.c.

◆ pFile

FILE* Exa6_Man_t_::pFile

Definition at line 3435 of file bmcMaj.c.

◆ VarMarks

int Exa6_Man_t_::VarMarks[MAJ_NOBJS][2][MAJ_NOBJS]

Definition at line 3431 of file bmcMaj.c.

◆ vSimsIn

Vec_Wrd_t* Exa6_Man_t_::vSimsIn

Definition at line 3423 of file bmcMaj.c.

◆ vSimsOut

Vec_Wrd_t* Exa6_Man_t_::vSimsOut

Definition at line 3424 of file bmcMaj.c.

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