Sdm_Dsd_t_ Struct Reference

Data Fields
int	nVars
int	nAnds
int	nClauses
word	uTruth
char *	pStr

Detailed Description

Definition at line 39 of file extraUtilDsd.c.

Field Documentation

int Sdm_Dsd_t_::nAnds

Definition at line 42 of file extraUtilDsd.c.

int Sdm_Dsd_t_::nClauses

Definition at line 43 of file extraUtilDsd.c.

int Sdm_Dsd_t_::nVars

Definition at line 41 of file extraUtilDsd.c.

char* Sdm_Dsd_t_::pStr

Definition at line 45 of file extraUtilDsd.c.

word Sdm_Dsd_t_::uTruth

Definition at line 44 of file extraUtilDsd.c.

---

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

• extraUtilDsd.c