Kit_DsdNtk_t_ Struct Reference

#include <kit.h>

Collaboration diagram for Kit_DsdNtk_t_:

[legend]

Data Fields
unsigned char	nVars
unsigned char	nNodesAlloc
unsigned char	nNodes
unsigned char	Root
unsigned *	pMem
unsigned *	pSupps
Kit_DsdObj_t **	pNodes

---

Detailed Description

Definition at line 118 of file kit.h.

---

Field Documentation

unsigned char Kit_DsdNtk_t_::nNodes

Definition at line 122 of file kit.h.

unsigned char Kit_DsdNtk_t_::nNodesAlloc

Definition at line 121 of file kit.h.

unsigned char Kit_DsdNtk_t_::nVars

Definition at line 120 of file kit.h.

unsigned* Kit_DsdNtk_t_::pMem

Definition at line 124 of file kit.h.

Kit_DsdObj_t** Kit_DsdNtk_t_::pNodes

Definition at line 126 of file kit.h.

unsigned* Kit_DsdNtk_t_::pSupps

Definition at line 125 of file kit.h.

unsigned char Kit_DsdNtk_t_::Root

Definition at line 123 of file kit.h.

---

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

• src/aig/kit/kit.h