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

Public Attributes

Ssw_RarPars_t * pPars
 
int nGroups
 
int nWordsReg
 
Aig_Man_t * pAig
 
Ssw_Cla_t * ppClasses
 
Vec_Int_t * vInits
 
word * pObjData
 
word * pPatData
 
Vec_Ptr_t * vUpdConst
 
Vec_Ptr_t * vUpdClass
 
int * pRarity
 
double * pPatCosts
 
Vec_Int_t * vPatBests
 
int iFailPo
 
int iFailPat
 
Vec_Ptr_t * vCexes
 
int nWords
 
int nFrames
 
int nBinSize
 
int fVerbose
 
Ssw_Sml_t * pSml
 
Vec_Ptr_t * vSimInfo
 
int * pGroupValues
 

Detailed Description

Definition at line 34 of file sswRarity.c.

Member Data Documentation

◆ fVerbose

int Ssw_RarMan_t_::fVerbose

Definition at line 38 of file sswRarity2.c.

◆ iFailPat

int Ssw_RarMan_t_::iFailPat

Definition at line 56 of file sswRarity.c.

◆ iFailPo

int Ssw_RarMan_t_::iFailPo

Definition at line 55 of file sswRarity.c.

◆ nBinSize

int Ssw_RarMan_t_::nBinSize

Definition at line 37 of file sswRarity2.c.

◆ nFrames

int Ssw_RarMan_t_::nFrames

Definition at line 36 of file sswRarity2.c.

◆ nGroups

int Ssw_RarMan_t_::nGroups

Definition at line 38 of file sswRarity.c.

◆ nWords

int Ssw_RarMan_t_::nWords

Definition at line 35 of file sswRarity2.c.

◆ nWordsReg

int Ssw_RarMan_t_::nWordsReg

Definition at line 39 of file sswRarity.c.

◆ pAig

Aig_Man_t * Ssw_RarMan_t_::pAig

Definition at line 41 of file sswRarity.c.

◆ pGroupValues

int* Ssw_RarMan_t_::pGroupValues

Definition at line 48 of file sswRarity2.c.

◆ pObjData

word* Ssw_RarMan_t_::pObjData

Definition at line 45 of file sswRarity.c.

◆ pPars

Ssw_RarPars_t* Ssw_RarMan_t_::pPars

Definition at line 37 of file sswRarity.c.

◆ pPatCosts

double * Ssw_RarMan_t_::pPatCosts

Definition at line 52 of file sswRarity.c.

◆ pPatData

word* Ssw_RarMan_t_::pPatData

Definition at line 46 of file sswRarity.c.

◆ ppClasses

Ssw_Cla_t * Ssw_RarMan_t_::ppClasses

Definition at line 42 of file sswRarity.c.

◆ pRarity

int * Ssw_RarMan_t_::pRarity

Definition at line 51 of file sswRarity.c.

◆ pSml

Ssw_Sml_t* Ssw_RarMan_t_::pSml

Definition at line 43 of file sswRarity2.c.

◆ vCexes

Vec_Ptr_t* Ssw_RarMan_t_::vCexes

Definition at line 58 of file sswRarity.c.

◆ vInits

Vec_Int_t * Ssw_RarMan_t_::vInits

Definition at line 43 of file sswRarity.c.

◆ vPatBests

Vec_Int_t* Ssw_RarMan_t_::vPatBests

Definition at line 54 of file sswRarity.c.

◆ vSimInfo

Vec_Ptr_t* Ssw_RarMan_t_::vSimInfo

Definition at line 44 of file sswRarity2.c.

◆ vUpdClass

Vec_Ptr_t* Ssw_RarMan_t_::vUpdClass

Definition at line 49 of file sswRarity.c.

◆ vUpdConst

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: