ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
FxuDataStruct Struct Reference

#include <fxu.h>

Collaboration diagram for FxuDataStruct:
Collaboration graph
[legend]

Public Attributes

int fOnlyS
 
int fOnlyD
 
int fUse0
 
int fUseCompl
 
int fVerbose
 
int fVeryVerbose
 
int nNodesExt
 
int nSingleMax
 
int nPairsMax
 
int WeightMin
 
int LitCountMax
 
int fCanonDivs
 
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.

Member Data Documentation

◆ fCanonDivs

int FxuDataStruct::fCanonDivs

Definition at line 59 of file fxu.h.

◆ fOnlyD

int FxuDataStruct::fOnlyD

Definition at line 49 of file fxu.h.

◆ fOnlyS

int FxuDataStruct::fOnlyS

Definition at line 48 of file fxu.h.

◆ fUse0

int FxuDataStruct::fUse0

Definition at line 50 of file fxu.h.

◆ fUseCompl

int FxuDataStruct::fUseCompl

Definition at line 51 of file fxu.h.

◆ fVerbose

int FxuDataStruct::fVerbose

Definition at line 52 of file fxu.h.

◆ fVeryVerbose

int FxuDataStruct::fVeryVerbose

Definition at line 53 of file fxu.h.

◆ LitCountMax

int FxuDataStruct::LitCountMax

Definition at line 58 of file fxu.h.

◆ nNodesExt

int FxuDataStruct::nNodesExt

Definition at line 54 of file fxu.h.

◆ nNodesNew

int FxuDataStruct::nNodesNew

Definition at line 70 of file fxu.h.

◆ nNodesOld

int FxuDataStruct::nNodesOld

Definition at line 69 of file fxu.h.

◆ nPairsMax

int FxuDataStruct::nPairsMax

Definition at line 56 of file fxu.h.

◆ nSingleMax

int FxuDataStruct::nSingleMax

Definition at line 55 of file fxu.h.

◆ pManSop

Mem_Flex_t* FxuDataStruct::pManSop

Definition at line 67 of file fxu.h.

◆ vFanins

Vec_Ptr_t* FxuDataStruct::vFanins

Definition at line 62 of file fxu.h.

◆ vFaninsNew

Vec_Ptr_t* FxuDataStruct::vFaninsNew

Definition at line 65 of file fxu.h.

◆ vSops

Vec_Ptr_t* FxuDataStruct::vSops

Definition at line 61 of file fxu.h.

◆ vSopsNew

Vec_Ptr_t* FxuDataStruct::vSopsNew

Definition at line 64 of file fxu.h.

◆ WeightMin

int FxuDataStruct::WeightMin

Definition at line 57 of file fxu.h.

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