Mfs_Man_t_ Struct Reference

#include <mfsInt.h>

Data Fields
Mfs_Par_t *	pPars
Abc_Ntk_t *	pNtk
Aig_Man_t *	pCare
Vec_Ptr_t *	vSuppsInv
int	nFaninMax
Vec_Ptr_t *	vRoots
Vec_Ptr_t *	vSupp
Vec_Ptr_t *	vNodes
Vec_Ptr_t *	vDivs
Vec_Int_t *	vDivLits
Vec_Int_t *	vProjVarsCnf
Vec_Int_t *	vProjVarsSat
Vec_Ptr_t *	vDivCexes
int	nDivWords
int	nCexes
int	nSatCalls
int	nSatCexes
Vec_Int_t *	vTruth
Bdc_Man_t *	pManDec
int	nNodesDec
int	nNodesGained
int	nNodesGainedLevel
Aig_Man_t *	pAigWin
Cnf_Dat_t *	pCnf
sat_solver *	pSat
Int_Man_t *	pMan
Vec_Int_t *	vMem
Vec_Vec_t *	vLevels
Vec_Ptr_t *	vMfsFanins
int	nTotConfLim
int	nTotConfLevel
Vec_Int_t *	vProbs
int	nFanins
int	nWords
int	nCares
unsigned	uCare [(MFS_FANIN_MAX<=5)?1:1<<(MFS_FANIN_MAX-5)]
int	nTryRemoves
int	nTryResubs
int	nRemoves
int	nResubs
int	nNodesTried
int	nNodesResub
int	nMintsCare
int	nMintsTotal
int	nNodesBad
int	nTotalDivs
int	nTimeOuts
int	nTimeOutsLevel
int	nDcMints
int	nMaxDivs
double	dTotalRatios
int	nTotalNodesBeg
int	nTotalNodesEnd
int	nTotalEdgesBeg
int	nTotalEdgesEnd
float	TotalSwitchingBeg
float	TotalSwitchingEnd
abctime	timeWin
abctime	timeDiv
abctime	timeAig
abctime	timeGia
abctime	timeCnf
abctime	timeSat
abctime	timeInt
abctime	timeTotal

Detailed Description

Definition at line 50 of file mfsInt.h.

Field Documentation

double Mfs_Man_t_::dTotalRatios

Definition at line 118 of file mfsInt.h.

int Mfs_Man_t_::nCares

Definition at line 101 of file mfsInt.h.

int Mfs_Man_t_::nCexes

Definition at line 69 of file mfsInt.h.

int Mfs_Man_t_::nDcMints

Definition at line 116 of file mfsInt.h.

int Mfs_Man_t_::nDivWords

Definition at line 68 of file mfsInt.h.

int Mfs_Man_t_::nFaninMax

Definition at line 57 of file mfsInt.h.

int Mfs_Man_t_::nFanins

Definition at line 99 of file mfsInt.h.

int Mfs_Man_t_::nMaxDivs

Definition at line 117 of file mfsInt.h.

int Mfs_Man_t_::nMintsCare

Definition at line 110 of file mfsInt.h.

int Mfs_Man_t_::nMintsTotal

Definition at line 111 of file mfsInt.h.

int Mfs_Man_t_::nNodesBad

Definition at line 112 of file mfsInt.h.

int Mfs_Man_t_::nNodesDec

Definition at line 83 of file mfsInt.h.

int Mfs_Man_t_::nNodesGained

Definition at line 84 of file mfsInt.h.

int Mfs_Man_t_::nNodesGainedLevel

Definition at line 85 of file mfsInt.h.

int Mfs_Man_t_::nNodesResub

Definition at line 109 of file mfsInt.h.

int Mfs_Man_t_::nNodesTried

Definition at line 108 of file mfsInt.h.

int Mfs_Man_t_::nRemoves

Definition at line 106 of file mfsInt.h.

int Mfs_Man_t_::nResubs

Definition at line 107 of file mfsInt.h.

int Mfs_Man_t_::nSatCalls

Definition at line 70 of file mfsInt.h.

int Mfs_Man_t_::nSatCexes

Definition at line 71 of file mfsInt.h.

int Mfs_Man_t_::nTimeOuts

Definition at line 114 of file mfsInt.h.

int Mfs_Man_t_::nTimeOutsLevel

Definition at line 115 of file mfsInt.h.

int Mfs_Man_t_::nTotalDivs

Definition at line 113 of file mfsInt.h.

int Mfs_Man_t_::nTotalEdgesBeg

Definition at line 122 of file mfsInt.h.

