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

Public Attributes

Acb_Ntk_t * pNtk
 
Acb_Par_t * pPars
 
sat_solver * pSat [3]
 
Vec_Int_t * vSupp
 
Vec_Int_t * vFlip
 
Vec_Int_t * vValues
 
int nNodes
 
int nWins
 
int nWinsAll
 
int nDivsAll
 
int nChanges [8]
 
int nOvers
 
int nTwoNodes
 
abctime timeTotal
 
abctime timeCnf
 
abctime timeSol
 
abctime timeWin
 
abctime timeSat
 
abctime timeSatU
 
abctime timeSatS
 

Detailed Description

Definition at line 1155 of file acbMfs.c.

Member Data Documentation

◆ nChanges

int Acb_Mfs_t_::nChanges[8]

Definition at line 1167 of file acbMfs.c.

◆ nDivsAll

int Acb_Mfs_t_::nDivsAll

Definition at line 1166 of file acbMfs.c.

◆ nNodes

int Acb_Mfs_t_::nNodes

Definition at line 1163 of file acbMfs.c.

◆ nOvers

int Acb_Mfs_t_::nOvers

Definition at line 1168 of file acbMfs.c.

◆ nTwoNodes

int Acb_Mfs_t_::nTwoNodes

Definition at line 1169 of file acbMfs.c.

◆ nWins

int Acb_Mfs_t_::nWins

Definition at line 1164 of file acbMfs.c.

◆ nWinsAll

int Acb_Mfs_t_::nWinsAll

Definition at line 1165 of file acbMfs.c.

◆ pNtk

Acb_Ntk_t* Acb_Mfs_t_::pNtk

Definition at line 1157 of file acbMfs.c.

◆ pPars

Acb_Par_t* Acb_Mfs_t_::pPars

Definition at line 1158 of file acbMfs.c.

◆ pSat

sat_solver* Acb_Mfs_t_::pSat[3]

Definition at line 1159 of file acbMfs.c.

◆ timeCnf

abctime Acb_Mfs_t_::timeCnf

Definition at line 1171 of file acbMfs.c.

◆ timeSat

abctime Acb_Mfs_t_::timeSat

Definition at line 1174 of file acbMfs.c.

◆ timeSatS

abctime Acb_Mfs_t_::timeSatS

Definition at line 1176 of file acbMfs.c.

◆ timeSatU

abctime Acb_Mfs_t_::timeSatU

Definition at line 1175 of file acbMfs.c.

◆ timeSol

abctime Acb_Mfs_t_::timeSol

Definition at line 1172 of file acbMfs.c.

◆ timeTotal

abctime Acb_Mfs_t_::timeTotal

Definition at line 1170 of file acbMfs.c.

◆ timeWin

abctime Acb_Mfs_t_::timeWin

Definition at line 1173 of file acbMfs.c.

◆ vFlip

Vec_Int_t* Acb_Mfs_t_::vFlip

Definition at line 1161 of file acbMfs.c.

◆ vSupp

Vec_Int_t* Acb_Mfs_t_::vSupp

Definition at line 1160 of file acbMfs.c.

◆ vValues

Vec_Int_t* Acb_Mfs_t_::vValues

Definition at line 1162 of file acbMfs.c.

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