ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Maj3_Man_t_ Struct Reference

Public Attributes

int nVars
 
int nNodes
 
int nObjs
 
int nWords
 
int iVar
 
Vec_Wrd_tvInfo
 
Vec_Int_tvLevels
 
int VarMarks [MAJ3_OBJS][MAJ3_OBJS]
 
int ObjVals [MAJ3_OBJS]
 
int pLits [2][MAJ3_OBJS]
 
int nLits [3]
 
bmcg_sat_solverpSat
 

Detailed Description

Definition at line 37 of file bmcMaj3.c.

Member Data Documentation

◆ iVar

int Maj3_Man_t_::iVar

Definition at line 43 of file bmcMaj3.c.

◆ nLits

int Maj3_Man_t_::nLits[3]

Definition at line 49 of file bmcMaj3.c.

◆ nNodes

int Maj3_Man_t_::nNodes

Definition at line 40 of file bmcMaj3.c.

◆ nObjs

int Maj3_Man_t_::nObjs

Definition at line 41 of file bmcMaj3.c.

◆ nVars

int Maj3_Man_t_::nVars

Definition at line 39 of file bmcMaj3.c.

◆ nWords

int Maj3_Man_t_::nWords

Definition at line 42 of file bmcMaj3.c.

◆ ObjVals

int Maj3_Man_t_::ObjVals[MAJ3_OBJS]

Definition at line 47 of file bmcMaj3.c.

◆ pLits

int Maj3_Man_t_::pLits[2][MAJ3_OBJS]

Definition at line 48 of file bmcMaj3.c.

◆ pSat

bmcg_sat_solver* Maj3_Man_t_::pSat

Definition at line 50 of file bmcMaj3.c.

◆ VarMarks

int Maj3_Man_t_::VarMarks[MAJ3_OBJS][MAJ3_OBJS]

Definition at line 46 of file bmcMaj3.c.

◆ vInfo

Vec_Wrd_t* Maj3_Man_t_::vInfo

Definition at line 44 of file bmcMaj3.c.

◆ vLevels

Vec_Int_t* Maj3_Man_t_::vLevels

Definition at line 45 of file bmcMaj3.c.


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