Extra_UnateInfo_t_ Struct Reference

#include <extraBdd.h>

Data Fields
int	nVars
int	nVarsMax
int	nUnate
Extra_UnateVar_t *	pVars

Detailed Description

Definition at line 277 of file extraBdd.h.

Field Documentation

int Extra_UnateInfo_t_::nUnate

Definition at line 280 of file extraBdd.h.

int Extra_UnateInfo_t_::nVars

Definition at line 278 of file extraBdd.h.

int Extra_UnateInfo_t_::nVarsMax

Definition at line 279 of file extraBdd.h.

Extra_UnateVar_t* Extra_UnateInfo_t_::pVars

Definition at line 281 of file extraBdd.h.

---

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

• extraBdd.h