int Mfs_Man_t_::nTotalEdgesEnd

Definition at line 123 of file mfsInt.h.

int Mfs_Man_t_::nTotalNodesBeg

Definition at line 120 of file mfsInt.h.

int Mfs_Man_t_::nTotalNodesEnd

Definition at line 121 of file mfsInt.h.

int Mfs_Man_t_::nTotConfLevel

Definition at line 95 of file mfsInt.h.

int Mfs_Man_t_::nTotConfLim

Definition at line 94 of file mfsInt.h.

int Mfs_Man_t_::nTryRemoves

Definition at line 104 of file mfsInt.h.

int Mfs_Man_t_::nTryResubs

Definition at line 105 of file mfsInt.h.

int Mfs_Man_t_::nWords

Definition at line 100 of file mfsInt.h.

Aig_Man_t* Mfs_Man_t_::pAigWin

Definition at line 87 of file mfsInt.h.

Aig_Man_t* Mfs_Man_t_::pCare

Definition at line 55 of file mfsInt.h.

Cnf_Dat_t* Mfs_Man_t_::pCnf

Definition at line 88 of file mfsInt.h.

Int_Man_t* Mfs_Man_t_::pMan

Definition at line 90 of file mfsInt.h.

Bdc_Man_t* Mfs_Man_t_::pManDec

Definition at line 82 of file mfsInt.h.

Abc_Ntk_t* Mfs_Man_t_::pNtk

Definition at line 54 of file mfsInt.h.

Mfs_Par_t* Mfs_Man_t_::pPars

Definition at line 53 of file mfsInt.h.

sat_solver* Mfs_Man_t_::pSat

Definition at line 89 of file mfsInt.h.

abctime Mfs_Man_t_::timeAig

Definition at line 129 of file mfsInt.h.

abctime Mfs_Man_t_::timeCnf

Definition at line 131 of file mfsInt.h.

abctime Mfs_Man_t_::timeDiv

Definition at line 128 of file mfsInt.h.

abctime Mfs_Man_t_::timeGia

Definition at line 130 of file mfsInt.h.

abctime Mfs_Man_t_::timeInt

Definition at line 133 of file mfsInt.h.

abctime Mfs_Man_t_::timeSat

Definition at line 132 of file mfsInt.h.

abctime Mfs_Man_t_::timeTotal

Definition at line 134 of file mfsInt.h.

abctime Mfs_Man_t_::timeWin

Definition at line 127 of file mfsInt.h.

float Mfs_Man_t_::TotalSwitchingBeg

Definition at line 124 of file mfsInt.h.

float Mfs_Man_t_::TotalSwitchingEnd

Definition at line 125 of file mfsInt.h.

unsigned Mfs_Man_t_::uCare[(MFS_FANIN_MAX<=5)?1:1<<(MFS_FANIN_MAX-5)]

Definition at line 102 of file mfsInt.h.

Vec_Ptr_t* Mfs_Man_t_::vDivCexes

Definition at line 67 of file mfsInt.h.

Vec_Int_t* Mfs_Man_t_::vDivLits

Definition at line 63 of file mfsInt.h.

Vec_Ptr_t* Mfs_Man_t_::vDivs

Definition at line 62 of file mfsInt.h.

Vec_Vec_t* Mfs_Man_t_::vLevels

Definition at line 92 of file mfsInt.h.

Vec_Int_t* Mfs_Man_t_::vMem

Definition at line 91 of file mfsInt.h.

Vec_Ptr_t* Mfs_Man_t_::vMfsFanins

Definition at line 93 of file mfsInt.h.

Vec_Ptr_t* Mfs_Man_t_::vNodes

Definition at line 61 of file mfsInt.h.

Vec_Int_t* Mfs_Man_t_::vProbs

Definition at line 97 of file mfsInt.h.

Vec_Int_t* Mfs_Man_t_::vProjVarsCnf

Definition at line 64 of file mfsInt.h.

Vec_Int_t* Mfs_Man_t_::vProjVarsSat

Definition at line 65 of file mfsInt.h.

Vec_Ptr_t* Mfs_Man_t_::vRoots

Definition at line 59 of file mfsInt.h.

Vec_Ptr_t* Mfs_Man_t_::vSupp

Definition at line 60 of file mfsInt.h.

Vec_Ptr_t* Mfs_Man_t_::vSuppsInv

Definition at line 56 of file mfsInt.h.

Vec_Int_t* Mfs_Man_t_::vTruth

Definition at line 81 of file mfsInt.h.

---

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

• mfsInt.h