ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Mfs_Man_t_ Struct Reference

#include <mfsInt.h>

Collaboration diagram for Mfs_Man_t_:
Collaboration graph
[legend]

Public Attributes

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.

Member Data Documentation

◆ dTotalRatios

double Mfs_Man_t_::dTotalRatios

Definition at line 118 of file mfsInt.h.

◆ nCares

int Mfs_Man_t_::nCares

Definition at line 101 of file mfsInt.h.

◆ nCexes

int Mfs_Man_t_::nCexes

Definition at line 69 of file mfsInt.h.

◆ nDcMints

int Mfs_Man_t_::nDcMints

Definition at line 116 of file mfsInt.h.

◆ nDivWords

int Mfs_Man_t_::nDivWords

Definition at line 68 of file mfsInt.h.

◆ nFaninMax

int Mfs_Man_t_::nFaninMax

Definition at line 57 of file mfsInt.h.

◆ nFanins

int Mfs_Man_t_::nFanins

Definition at line 99 of file mfsInt.h.

◆ nMaxDivs

int Mfs_Man_t_::nMaxDivs

Definition at line 117 of file mfsInt.h.

◆ nMintsCare

int Mfs_Man_t_::nMintsCare

Definition at line 110 of file mfsInt.h.

◆ nMintsTotal

int Mfs_Man_t_::nMintsTotal

Definition at line 111 of file mfsInt.h.

◆ nNodesBad

int Mfs_Man_t_::nNodesBad

Definition at line 112 of file mfsInt.h.

◆ nNodesDec

int Mfs_Man_t_::nNodesDec

Definition at line 83 of file mfsInt.h.

◆ nNodesGained

int Mfs_Man_t_::nNodesGained

Definition at line 84 of file mfsInt.h.

◆ nNodesGainedLevel

int Mfs_Man_t_::nNodesGainedLevel

Definition at line 85 of file mfsInt.h.

◆ nNodesResub

int Mfs_Man_t_::nNodesResub

Definition at line 109 of file mfsInt.h.

◆ nNodesTried

int Mfs_Man_t_::nNodesTried

Definition at line 108 of file mfsInt.h.

◆ nRemoves

int Mfs_Man_t_::nRemoves

Definition at line 106 of file mfsInt.h.

◆ nResubs

int Mfs_Man_t_::nResubs

Definition at line 107 of file mfsInt.h.

◆ nSatCalls

int Mfs_Man_t_::nSatCalls

Definition at line 70 of file mfsInt.h.

◆ nSatCexes

int Mfs_Man_t_::nSatCexes

Definition at line 71 of file mfsInt.h.

◆ nTimeOuts

int Mfs_Man_t_::nTimeOuts

Definition at line 114 of file mfsInt.h.

◆ nTimeOutsLevel

int Mfs_Man_t_::nTimeOutsLevel

Definition at line 115 of file mfsInt.h.

◆ nTotalDivs

int Mfs_Man_t_::nTotalDivs

Definition at line 113 of file mfsInt.h.

◆ nTotalEdgesBeg

int Mfs_Man_t_::nTotalEdgesBeg

Definition at line 122 of file mfsInt.h.

◆ nTotalEdgesEnd

int Mfs_Man_t_::nTotalEdgesEnd

Definition at line 123 of file mfsInt.h.

◆ nTotalNodesBeg

int Mfs_Man_t_::nTotalNodesBeg

Definition at line 120 of file mfsInt.h.

◆ nTotalNodesEnd

int Mfs_Man_t_::nTotalNodesEnd

Definition at line 121 of file mfsInt.h.

◆ nTotConfLevel

int Mfs_Man_t_::nTotConfLevel

Definition at line 95 of file mfsInt.h.

◆ nTotConfLim

int Mfs_Man_t_::nTotConfLim

Definition at line 94 of file mfsInt.h.

◆ nTryRemoves

int Mfs_Man_t_::nTryRemoves

Definition at line 104 of file mfsInt.h.

◆ nTryResubs

int Mfs_Man_t_::nTryResubs

Definition at line 105 of file mfsInt.h.

◆ nWords

int Mfs_Man_t_::nWords

Definition at line 100 of file mfsInt.h.

