Kit_DsdMan_t_ Struct Reference

#include <kit.h>

Collaboration diagram for Kit_DsdMan_t_:

[legend]

Data Fields
int	nVars
int	nWords
Vec_Ptr_t *	vTtElems
Vec_Ptr_t *	vTtNodes
CloudManager *	dd
Vec_Ptr_t *	vTtBdds
Vec_Int_t *	vNodes

---

Detailed Description

Definition at line 131 of file kit.h.

---

Field Documentation

CloudManager* Kit_DsdMan_t_::dd

Definition at line 138 of file kit.h.

int Kit_DsdMan_t_::nVars

Definition at line 133 of file kit.h.

int Kit_DsdMan_t_::nWords

Definition at line 134 of file kit.h.

Vec_Int_t* Kit_DsdMan_t_::vNodes

Definition at line 140 of file kit.h.

Vec_Ptr_t* Kit_DsdMan_t_::vTtBdds

Definition at line 139 of file kit.h.

Vec_Ptr_t* Kit_DsdMan_t_::vTtElems

Definition at line 135 of file kit.h.

Vec_Ptr_t* Kit_DsdMan_t_::vTtNodes

Definition at line 136 of file kit.h.

---

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

• src/aig/kit/kit.h