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

#include <Fxch.h>

Collaboration diagram for Fxch_Man_t_:
Collaboration graph
[legend]

Public Attributes

Vec_Wec_t vCubes
 
Vec_Wec_t vLits
 
Vec_Int_t vRands
 
Vec_Int_t vCubeLinks
 
Fxch_Obj_t * pBins
 
Hash_IntMan_t * vHash
 
Vec_Que_t * vPrio
 
Vec_Flt_t vWeights
 
Vec_Wec_t vPairs
 
Vec_Wrd_t vDivs
 
Vec_Int_t vCubesS
 
Vec_Int_t vCubesD
 
Vec_Int_t vCube1
 
Vec_Int_t vCube2
 
abctime timeStart
 
int SizeMask
 
int nVars
 
int nLits
 
int nCompls
 
int nPairsS
 
int nPairsD
 
Vec_Wec_t * vCubes
 
int nCubesInit
 
int LitCountMax
 
Fxch_SCHashTable_t * pSCHashTable
 
Vec_Wec_t * vLits
 
Vec_Int_t * vLitCount
 
Vec_Int_t * vLitHashKeys
 
Hsh_VecMan_t * pDivHash
 
Vec_Flt_t * vDivWeights
 
Vec_Que_t * vDivPrio
 
Vec_Wec_t * vDivCubePairs
 
Vec_Int_t * vLevels
 
Vec_Int_t * vTranslation
 
Vec_Int_t * vOutputID
 
int * pTempOutputID
 
int nSizeOutputID
 
Vec_Int_t * vCubesS
 
Vec_Int_t * vPairs
 
Vec_Int_t * vCubeFree
 
Vec_Int_t * vDiv
 
Vec_Int_t * vCubesToRemove
 
Vec_Int_t * vCubesToUpdate
 
Vec_Int_t * vSCC
 
abctime timeInit
 
abctime timeExt
 
int nExtDivs
 

Detailed Description

Definition at line 43 of file plaFxch.c.

Member Data Documentation

◆ LitCountMax

int Fxch_Man_t_::LitCountMax

Definition at line 94 of file Fxch.h.

◆ nCompls

int Fxch_Man_t_::nCompls

Definition at line 67 of file plaFxch.c.

◆ nCubesInit

int Fxch_Man_t_::nCubesInit

Definition at line 93 of file Fxch.h.

◆ nExtDivs

int Fxch_Man_t_::nExtDivs

Definition at line 133 of file Fxch.h.

◆ nLits

int Fxch_Man_t_::nLits

Definition at line 66 of file plaFxch.c.

◆ nPairsD

int Fxch_Man_t_::nPairsD

Definition at line 69 of file plaFxch.c.

◆ nPairsS

int Fxch_Man_t_::nPairsS

Definition at line 68 of file plaFxch.c.

◆ nSizeOutputID

int Fxch_Man_t_::nSizeOutputID

Definition at line 114 of file Fxch.h.

◆ nVars

int Fxch_Man_t_::nVars

Definition at line 65 of file plaFxch.c.

◆ pBins

Fxch_Obj_t* Fxch_Man_t_::pBins

Definition at line 51 of file plaFxch.c.

◆ pDivHash

Hsh_VecMan_t* Fxch_Man_t_::pDivHash

Definition at line 103 of file Fxch.h.

◆ pSCHashTable

Fxch_SCHashTable_t* Fxch_Man_t_::pSCHashTable

Definition at line 97 of file Fxch.h.

◆ pTempOutputID

int* Fxch_Man_t_::pTempOutputID

Definition at line 113 of file Fxch.h.

◆ SizeMask

int Fxch_Man_t_::SizeMask

Definition at line 64 of file plaFxch.c.

◆ timeExt

abctime Fxch_Man_t_::timeExt

Definition at line 128 of file Fxch.h.

◆ timeInit

abctime Fxch_Man_t_::timeInit

Definition at line 127 of file Fxch.h.

◆ timeStart

abctime Fxch_Man_t_::timeStart

Definition at line 63 of file plaFxch.c.

◆ vCube1

