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

Public Attributes

int Limit
 
Aig_Man_t * pAig
 
Aig_MmFixed_t * pMem
 
Vec_Ptr_t * vDoms
 
Vec_Int_t * vFans
 
Vec_Int_t * vTimes
 
int nDomNodes
 
int nDomsTotal
 
int nDomsFilter1
 
int nDomsFilter2
 

Detailed Description

Definition at line 40 of file aigDoms.c.

Member Data Documentation

◆ Limit

int Aig_Sto_t_::Limit

Definition at line 42 of file aigDoms.c.

◆ nDomNodes

int Aig_Sto_t_::nDomNodes

Definition at line 48 of file aigDoms.c.

◆ nDomsFilter1

int Aig_Sto_t_::nDomsFilter1

Definition at line 50 of file aigDoms.c.

◆ nDomsFilter2

int Aig_Sto_t_::nDomsFilter2

Definition at line 51 of file aigDoms.c.

◆ nDomsTotal

int Aig_Sto_t_::nDomsTotal

Definition at line 49 of file aigDoms.c.

◆ pAig

Aig_Man_t* Aig_Sto_t_::pAig

Definition at line 43 of file aigDoms.c.

◆ pMem

Aig_MmFixed_t* Aig_Sto_t_::pMem

Definition at line 44 of file aigDoms.c.

◆ vDoms

Vec_Ptr_t* Aig_Sto_t_::vDoms

Definition at line 45 of file aigDoms.c.

◆ vFans

Vec_Int_t* Aig_Sto_t_::vFans

Definition at line 46 of file aigDoms.c.

◆ vTimes

Vec_Int_t* Aig_Sto_t_::vTimes

Definition at line 47 of file aigDoms.c.

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