Extra_UnateVar_t_ Struct Reference

#include <extraBdd.h>

Public Attributes
unsigned	iVar: 30
unsigned	Pos: 1
unsigned	Neg: 1

Detailed Description

Definition at line 314 of file extraBdd.h.

Member Data Documentation

iVar

unsigned Extra_UnateVar_t_::iVar

Definition at line 315 of file extraBdd.h.

Neg

unsigned Extra_UnateVar_t_::Neg

Definition at line 317 of file extraBdd.h.

Pos

unsigned Extra_UnateVar_t_::Pos

Definition at line 316 of file extraBdd.h.

---

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

• src/bdd/extrab/extraBdd.h