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

Public Attributes

int nVars
 
int nNodes
 
int nObjs
 
int nWords
 
int iVar
 
int fUseConst
 
int fUseLine
 
Vec_Wrd_t * vInfo
 
int VarMarks [MAJ_NOBJS][3][MAJ_NOBJS]
 
int VarVals [MAJ_NOBJS+2]
 
Vec_Wec_t * vOutLits
 
bmcg_sat_solver * pSat
 
int fUseRand
 
int nRands
 
int fVerbose
 
sat_solver * pSat
 

Detailed Description

Definition at line 47 of file bmcMaj.c.

Member Data Documentation

◆ fUseConst

int Maj_Man_t_::fUseConst

Definition at line 54 of file bmcMaj.c.

◆ fUseLine

int Maj_Man_t_::fUseLine

Definition at line 55 of file bmcMaj.c.

◆ fUseRand

int Maj_Man_t_::fUseRand

Definition at line 45 of file bmcMaj2.c.

◆ fVerbose

int Maj_Man_t_::fVerbose

Definition at line 47 of file bmcMaj2.c.

◆ iVar

int Maj_Man_t_::iVar

Definition at line 53 of file bmcMaj.c.

◆ nNodes

int Maj_Man_t_::nNodes

Definition at line 50 of file bmcMaj.c.

◆ nObjs

int Maj_Man_t_::nObjs

Definition at line 51 of file bmcMaj.c.

◆ nRands

int Maj_Man_t_::nRands

Definition at line 46 of file bmcMaj2.c.

◆ nVars

int Maj_Man_t_::nVars

Definition at line 49 of file bmcMaj.c.

◆ nWords

int Maj_Man_t_::nWords

Definition at line 52 of file bmcMaj.c.

◆ pSat [1/2]

bmcg_sat_solver* Maj_Man_t_::pSat

Definition at line 60 of file bmcMaj.c.

◆ pSat [2/2]

sat_solver* Maj_Man_t_::pSat

Definition at line 52 of file bmcMaj2.c.

◆ VarMarks

int Maj_Man_t_::VarMarks

Definition at line 57 of file bmcMaj.c.

◆ VarVals

int Maj_Man_t_::VarVals

Definition at line 58 of file bmcMaj.c.

◆ vInfo

Vec_Wrd_t * Maj_Man_t_::vInfo

Definition at line 56 of file bmcMaj.c.

◆ vOutLits

Vec_Wec_t * Maj_Man_t_::vOutLits

Definition at line 59 of file bmcMaj.c.

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