FxuDataStruct Struct Reference

#include <fxu.h>

Data Fields
int	fOnlyS
int	fOnlyD
int	fUse0
int	fUseCompl
int	fVerbose
int	fVeryVerbose
int	nNodesExt
int	nSingleMax
int	nPairsMax
int	WeightMin
int	LitCountMax
Vec_Ptr_t *	vSops
Vec_Ptr_t *	vFanins
Vec_Ptr_t *	vSopsNew
Vec_Ptr_t *	vFaninsNew
Mem_Flex_t *	pManSop
int	nNodesOld
int	nNodesNew

Detailed Description

Definition at line 45 of file fxu.h.

Field Documentation

int FxuDataStruct::fOnlyD

Definition at line 49 of file fxu.h.

int FxuDataStruct::fOnlyS

Definition at line 48 of file fxu.h.

int FxuDataStruct::fUse0

Definition at line 50 of file fxu.h.

int FxuDataStruct::fUseCompl

Definition at line 51 of file fxu.h.

int FxuDataStruct::fVerbose

Definition at line 52 of file fxu.h.

int FxuDataStruct::fVeryVerbose

Definition at line 53 of file fxu.h.

int FxuDataStruct::LitCountMax

Definition at line 58 of file fxu.h.

int FxuDataStruct::nNodesExt

Definition at line 54 of file fxu.h.

int FxuDataStruct::nNodesNew

Definition at line 69 of file fxu.h.

int FxuDataStruct::nNodesOld

Definition at line 68 of file fxu.h.

int FxuDataStruct::nPairsMax

Definition at line 56 of file fxu.h.

int FxuDataStruct::nSingleMax

Definition at line 55 of file fxu.h.

Mem_Flex_t* FxuDataStruct::pManSop

Definition at line 66 of file fxu.h.

Vec_Ptr_t* FxuDataStruct::vFanins

Definition at line 61 of file fxu.h.

Vec_Ptr_t* FxuDataStruct::vFaninsNew

Definition at line 64 of file fxu.h.

Vec_Ptr_t* FxuDataStruct::vSops

Definition at line 60 of file fxu.h.

Vec_Ptr_t* FxuDataStruct::vSopsNew

Definition at line 63 of file fxu.h.

int FxuDataStruct::WeightMin

Definition at line 57 of file fxu.h.

---

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

• fxu.h