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

Public Attributes

Vec_Ptr_t * vObjs
 
Vec_Ptr_t * vPis
 
Vec_Ptr_t * vPos
 
Aig_MmFlex_t * pMem
 
unsigned * pExtra
 
int nExtraCur
 
int nExtraAlloc
 

Detailed Description

Definition at line 39 of file aigRet.c.

Member Data Documentation

◆ nExtraAlloc

int Rtm_Man_t_::nExtraAlloc

Definition at line 50 of file aigRet.c.

◆ nExtraCur

int Rtm_Man_t_::nExtraCur

Definition at line 49 of file aigRet.c.

◆ pExtra

unsigned* Rtm_Man_t_::pExtra

Definition at line 48 of file aigRet.c.

◆ pMem

Aig_MmFlex_t* Rtm_Man_t_::pMem

Definition at line 45 of file aigRet.c.

◆ vObjs

Vec_Ptr_t* Rtm_Man_t_::vObjs

Definition at line 42 of file aigRet.c.

◆ vPis

Vec_Ptr_t* Rtm_Man_t_::vPis

Definition at line 43 of file aigRet.c.

◆ vPos

Vec_Ptr_t* Rtm_Man_t_::vPos

Definition at line 44 of file aigRet.c.

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