ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Kit_DsdNtk_t_ Struct Reference

#include <kit.h>

Collaboration diagram for Kit_DsdNtk_t_:

Public Attributes

unsigned short nVars
 
unsigned short nNodesAlloc
 
unsigned short nNodes
 
unsigned short Root
 
unsigned * pMem
 
unsigned * pSupps
 
Kit_DsdObj_t ** pNodes
 

Detailed Description

Definition at line 125 of file kit.h.

Member Data Documentation

◆ nNodes

unsigned short Kit_DsdNtk_t_::nNodes

Definition at line 129 of file kit.h.

◆ nNodesAlloc

unsigned short Kit_DsdNtk_t_::nNodesAlloc

Definition at line 128 of file kit.h.

◆ nVars

unsigned short Kit_DsdNtk_t_::nVars

Definition at line 127 of file kit.h.

◆ pMem

unsigned* Kit_DsdNtk_t_::pMem

Definition at line 131 of file kit.h.

◆ pNodes

Kit_DsdObj_t** Kit_DsdNtk_t_::pNodes

Definition at line 133 of file kit.h.

◆ pSupps

unsigned* Kit_DsdNtk_t_::pSupps

Definition at line 132 of file kit.h.

◆ Root

unsigned short Kit_DsdNtk_t_::Root

Definition at line 130 of file kit.h.


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