Kit_DsdMan_t_ Struct Reference

#include <kit.h>

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 135 of file kit.h.

Field Documentation

CloudManager* Kit_DsdMan_t_::dd

Definition at line 142 of file kit.h.

int Kit_DsdMan_t_::nVars

Definition at line 137 of file kit.h.

int Kit_DsdMan_t_::nWords

Definition at line 138 of file kit.h.

Vec_Int_t* Kit_DsdMan_t_::vNodes

Definition at line 144 of file kit.h.

Vec_Ptr_t* Kit_DsdMan_t_::vTtBdds

Definition at line 143 of file kit.h.

Vec_Ptr_t* Kit_DsdMan_t_::vTtElems

Definition at line 139 of file kit.h.

Vec_Ptr_t* Kit_DsdMan_t_::vTtNodes

Definition at line 140 of file kit.h.

---

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

• kit.h