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

Public Attributes

Aig_Man_t * pAig
 
int nObjs
 
Iso_Dat_t * pData
 
Vec_Int_t * vVisited
 
Vec_Ptr_t * vRoots
 
Vec_Int_t * vPlaces
 
int * pCounters
 

Detailed Description

Definition at line 51 of file saigIsoFast.c.

Member Data Documentation

◆ nObjs

int Iso_Sto_t_::nObjs

Definition at line 54 of file saigIsoFast.c.

◆ pAig

Aig_Man_t* Iso_Sto_t_::pAig

Definition at line 53 of file saigIsoFast.c.

◆ pCounters

int* Iso_Sto_t_::pCounters

Definition at line 59 of file saigIsoFast.c.

◆ pData

Iso_Dat_t* Iso_Sto_t_::pData

Definition at line 55 of file saigIsoFast.c.

◆ vPlaces

Vec_Int_t* Iso_Sto_t_::vPlaces

Definition at line 58 of file saigIsoFast.c.

◆ vRoots

Vec_Ptr_t* Iso_Sto_t_::vRoots

Definition at line 57 of file saigIsoFast.c.

◆ vVisited

Vec_Int_t* Iso_Sto_t_::vVisited

Definition at line 56 of file saigIsoFast.c.

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