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

#include <bac.h>

Collaboration diagram for Bac_Man_t_:
Collaboration graph
[legend]

Public Attributes

char * pName
 
char * pSpec
 
Abc_Nam_t * pStrs
 
Abc_Nam_t * pMods
 
int iRoot
 
int nNtks
 
Bac_Ntk_t * pNtks
 
Vec_Str_t * vOut
 
Vec_Str_t * vOut2
 
Vec_Int_t vBuf2RootNtk
 
Vec_Int_t vBuf2RootObj
 
Vec_Int_t vBuf2LeafNtk
 
Vec_Int_t vBuf2LeafObj
 
void * pMioLib
 
void ** ppGraphs
 
int ElemGates [4]
 
char * pPrimNames [BAC_BOX_UNKNOWN]
 
char * pPrimSymbs [BAC_BOX_UNKNOWN]
 

Detailed Description

Definition at line 171 of file bac.h.

Member Data Documentation

◆ ElemGates

int Bac_Man_t_::ElemGates[4]

Definition at line 191 of file bac.h.

◆ iRoot

int Bac_Man_t_::iRoot

Definition at line 179 of file bac.h.

◆ nNtks

int Bac_Man_t_::nNtks

Definition at line 180 of file bac.h.

◆ pMioLib

void* Bac_Man_t_::pMioLib

Definition at line 189 of file bac.h.

◆ pMods

Abc_Nam_t* Bac_Man_t_::pMods

Definition at line 177 of file bac.h.

◆ pName

char* Bac_Man_t_::pName

Definition at line 174 of file bac.h.

◆ pNtks

Bac_Ntk_t* Bac_Man_t_::pNtks

Definition at line 181 of file bac.h.

◆ ppGraphs

void** Bac_Man_t_::ppGraphs

Definition at line 190 of file bac.h.

◆ pPrimNames

char* Bac_Man_t_::pPrimNames[BAC_BOX_UNKNOWN]

Definition at line 192 of file bac.h.

◆ pPrimSymbs

char* Bac_Man_t_::pPrimSymbs[BAC_BOX_UNKNOWN]

Definition at line 193 of file bac.h.

◆ pSpec

char* Bac_Man_t_::pSpec

Definition at line 175 of file bac.h.

◆ pStrs

Abc_Nam_t* Bac_Man_t_::pStrs

Definition at line 176 of file bac.h.

◆ vBuf2LeafNtk

Vec_Int_t Bac_Man_t_::vBuf2LeafNtk

Definition at line 187 of file bac.h.

◆ vBuf2LeafObj

Vec_Int_t Bac_Man_t_::vBuf2LeafObj

Definition at line 188 of file bac.h.

◆ vBuf2RootNtk

Vec_Int_t Bac_Man_t_::vBuf2RootNtk

Definition at line 185 of file bac.h.

◆ vBuf2RootObj

Vec_Int_t Bac_Man_t_::vBuf2RootObj

Definition at line 186 of file bac.h.

◆ vOut

Vec_Str_t* Bac_Man_t_::vOut

Definition at line 183 of file bac.h.

◆ vOut2

Vec_Str_t* Bac_Man_t_::vOut2

Definition at line 184 of file bac.h.

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