Extra_UnateVar_t_ Struct Reference

#include <extraBdd.h>

Data Fields
unsigned	iVar: 30
unsigned	Pos: 1
unsigned	Neg: 1

Detailed Description

Definition at line 270 of file extraBdd.h.

Field Documentation

unsigned Extra_UnateVar_t_::iVar

Definition at line 271 of file extraBdd.h.

unsigned Extra_UnateVar_t_::Neg

Definition at line 273 of file extraBdd.h.

unsigned Extra_UnateVar_t_::Pos

Definition at line 272 of file extraBdd.h.

---

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

• extraBdd.h