◆ pAigWin

Aig_Man_t* Mfs_Man_t_::pAigWin

Definition at line 87 of file mfsInt.h.

◆ pCare

Aig_Man_t* Mfs_Man_t_::pCare

Definition at line 55 of file mfsInt.h.

◆ pCnf

Cnf_Dat_t* Mfs_Man_t_::pCnf

Definition at line 88 of file mfsInt.h.

◆ pMan

Int_Man_t* Mfs_Man_t_::pMan

Definition at line 90 of file mfsInt.h.

◆ pManDec

Bdc_Man_t* Mfs_Man_t_::pManDec

Definition at line 82 of file mfsInt.h.

◆ pNtk

Abc_Ntk_t* Mfs_Man_t_::pNtk

Definition at line 54 of file mfsInt.h.

◆ pPars

Mfs_Par_t* Mfs_Man_t_::pPars

Definition at line 53 of file mfsInt.h.

◆ pSat

sat_solver* Mfs_Man_t_::pSat

Definition at line 89 of file mfsInt.h.

◆ timeAig

abctime Mfs_Man_t_::timeAig

Definition at line 129 of file mfsInt.h.

◆ timeCnf

abctime Mfs_Man_t_::timeCnf

Definition at line 131 of file mfsInt.h.

◆ timeDiv

abctime Mfs_Man_t_::timeDiv

Definition at line 128 of file mfsInt.h.

◆ timeGia

abctime Mfs_Man_t_::timeGia

Definition at line 130 of file mfsInt.h.

◆ timeInt

abctime Mfs_Man_t_::timeInt

Definition at line 133 of file mfsInt.h.

◆ timeSat

abctime Mfs_Man_t_::timeSat

Definition at line 132 of file mfsInt.h.

◆ timeTotal

abctime Mfs_Man_t_::timeTotal

Definition at line 134 of file mfsInt.h.

◆ timeWin

abctime Mfs_Man_t_::timeWin

Definition at line 127 of file mfsInt.h.

◆ TotalSwitchingBeg

float Mfs_Man_t_::TotalSwitchingBeg

Definition at line 124 of file mfsInt.h.

◆ TotalSwitchingEnd

float Mfs_Man_t_::TotalSwitchingEnd

Definition at line 125 of file mfsInt.h.

◆ uCare

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

Definition at line 102 of file mfsInt.h.

◆ vDivCexes

Vec_Ptr_t* Mfs_Man_t_::vDivCexes

Definition at line 67 of file mfsInt.h.

◆ vDivLits

Vec_Int_t* Mfs_Man_t_::vDivLits

Definition at line 63 of file mfsInt.h.

◆ vDivs

Vec_Ptr_t* Mfs_Man_t_::vDivs

Definition at line 62 of file mfsInt.h.

◆ vLevels

Vec_Vec_t* Mfs_Man_t_::vLevels

Definition at line 92 of file mfsInt.h.

◆ vMem

Vec_Int_t* Mfs_Man_t_::vMem

Definition at line 91 of file mfsInt.h.

◆ vMfsFanins

Vec_Ptr_t* Mfs_Man_t_::vMfsFanins

Definition at line 93 of file mfsInt.h.

◆ vNodes

Vec_Ptr_t* Mfs_Man_t_::vNodes

Definition at line 61 of file mfsInt.h.

◆ vProbs

Vec_Int_t* Mfs_Man_t_::vProbs

Definition at line 97 of file mfsInt.h.

◆ vProjVarsCnf

Vec_Int_t* Mfs_Man_t_::vProjVarsCnf

Definition at line 64 of file mfsInt.h.

◆ vProjVarsSat

Vec_Int_t* Mfs_Man_t_::vProjVarsSat

Definition at line 65 of file mfsInt.h.

◆ vRoots

Vec_Ptr_t* Mfs_Man_t_::vRoots

Definition at line 59 of file mfsInt.h.

◆ vSupp

Vec_Ptr_t* Mfs_Man_t_::vSupp

Definition at line 60 of file mfsInt.h.

◆ vSuppsInv

Vec_Ptr_t* Mfs_Man_t_::vSuppsInv

Definition at line 56 of file mfsInt.h.

◆ vTruth

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: