Bdc_Isf_t_ Struct Reference

#include <bdcInt.h>

Data Fields
int	Var
unsigned	uSupp
unsigned *	puOn
unsigned *	puOff

---

Detailed Description

Definition at line 71 of file bdcInt.h.

---

Field Documentation

unsigned* Bdc_Isf_t_::puOff

Definition at line 76 of file bdcInt.h.

unsigned* Bdc_Isf_t_::puOn

Definition at line 75 of file bdcInt.h.

unsigned Bdc_Isf_t_::uSupp

Definition at line 74 of file bdcInt.h.

int Bdc_Isf_t_::Var

Definition at line 73 of file bdcInt.h.

---

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

• src/aig/bdc/bdcInt.h