Bdc_Fun_t_ Struct Reference

#include <bdcInt.h>

Collaboration diagram for Bdc_Fun_t_:

[legend]

Data Fields
int	Type
Bdc_Fun_t *	pFan0
Bdc_Fun_t *	pFan1
Bdc_Fun_t *	pFan2
unsigned	uSupp
unsigned *	puFunc
Bdc_Fun_t *	pNext
void *	pCopy

---

Detailed Description

Definition at line 58 of file bdcInt.h.

---

Field Documentation

void* Bdc_Fun_t_::pCopy

Definition at line 67 of file bdcInt.h.

Bdc_Fun_t* Bdc_Fun_t_::pFan0

Definition at line 61 of file bdcInt.h.

Bdc_Fun_t* Bdc_Fun_t_::pFan1

Definition at line 62 of file bdcInt.h.

Bdc_Fun_t* Bdc_Fun_t_::pFan2

Definition at line 63 of file bdcInt.h.

Bdc_Fun_t* Bdc_Fun_t_::pNext

Definition at line 66 of file bdcInt.h.

unsigned* Bdc_Fun_t_::puFunc

Definition at line 65 of file bdcInt.h.

int Bdc_Fun_t_::Type

Definition at line 60 of file bdcInt.h.

unsigned Bdc_Fun_t_::uSupp

Definition at line 64 of file bdcInt.h.

---

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

• src/aig/bdc/bdcInt.h