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

Public Attributes

int nCutSize
 
int nCutNum
 
int fCutMin
 
int fTruthMin
 
int fVerbose
 
Gia_Man_t * pGia
 
Vec_Int_t * vRefs
 
Vec_Wec_t * vCuts
 
Vec_Mem_t * vTtMem
 
Sdb_Cut_t pCuts [3][SDB_MAX_CUTNUM]
 
Sdb_Cut_t * ppCuts [SDB_MAX_CUTNUM]
 
int nCutsR
 
int Pivot
 
int iCutBest
 
int nCutsOver
 
double CutCount [4]
 
abctime clkStart
 

Detailed Description

Definition at line 294 of file acec2Mult.c.

Member Data Documentation

◆ clkStart

abctime Sdb_Sto_t_::clkStart

Definition at line 312 of file acec2Mult.c.

◆ CutCount

double Sdb_Sto_t_::CutCount[4]

Definition at line 311 of file acec2Mult.c.

◆ fCutMin

int Sdb_Sto_t_::fCutMin

Definition at line 298 of file acec2Mult.c.

◆ fTruthMin

int Sdb_Sto_t_::fTruthMin

Definition at line 299 of file acec2Mult.c.

◆ fVerbose

int Sdb_Sto_t_::fVerbose

Definition at line 300 of file acec2Mult.c.

◆ iCutBest

int Sdb_Sto_t_::iCutBest

Definition at line 309 of file acec2Mult.c.

◆ nCutNum

int Sdb_Sto_t_::nCutNum

Definition at line 297 of file acec2Mult.c.

◆ nCutSize

int Sdb_Sto_t_::nCutSize

Definition at line 296 of file acec2Mult.c.

◆ nCutsOver

int Sdb_Sto_t_::nCutsOver

Definition at line 310 of file acec2Mult.c.

◆ nCutsR

int Sdb_Sto_t_::nCutsR

Definition at line 307 of file acec2Mult.c.

◆ pCuts

Sdb_Cut_t Sdb_Sto_t_::pCuts[3][SDB_MAX_CUTNUM]

Definition at line 305 of file acec2Mult.c.

◆ pGia

Gia_Man_t* Sdb_Sto_t_::pGia

Definition at line 301 of file acec2Mult.c.

◆ Pivot

int Sdb_Sto_t_::Pivot

Definition at line 308 of file acec2Mult.c.

◆ ppCuts

Sdb_Cut_t* Sdb_Sto_t_::ppCuts[SDB_MAX_CUTNUM]

Definition at line 306 of file acec2Mult.c.

◆ vCuts

Vec_Wec_t* Sdb_Sto_t_::vCuts

Definition at line 303 of file acec2Mult.c.

◆ vRefs

Vec_Int_t* Sdb_Sto_t_::vRefs

Definition at line 302 of file acec2Mult.c.

◆ vTtMem

Vec_Mem_t* Sdb_Sto_t_::vTtMem

Definition at line 304 of file acec2Mult.c.

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