#include <wln.h>

Collaboration diagram for Wln_Ntk_t_:

[legend]

Public Attributes
char *	pName

char *	pSpec

int	fSmtLib

Vec_Int_t	vCis

Vec_Int_t	vCos

Vec_Int_t	vFfs

Vec_Int_t	vTypes

Wln_Vec_t *	vFanins

Vec_Int_t	vRanges

Hash_IntMan_t *	pRanges

Vec_Int_t	vNameIds

Vec_Int_t	vInstIds

Abc_Nam_t *	pManName

Vec_Str_t	vSigns

int	nTravIds

Vec_Int_t	vTravIds

Vec_Int_t	vCopies

Vec_Int_t	vBits

Vec_Int_t	vLevels

Vec_Int_t	vRefs

Vec_Int_t	vFanout

Vec_Int_t	vFaninAttrs

Vec_Int_t	vFaninLists

Vec_Ptr_t *	vTables

int	nObjs [ABC_OPER_LAST]

int	nAnds [ABC_OPER_LAST]

Detailed Description

Definition at line 56 of file wln.h.

Member Data Documentation

◆ fSmtLib

int Wln_Ntk_t_::fSmtLib

Definition at line 60 of file wln.h.

◆ nAnds

int Wln_Ntk_t_::nAnds[ABC_OPER_LAST]

Definition at line 83 of file wln.h.

◆ nObjs

int Wln_Ntk_t_::nObjs[ABC_OPER_LAST]

Definition at line 82 of file wln.h.

◆ nTravIds

int Wln_Ntk_t_::nTravIds

Definition at line 72 of file wln.h.

◆ pManName

Abc_Nam_t* Wln_Ntk_t_::pManName

Definition at line 70 of file wln.h.

◆ pName

char* Wln_Ntk_t_::pName

Definition at line 58 of file wln.h.

◆ pRanges

Hash_IntMan_t* Wln_Ntk_t_::pRanges

Definition at line 67 of file wln.h.

◆ pSpec

char* Wln_Ntk_t_::pSpec

Definition at line 59 of file wln.h.

◆ vBits

Vec_Int_t Wln_Ntk_t_::vBits

Definition at line 75 of file wln.h.

◆ vCis

Vec_Int_t Wln_Ntk_t_::vCis

Definition at line 61 of file wln.h.

◆ vCopies

Vec_Int_t Wln_Ntk_t_::vCopies

Definition at line 74 of file wln.h.

◆ vCos

Vec_Int_t Wln_Ntk_t_::vCos

Definition at line 62 of file wln.h.

◆ vFaninAttrs

Vec_Int_t Wln_Ntk_t_::vFaninAttrs

Definition at line 79 of file wln.h.

◆ vFaninLists

Vec_Int_t Wln_Ntk_t_::vFaninLists

Definition at line 80 of file wln.h.

◆ vFanins

Wln_Vec_t* Wln_Ntk_t_::vFanins

Definition at line 65 of file wln.h.

◆ vFanout

Vec_Int_t Wln_Ntk_t_::vFanout

Definition at line 78 of file wln.h.

◆ vFfs

Vec_Int_t Wln_Ntk_t_::vFfs

Definition at line 63 of file wln.h.

◆ vInstIds

Vec_Int_t Wln_Ntk_t_::vInstIds

Definition at line 69 of file wln.h.

◆ vLevels

Vec_Int_t Wln_Ntk_t_::vLevels

Definition at line 76 of file wln.h.

◆ vNameIds

Vec_Int_t Wln_Ntk_t_::vNameIds

Definition at line 68 of file wln.h.

◆ vRanges

Vec_Int_t Wln_Ntk_t_::vRanges

Definition at line 66 of file wln.h.

◆ vRefs

Vec_Int_t Wln_Ntk_t_::vRefs

Definition at line 77 of file wln.h.

◆ vSigns

Vec_Str_t Wln_Ntk_t_::vSigns

Definition at line 71 of file wln.h.

◆ vTables

Vec_Ptr_t* Wln_Ntk_t_::vTables

Definition at line 81 of file wln.h.

◆ vTravIds

Vec_Int_t Wln_Ntk_t_::vTravIds

Definition at line 73 of file wln.h.

◆ vTypes

Vec_Int_t Wln_Ntk_t_::vTypes

Definition at line 64 of file wln.h.

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

src/base/wln/wln.h

Public Attributes