ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Fx_Man_t_ Struct Reference
Collaboration diagram for Fx_Man_t_:
Collaboration graph
[legend]

Public Attributes

Vec_Wec_t * vCubes
 
int LitCountMax
 
int fCanonDivs
 
Vec_Wec_t * vLits
 
Vec_Int_t * vCounts
 
Hsh_VecMan_t * pHash
 
Vec_Flt_t * vWeights
 
Vec_Que_t * vPrio
 
Vec_Int_t * vVarCube
 
Vec_Int_t * vLevels
 
Vec_Int_t * vCubesS
 
Vec_Int_t * vCubesD
 
Vec_Int_t * vCompls
 
Vec_Int_t * vCubeFree
 
Vec_Int_t * vDiv
 
Vec_Int_t * vSCC
 
abctime timeStart
 
int nVars
 
int nLits
 
int nDivs
 
int nCompls
 
int nPairsS
 
int nPairsD
 
int nDivsS
 
int nDivMux [3]
 

Detailed Description

Definition at line 87 of file abcFx.c.

Member Data Documentation

◆ fCanonDivs

int Fx_Man_t_::fCanonDivs

Definition at line 92 of file abcFx.c.

◆ LitCountMax

int Fx_Man_t_::LitCountMax

Definition at line 91 of file abcFx.c.

◆ nCompls

int Fx_Man_t_::nCompls

Definition at line 113 of file abcFx.c.

◆ nDivMux

int Fx_Man_t_::nDivMux[3]

Definition at line 117 of file abcFx.c.

◆ nDivs

int Fx_Man_t_::nDivs

Definition at line 112 of file abcFx.c.

◆ nDivsS

int Fx_Man_t_::nDivsS

Definition at line 116 of file abcFx.c.

◆ nLits

int Fx_Man_t_::nLits

Definition at line 111 of file abcFx.c.

◆ nPairsD

int Fx_Man_t_::nPairsD

Definition at line 115 of file abcFx.c.

◆ nPairsS

int Fx_Man_t_::nPairsS

Definition at line 114 of file abcFx.c.

◆ nVars

int Fx_Man_t_::nVars

Definition at line 110 of file abcFx.c.

◆ pHash

Hsh_VecMan_t* Fx_Man_t_::pHash

Definition at line 96 of file abcFx.c.

◆ timeStart

abctime Fx_Man_t_::timeStart

Definition at line 109 of file abcFx.c.

◆ vCompls

Vec_Int_t* Fx_Man_t_::vCompls

Definition at line 104 of file abcFx.c.

◆ vCounts

Vec_Int_t* Fx_Man_t_::vCounts

Definition at line 95 of file abcFx.c.

◆ vCubeFree

Vec_Int_t* Fx_Man_t_::vCubeFree

Definition at line 105 of file abcFx.c.

◆ vCubes

Vec_Wec_t* Fx_Man_t_::vCubes

Definition at line 90 of file abcFx.c.

◆ vCubesD

Vec_Int_t* Fx_Man_t_::vCubesD

Definition at line 103 of file abcFx.c.

◆ vCubesS

Vec_Int_t* Fx_Man_t_::vCubesS

Definition at line 102 of file abcFx.c.

◆ vDiv

Vec_Int_t* Fx_Man_t_::vDiv

Definition at line 106 of file abcFx.c.

◆ vLevels

Vec_Int_t* Fx_Man_t_::vLevels

Definition at line 100 of file abcFx.c.

◆ vLits

Vec_Wec_t* Fx_Man_t_::vLits

Definition at line 94 of file abcFx.c.

◆ vPrio

Vec_Que_t* Fx_Man_t_::vPrio

Definition at line 98 of file abcFx.c.

◆ vSCC

Vec_Int_t* Fx_Man_t_::vSCC

Definition at line 107 of file abcFx.c.

◆ vVarCube

Vec_Int_t* Fx_Man_t_::vVarCube

Definition at line 99 of file abcFx.c.

◆ vWeights

Vec_Flt_t* Fx_Man_t_::vWeights

Definition at line 97 of file abcFx.c.

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