ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Acb_Man_t_ Struct Reference

#include <acb.h>

Collaboration diagram for Acb_Man_t_:
Collaboration graph
[legend]

Public Attributes

char * pName
 
char * pSpec
 
Abc_Nam_t * pStrs
 
Abc_Nam_t * pFuns
 
Abc_Nam_t * pMods
 
Hash_IntMan_t * vHash
 
Vec_Int_t vNameMap
 
Vec_Int_t vNameMap2
 
Vec_Int_t vUsed
 
Vec_Int_t vUsed2
 
char * pTypeNames [ABC_OPER_LAST]
 
int nObjs [ABC_OPER_LAST]
 
int nAnds [ABC_OPER_LAST]
 
int iRoot
 
Vec_Ptr_t vNtks
 
int nOpens
 
Vec_Str_t vOut
 
Vec_Str_t vOut2
 
void * pMioLib
 

Detailed Description

Definition at line 105 of file acb.h.

Member Data Documentation

◆ iRoot

int Acb_Man_t_::iRoot

Definition at line 121 of file acb.h.

◆ nAnds

int Acb_Man_t_::nAnds[ABC_OPER_LAST]

Definition at line 119 of file acb.h.

◆ nObjs

int Acb_Man_t_::nObjs[ABC_OPER_LAST]

Definition at line 118 of file acb.h.

◆ nOpens

int Acb_Man_t_::nOpens

Definition at line 124 of file acb.h.

◆ pFuns

Abc_Nam_t* Acb_Man_t_::pFuns

Definition at line 110 of file acb.h.

◆ pMioLib

void* Acb_Man_t_::pMioLib

Definition at line 127 of file acb.h.

◆ pMods

Abc_Nam_t* Acb_Man_t_::pMods

Definition at line 111 of file acb.h.

◆ pName

char* Acb_Man_t_::pName

Definition at line 107 of file acb.h.

◆ pSpec

char* Acb_Man_t_::pSpec

Definition at line 108 of file acb.h.

◆ pStrs

Abc_Nam_t* Acb_Man_t_::pStrs

Definition at line 109 of file acb.h.

◆ pTypeNames

char* Acb_Man_t_::pTypeNames[ABC_OPER_LAST]

Definition at line 117 of file acb.h.

◆ vHash

Hash_IntMan_t* Acb_Man_t_::vHash

Definition at line 112 of file acb.h.

◆ vNameMap

Vec_Int_t Acb_Man_t_::vNameMap

Definition at line 113 of file acb.h.

◆ vNameMap2

Vec_Int_t Acb_Man_t_::vNameMap2

Definition at line 114 of file acb.h.

◆ vNtks

Vec_Ptr_t Acb_Man_t_::vNtks

Definition at line 122 of file acb.h.

◆ vOut

Vec_Str_t Acb_Man_t_::vOut

Definition at line 125 of file acb.h.

◆ vOut2

Vec_Str_t Acb_Man_t_::vOut2

Definition at line 126 of file acb.h.

◆ vUsed

Vec_Int_t Acb_Man_t_::vUsed

Definition at line 115 of file acb.h.

◆ vUsed2

Vec_Int_t Acb_Man_t_::vUsed2

Definition at line 116 of file acb.h.

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