#include <wlc.h>

Collaboration diagram for Wlc_Ntk_t_:

[legend]

Public Attributes
char *	pName

char *	pSpec

Vec_Int_t	vPis

Vec_Int_t	vPos

Vec_Int_t	vCis

Vec_Int_t	vCos

Vec_Int_t	vFfs

Vec_Int_t	vFfs2

Vec_Int_t *	vArsts

Vec_Int_t *	vInits

char *	pInits

int	nObjs [WLC_OBJ_NUMBER]

int	nAnds [WLC_OBJ_NUMBER]

int	fSmtLib

int	fAsyncRst

int	fMemPorts

int	fEasyFfs

int	nAssert

Wlc_Obj_t *	pObjs

int	iObj

int	nObjsAlloc

Mem_Flex_t *	pMemFanin

Mem_Flex_t *	pMemTable

Vec_Ptr_t *	vTables

Vec_Wrd_t *	vLutTruths

Abc_Nam_t *	pManName

Vec_Int_t	vNameIds

Vec_Int_t	vValues

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	vPoPairs

Detailed Description

Definition at line 136 of file wlc.h.

Member Data Documentation

◆ fAsyncRst

int Wlc_Ntk_t_::fAsyncRst

Definition at line 152 of file wlc.h.

◆ fEasyFfs

int Wlc_Ntk_t_::fEasyFfs

Definition at line 154 of file wlc.h.

◆ fMemPorts

int Wlc_Ntk_t_::fMemPorts

Definition at line 153 of file wlc.h.

◆ fSmtLib

int Wlc_Ntk_t_::fSmtLib

Definition at line 151 of file wlc.h.

◆ iObj

int Wlc_Ntk_t_::iObj

Definition at line 158 of file wlc.h.

◆ nAnds

int Wlc_Ntk_t_::nAnds[WLC_OBJ_NUMBER]

Definition at line 150 of file wlc.h.

◆ nAssert

int Wlc_Ntk_t_::nAssert

Definition at line 155 of file wlc.h.

◆ nObjs

int Wlc_Ntk_t_::nObjs[WLC_OBJ_NUMBER]

Definition at line 149 of file wlc.h.

◆ nObjsAlloc

int Wlc_Ntk_t_::nObjsAlloc

Definition at line 159 of file wlc.h.

◆ nTravIds

int Wlc_Ntk_t_::nTravIds

Definition at line 169 of file wlc.h.

◆ pInits

char* Wlc_Ntk_t_::pInits

Definition at line 148 of file wlc.h.

◆ pManName

Abc_Nam_t* Wlc_Ntk_t_::pManName

Definition at line 165 of file wlc.h.

◆ pMemFanin

Mem_Flex_t* Wlc_Ntk_t_::pMemFanin

Definition at line 160 of file wlc.h.

◆ pMemTable

Mem_Flex_t* Wlc_Ntk_t_::pMemTable

Definition at line 161 of file wlc.h.

◆ pName

char* Wlc_Ntk_t_::pName

Definition at line 138 of file wlc.h.

◆ pObjs

Wlc_Obj_t* Wlc_Ntk_t_::pObjs

Definition at line 157 of file wlc.h.

◆ pSpec

char* Wlc_Ntk_t_::pSpec

Definition at line 139 of file wlc.h.

◆ vArsts

Vec_Int_t* Wlc_Ntk_t_::vArsts

Definition at line 146 of file wlc.h.

◆ vBits

Vec_Int_t Wlc_Ntk_t_::vBits

Definition at line 172 of file wlc.h.

◆ vCis

Vec_Int_t Wlc_Ntk_t_::vCis

Definition at line 142 of file wlc.h.

◆ vCopies

Vec_Int_t Wlc_Ntk_t_::vCopies

Definition at line 171 of file wlc.h.

◆ vCos

Vec_Int_t Wlc_Ntk_t_::vCos

Definition at line 143 of file wlc.h.

◆ vFfs

Vec_Int_t Wlc_Ntk_t_::vFfs

Definition at line 144 of file wlc.h.

◆ vFfs2

Vec_Int_t Wlc_Ntk_t_::vFfs2

Definition at line 145 of file wlc.h.

◆ vInits

Vec_Int_t* Wlc_Ntk_t_::vInits

Definition at line 147 of file wlc.h.

◆ vLevels

Vec_Int_t Wlc_Ntk_t_::vLevels

Definition at line 173 of file wlc.h.

◆ vLutTruths

Vec_Wrd_t* Wlc_Ntk_t_::vLutTruths

Definition at line 163 of file wlc.h.

◆ vNameIds

Vec_Int_t Wlc_Ntk_t_::vNameIds

Definition at line 166 of file wlc.h.

◆ vPis

Vec_Int_t Wlc_Ntk_t_::vPis

Definition at line 140 of file wlc.h.

◆ vPoPairs

Vec_Int_t Wlc_Ntk_t_::vPoPairs

Definition at line 175 of file wlc.h.

◆ vPos

Vec_Int_t Wlc_Ntk_t_::vPos

Definition at line 141 of file wlc.h.

◆ vRefs

Vec_Int_t Wlc_Ntk_t_::vRefs

Definition at line 174 of file wlc.h.

◆ vTables

Vec_Ptr_t* Wlc_Ntk_t_::vTables

Definition at line 162 of file wlc.h.

◆ vTravIds

Vec_Int_t Wlc_Ntk_t_::vTravIds

Definition at line 170 of file wlc.h.

◆ vValues

Vec_Int_t Wlc_Ntk_t_::vValues

Definition at line 167 of file wlc.h.

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

src/base/wlc/wlc.h

Public Attributes