Dua_Dsd_t_ Struct Reference

Data Fields
int	nSupp
int	nVars
int	nWords
int	nObjs
int	iRoot
Dua_Obj_t	pObjs [DSD_MAX_VAR]
word	pTruth [DSD_MAX_WRD]

Detailed Description

Definition at line 42 of file dauDsd2.c.

Field Documentation

int Dua_Dsd_t_::iRoot

Definition at line 48 of file dauDsd2.c.

int Dua_Dsd_t_::nObjs

Definition at line 47 of file dauDsd2.c.

int Dua_Dsd_t_::nSupp

Definition at line 44 of file dauDsd2.c.

int Dua_Dsd_t_::nVars

Definition at line 45 of file dauDsd2.c.

int Dua_Dsd_t_::nWords

Definition at line 46 of file dauDsd2.c.

Dua_Obj_t Dua_Dsd_t_::pObjs[DSD_MAX_VAR]

Definition at line 49 of file dauDsd2.c.

word Dua_Dsd_t_::pTruth[DSD_MAX_WRD]

Definition at line 50 of file dauDsd2.c.

---

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

• dauDsd2.c