Mpm_Dsd_t_ Struct Reference

#include <mpmInt.h>

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

Detailed Description

Definition at line 85 of file mpmInt.h.

Field Documentation

int Mpm_Dsd_t_::nAnds

Definition at line 88 of file mpmInt.h.

int Mpm_Dsd_t_::nClauses

Definition at line 89 of file mpmInt.h.

int Mpm_Dsd_t_::nVars

Definition at line 87 of file mpmInt.h.

char* Mpm_Dsd_t_::pStr

Definition at line 91 of file mpmInt.h.

word Mpm_Dsd_t_::uTruth

Definition at line 90 of file mpmInt.h.

---

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

• mpmInt.h