abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Ssw_RarMan_t_ Struct Reference

Data Fields

Ssw_RarPars_tpPars
 
int nGroups
 
int nWordsReg
 
Aig_Man_tpAig
 
Ssw_Cla_tppClasses
 
Vec_Int_tvInits
 
wordpObjData
 
wordpPatData
 
Vec_Ptr_tvUpdConst
 
Vec_Ptr_tvUpdClass
 
int * pRarity
 
double * pPatCosts
 
Vec_Int_tvPatBests
 
int iFailPo
 
int iFailPat
 
Vec_Ptr_tvCexes
 
int nWords
 
int nFrames
 
int nBinSize
 
int fVerbose
 
Ssw_Sml_tpSml
 
Vec_Ptr_tvSimInfo
 
int * pGroupValues
 

Detailed Description

Definition at line 34 of file sswRarity.c.

Field Documentation

int Ssw_RarMan_t_::fVerbose

Definition at line 38 of file sswRarity2.c.

int Ssw_RarMan_t_::iFailPat

Definition at line 56 of file sswRarity.c.

int Ssw_RarMan_t_::iFailPo

Definition at line 55 of file sswRarity.c.

int Ssw_RarMan_t_::nBinSize

Definition at line 37 of file sswRarity2.c.

int Ssw_RarMan_t_::nFrames

Definition at line 36 of file sswRarity2.c.

int Ssw_RarMan_t_::nGroups

Definition at line 38 of file sswRarity.c.

int Ssw_RarMan_t_::nWords

Definition at line 35 of file sswRarity2.c.

int Ssw_RarMan_t_::nWordsReg

Definition at line 39 of file sswRarity.c.

Aig_Man_t * Ssw_RarMan_t_::pAig

Definition at line 41 of file sswRarity.c.

int* Ssw_RarMan_t_::pGroupValues

Definition at line 48 of file sswRarity2.c.

word* Ssw_RarMan_t_::pObjData

Definition at line 45 of file sswRarity.c.

Ssw_RarPars_t* Ssw_RarMan_t_::pPars

Definition at line 37 of file sswRarity.c.

double * Ssw_RarMan_t_::pPatCosts

Definition at line 52 of file sswRarity.c.

word* Ssw_RarMan_t_::pPatData

Definition at line 46 of file sswRarity.c.

Ssw_Cla_t * Ssw_RarMan_t_::ppClasses

Definition at line 42 of file sswRarity.c.

int * Ssw_RarMan_t_::pRarity

Definition at line 51 of file sswRarity.c.

Ssw_Sml_t* Ssw_RarMan_t_::pSml

Definition at line 43 of file sswRarity2.c.

Vec_Ptr_t* Ssw_RarMan_t_::vCexes

Definition at line 58 of file sswRarity.c.

Vec_Int_t * Ssw_RarMan_t_::vInits

Definition at line 43 of file sswRarity.c.

Vec_Int_t* Ssw_RarMan_t_::vPatBests

Definition at line 54 of file sswRarity.c.

Vec_Ptr_t* Ssw_RarMan_t_::vSimInfo

Definition at line 44 of file sswRarity2.c.

Vec_Ptr_t* Ssw_RarMan_t_::vUpdClass

Definition at line 49 of file sswRarity.c.

Vec_Ptr_t* Ssw_RarMan_t_::vUpdConst

Definition at line 48 of file sswRarity.c.


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