Vec_Int_t Fxch_Man_t_::vCube1

Definition at line 60 of file plaFxch.c.

◆ vCube2

Vec_Int_t Fxch_Man_t_::vCube2

Definition at line 61 of file plaFxch.c.

◆ vCubeFree

Vec_Int_t* Fxch_Man_t_::vCubeFree

Definition at line 119 of file Fxch.h.

◆ vCubeLinks

Vec_Int_t Fxch_Man_t_::vCubeLinks

Definition at line 50 of file plaFxch.c.

◆ vCubes [1/2]

Vec_Wec_t Fxch_Man_t_::vCubes

Definition at line 46 of file plaFxch.c.

◆ vCubes [2/2]

Vec_Wec_t* Fxch_Man_t_::vCubes

Definition at line 92 of file Fxch.h.

◆ vCubesD

Vec_Int_t Fxch_Man_t_::vCubesD

Definition at line 59 of file plaFxch.c.

◆ vCubesS [1/2]

Vec_Int_t Fxch_Man_t_::vCubesS

Definition at line 58 of file plaFxch.c.

◆ vCubesS [2/2]

Vec_Int_t* Fxch_Man_t_::vCubesS

Definition at line 117 of file Fxch.h.

◆ vCubesToRemove

Vec_Int_t* Fxch_Man_t_::vCubesToRemove

Definition at line 122 of file Fxch.h.

◆ vCubesToUpdate

Vec_Int_t* Fxch_Man_t_::vCubesToUpdate

Definition at line 123 of file Fxch.h.

◆ vDiv

Vec_Int_t* Fxch_Man_t_::vDiv

Definition at line 120 of file Fxch.h.

◆ vDivCubePairs

Vec_Wec_t* Fxch_Man_t_::vDivCubePairs

Definition at line 106 of file Fxch.h.

◆ vDivPrio

Vec_Que_t* Fxch_Man_t_::vDivPrio

Definition at line 105 of file Fxch.h.

◆ vDivs

Vec_Wrd_t Fxch_Man_t_::vDivs

Definition at line 56 of file plaFxch.c.

◆ vDivWeights

Vec_Flt_t* Fxch_Man_t_::vDivWeights

Definition at line 104 of file Fxch.h.

◆ vHash

Hash_IntMan_t* Fxch_Man_t_::vHash

Definition at line 52 of file plaFxch.c.

◆ vLevels

Vec_Int_t* Fxch_Man_t_::vLevels

Definition at line 108 of file Fxch.h.

◆ vLitCount

Vec_Int_t* Fxch_Man_t_::vLitCount

Definition at line 100 of file Fxch.h.

◆ vLitHashKeys

Vec_Int_t* Fxch_Man_t_::vLitHashKeys

Definition at line 101 of file Fxch.h.

◆ vLits [1/2]

Vec_Wec_t Fxch_Man_t_::vLits

Definition at line 48 of file plaFxch.c.

◆ vLits [2/2]

Vec_Wec_t* Fxch_Man_t_::vLits

Definition at line 99 of file Fxch.h.

◆ vOutputID

Vec_Int_t* Fxch_Man_t_::vOutputID

Definition at line 112 of file Fxch.h.

◆ vPairs [1/2]

Vec_Wec_t Fxch_Man_t_::vPairs

Definition at line 55 of file plaFxch.c.

◆ vPairs [2/2]

Vec_Int_t* Fxch_Man_t_::vPairs

Definition at line 118 of file Fxch.h.

◆ vPrio

Vec_Que_t* Fxch_Man_t_::vPrio

Definition at line 53 of file plaFxch.c.

◆ vRands

Vec_Int_t Fxch_Man_t_::vRands

Definition at line 49 of file plaFxch.c.

◆ vSCC

Vec_Int_t* Fxch_Man_t_::vSCC

Definition at line 124 of file Fxch.h.

◆ vTranslation

Vec_Int_t* Fxch_Man_t_::vTranslation

Definition at line 111 of file Fxch.h.

◆ vWeights

Vec_Flt_t Fxch_Man_t_::vWeights

Definition at line 54 of file plaFxch.c.

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