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

#include <cba.h>

Collaboration diagram for Cba_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 [CBA_BOX_LAST]
 
int nObjs [CBA_BOX_LAST]
 
int nAnds [CBA_BOX_LAST]
 
int iRoot
 
Vec_Ptr_t vNtks
 
int nOpens
 
Vec_Str_t vOut
 
Vec_Str_t vOut2
 
void * pMioLib
 

Detailed Description

Definition at line 91 of file cba.h.

Member Data Documentation

◆ iRoot

int Cba_Man_t_::iRoot

Definition at line 108 of file cba.h.

◆ nAnds

int Cba_Man_t_::nAnds[CBA_BOX_LAST]

Definition at line 106 of file cba.h.

◆ nObjs

int Cba_Man_t_::nObjs[CBA_BOX_LAST]

Definition at line 105 of file cba.h.

◆ nOpens

int Cba_Man_t_::nOpens

Definition at line 111 of file cba.h.

◆ pFuns

Abc_Nam_t* Cba_Man_t_::pFuns

Definition at line 97 of file cba.h.

◆ pMioLib

void* Cba_Man_t_::pMioLib

Definition at line 114 of file cba.h.

◆ pMods

Abc_Nam_t* Cba_Man_t_::pMods

Definition at line 98 of file cba.h.

◆ pName

char* Cba_Man_t_::pName

Definition at line 94 of file cba.h.

◆ pSpec

char* Cba_Man_t_::pSpec

Definition at line 95 of file cba.h.

◆ pStrs

Abc_Nam_t* Cba_Man_t_::pStrs

Definition at line 96 of file cba.h.

◆ pTypeNames

char* Cba_Man_t_::pTypeNames[CBA_BOX_LAST]

Definition at line 104 of file cba.h.

◆ vHash

Hash_IntMan_t* Cba_Man_t_::vHash

Definition at line 99 of file cba.h.

◆ vNameMap

Vec_Int_t Cba_Man_t_::vNameMap

Definition at line 100 of file cba.h.

◆ vNameMap2

Vec_Int_t Cba_Man_t_::vNameMap2

Definition at line 101 of file cba.h.

◆ vNtks

Vec_Ptr_t Cba_Man_t_::vNtks

Definition at line 109 of file cba.h.

◆ vOut

Vec_Str_t Cba_Man_t_::vOut

Definition at line 112 of file cba.h.

◆ vOut2

Vec_Str_t Cba_Man_t_::vOut2

Definition at line 113 of file cba.h.

◆ vUsed

Vec_Int_t Cba_Man_t_::vUsed

Definition at line 102 of file cba.h.

◆ vUsed2

Vec_Int_t Cba_Man_t_::vUsed2

Definition at line 103 of file cba.h.

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