FxuDataStruct Struct Reference

#include <fxu.h>

Collaboration diagram for FxuDataStruct:

[legend]

Data Fields
bool	fOnlyS
bool	fOnlyD
bool	fUse0
bool	fUseCompl
bool	fVerbose
int	nNodesExt
int	nSingleMax
int	nPairsMax
Vec_Ptr_t *	vSops
Vec_Ptr_t *	vFanins
Vec_Ptr_t *	vSopsNew
Vec_Ptr_t *	vFaninsNew
Extra_MmFlex_t *	pManSop
int	nNodesOld
int	nNodesNew

---

Detailed Description

Definition at line 49 of file fxu.h.

---

Field Documentation

bool FxuDataStruct::fOnlyD

Definition at line 53 of file fxu.h.

bool FxuDataStruct::fOnlyS

Definition at line 52 of file fxu.h.

bool FxuDataStruct::fUse0

Definition at line 54 of file fxu.h.

bool FxuDataStruct::fUseCompl

Definition at line 55 of file fxu.h.

bool FxuDataStruct::fVerbose

Definition at line 56 of file fxu.h.

int FxuDataStruct::nNodesExt

Definition at line 57 of file fxu.h.

int FxuDataStruct::nNodesNew

Definition at line 70 of file fxu.h.

int FxuDataStruct::nNodesOld

Definition at line 69 of file fxu.h.

int FxuDataStruct::nPairsMax

Definition at line 59 of file fxu.h.

int FxuDataStruct::nSingleMax

Definition at line 58 of file fxu.h.

Extra_MmFlex_t* FxuDataStruct::pManSop

Definition at line 67 of file fxu.h.

Vec_Ptr_t* FxuDataStruct::vFanins

Definition at line 62 of file fxu.h.

Vec_Ptr_t* FxuDataStruct::vFaninsNew

Definition at line 65 of file fxu.h.

Vec_Ptr_t* FxuDataStruct::vSops

Definition at line 61 of file fxu.h.

Vec_Ptr_t* FxuDataStruct::vSopsNew

Definition at line 64 of file fxu.h.

---

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

• src/opt/fxu/fxu.h