Extra_UnateInfo_t_ Struct Reference

#include <extra.h>

Collaboration diagram for Extra_UnateInfo_t_:

[legend]

Data Fields
int	nVars
int	nVarsMax
int	nUnate
Extra_UnateVar_t *	pVars

---

Detailed Description

Definition at line 261 of file extra.h.

---

Field Documentation

int Extra_UnateInfo_t_::nUnate

Definition at line 264 of file extra.h.

int Extra_UnateInfo_t_::nVars

Definition at line 262 of file extra.h.

int Extra_UnateInfo_t_::nVarsMax

Definition at line 263 of file extra.h.

Extra_UnateVar_t* Extra_UnateInfo_t_::pVars

Definition at line 265 of file extra.h.

---

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

• src/misc/extra/extra.h