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

#include <acb.h>

Collaboration diagram for Acb_Ntk_t_:
Collaboration graph
[legend]

Public Attributes

Acb_Man_t * pDesign
 
int Id
 
int NameId
 
int iCopy
 
unsigned Mark: 1
 
unsigned fComb: 1
 
unsigned fSeq: 1
 
Vec_Int_t vCis
 
Vec_Int_t vCos
 
Vec_Int_t vOrder
 
Vec_Int_t vSeq
 
int nRegs
 
int nFaninMax
 
int nObjTravs
 
int LevelMax
 
int nPaths
 
Vec_Str_t vObjType
 
Vec_Int_t vObjFans
 
Vec_Int_t vFanSto
 
Vec_Int_t vObjCopy
 
Vec_Int_t vObjFunc
 
Vec_Int_t vObjWeight
 
Vec_Wrd_t vObjTruth
 
Vec_Int_t vObjName
 
Vec_Int_t vObjRange
 
Vec_Int_t vObjTrav
 
Vec_Int_t vObjBits
 
Vec_Int_t vObjAttr
 
Vec_Int_t vAttrSto
 
Vec_Int_t vNtkObjs
 
Vec_Int_t vTargets
 
Vec_Int_t vLevelD
 
Vec_Int_t vLevelR
 
Vec_Int_t vPathD
 
Vec_Int_t vPathR
 
Vec_Flt_t vCounts
 
Vec_Wec_t vFanouts
 
Vec_Wec_t vCnfs
 
Vec_Str_t vCnf
 
Vec_Int_t vSuppOld
 
Vec_Que_t * vQue
 
Vec_Int_t vCover
 
Vec_Int_t vArray0
 
Vec_Int_t vArray1
 
Vec_Int_t vArray2
 

Detailed Description

Definition at line 51 of file acb.h.

Member Data Documentation

◆ fComb

unsigned Acb_Ntk_t_::fComb

Definition at line 58 of file acb.h.

◆ fSeq

unsigned Acb_Ntk_t_::fSeq

Definition at line 59 of file acb.h.

◆ iCopy

int Acb_Ntk_t_::iCopy

Definition at line 56 of file acb.h.

◆ Id

int Acb_Ntk_t_::Id

Definition at line 54 of file acb.h.

◆ LevelMax

int Acb_Ntk_t_::LevelMax

Definition at line 68 of file acb.h.

◆ Mark

unsigned Acb_Ntk_t_::Mark

Definition at line 57 of file acb.h.

◆ NameId

int Acb_Ntk_t_::NameId

Definition at line 55 of file acb.h.

◆ nFaninMax

int Acb_Ntk_t_::nFaninMax

Definition at line 66 of file acb.h.

◆ nObjTravs

int Acb_Ntk_t_::nObjTravs

Definition at line 67 of file acb.h.

◆ nPaths

int Acb_Ntk_t_::nPaths

Definition at line 69 of file acb.h.

◆ nRegs

int Acb_Ntk_t_::nRegs

Definition at line 65 of file acb.h.

◆ pDesign

Acb_Man_t* Acb_Ntk_t_::pDesign

Definition at line 53 of file acb.h.

◆ vArray0

Vec_Int_t Acb_Ntk_t_::vArray0

Definition at line 99 of file acb.h.

◆ vArray1

Vec_Int_t Acb_Ntk_t_::vArray1

Definition at line 100 of file acb.h.

◆ vArray2

Vec_Int_t Acb_Ntk_t_::vArray2

Definition at line 101 of file acb.h.

◆ vAttrSto

Vec_Int_t Acb_Ntk_t_::vAttrSto

Definition at line 84 of file acb.h.

◆ vCis

Vec_Int_t Acb_Ntk_t_::vCis

Definition at line 61 of file acb.h.

◆ vCnf

Vec_Str_t Acb_Ntk_t_::vCnf

Definition at line 94 of file acb.h.

◆ vCnfs

Vec_Wec_t Acb_Ntk_t_::vCnfs

Definition at line 93 of file acb.h.

◆ vCos

Vec_Int_t Acb_Ntk_t_::vCos

Definition at line 62 of file acb.h.

◆ vCounts

Vec_Flt_t Acb_Ntk_t_::vCounts

Definition at line 91 of file acb.h.

◆ vCover

Vec_Int_t Acb_Ntk_t_::vCover

Definition at line 98 of file acb.h.

◆ vFanouts

Vec_Wec_t Acb_Ntk_t_::vFanouts

Definition at line 92 of file acb.h.

◆ vFanSto

Vec_Int_t Acb_Ntk_t_::vFanSto

Definition at line 73 of file acb.h.

◆ vLevelD

Vec_Int_t Acb_Ntk_t_::vLevelD

Definition at line 87 of file acb.h.

◆ vLevelR

Vec_Int_t Acb_Ntk_t_::vLevelR

Definition at line 88 of file acb.h.

◆ vNtkObjs

Vec_Int_t Acb_Ntk_t_::vNtkObjs

Definition at line 85 of file acb.h.

◆ vObjAttr

Vec_Int_t Acb_Ntk_t_::vObjAttr

Definition at line 83 of file acb.h.

◆ vObjBits

Vec_Int_t Acb_Ntk_t_::vObjBits

Definition at line 82 of file acb.h.

◆ vObjCopy

Vec_Int_t Acb_Ntk_t_::vObjCopy

Definition at line 75 of file acb.h.

◆ vObjFans

Vec_Int_t Acb_Ntk_t_::vObjFans

Definition at line 72 of file acb.h.

◆ vObjFunc

Vec_Int_t Acb_Ntk_t_::vObjFunc

Definition at line 76 of file acb.h.

◆ vObjName

Vec_Int_t Acb_Ntk_t_::vObjName

Definition at line 79 of file acb.h.

◆ vObjRange

Vec_Int_t Acb_Ntk_t_::vObjRange

Definition at line 80 of file acb.h.

◆ vObjTrav

Vec_Int_t Acb_Ntk_t_::vObjTrav

Definition at line 81 of file acb.h.

◆ vObjTruth

Vec_Wrd_t Acb_Ntk_t_::vObjTruth

Definition at line 78 of file acb.h.

◆ vObjType

Vec_Str_t Acb_Ntk_t_::vObjType

Definition at line 71 of file acb.h.

◆ vObjWeight

Vec_Int_t Acb_Ntk_t_::vObjWeight

Definition at line 77 of file acb.h.

◆ vOrder

Vec_Int_t Acb_Ntk_t_::vOrder

Definition at line 63 of file acb.h.

◆ vPathD

Vec_Int_t Acb_Ntk_t_::vPathD

Definition at line 89 of file acb.h.

◆ vPathR

Vec_Int_t Acb_Ntk_t_::vPathR

Definition at line 90 of file acb.h.

◆ vQue

Vec_Que_t* Acb_Ntk_t_::vQue

Definition at line 97 of file acb.h.

◆ vSeq

Vec_Int_t Acb_Ntk_t_::vSeq

Definition at line 64 of file acb.h.

◆ vSuppOld

Vec_Int_t Acb_Ntk_t_::vSuppOld

Definition at line 95 of file acb.h.

◆ vTargets

Vec_Int_t Acb_Ntk_t_::vTargets

Definition at line 86 of file acb.h.

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