Min_Cube_t_ Struct Reference

#include <covInt.h>

Data Fields
Min_Cube_t *	pNext
unsigned	nVars: 10
unsigned	nWords: 12
unsigned	nLits: 10
unsigned	uData [1]

Detailed Description

Definition at line 54 of file covInt.h.

Field Documentation

unsigned Min_Cube_t_::nLits

Definition at line 59 of file covInt.h.

unsigned Min_Cube_t_::nVars

Definition at line 57 of file covInt.h.

unsigned Min_Cube_t_::nWords

Definition at line 58 of file covInt.h.

Min_Cube_t* Min_Cube_t_::pNext

Definition at line 56 of file covInt.h.

unsigned Min_Cube_t_::uData[1]

Definition at line 60 of file covInt.h.

---

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

• covInt.h