Public Attributes
int	nVars

int	nNodes

int	nObjs

int	nWords

int	iVar

Vec_Wrd_t *	vInfo

Vec_Int_t *	vLevels

int	VarMarks [MAJ3_OBJS][MAJ3_OBJS]

int	ObjVals [MAJ3_OBJS]

int	pLits [2][MAJ3_OBJS]

int	nLits [3]

bmcg_sat_solver *	pSat

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:

src/sat/bmc/bmcMaj3.c

Public Attributes