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

Public Attributes

Gia_Man_t * pGia
 
int nLutSize
 
int nCutNum
 
int fCutMin
 
int fVerbose
 
Gia_Man_t * pNew
 
Vec_Int_t * vCosts
 
Vec_Ptr_t * vCutSets
 
abctime clkStart
 

Detailed Description

Definition at line 51 of file giaBalLut.c.

Member Data Documentation

◆ clkStart

abctime Bal_Man_t_::clkStart

Definition at line 61 of file giaBalLut.c.

◆ fCutMin

int Bal_Man_t_::fCutMin

Definition at line 56 of file giaBalLut.c.

◆ fVerbose

int Bal_Man_t_::fVerbose

Definition at line 57 of file giaBalLut.c.

◆ nCutNum

int Bal_Man_t_::nCutNum

Definition at line 55 of file giaBalLut.c.

◆ nLutSize

int Bal_Man_t_::nLutSize

Definition at line 54 of file giaBalLut.c.

◆ pGia

Gia_Man_t* Bal_Man_t_::pGia

Definition at line 53 of file giaBalLut.c.

◆ pNew

Gia_Man_t* Bal_Man_t_::pNew

Definition at line 58 of file giaBalLut.c.

◆ vCosts

Vec_Int_t* Bal_Man_t_::vCosts

Definition at line 59 of file giaBalLut.c.

◆ vCutSets

Vec_Ptr_t* Bal_Man_t_::vCutSets

Definition at line 60 of file giaBalLut.c.

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