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

#include <amapInt.h>

Collaboration diagram for Amap_Man_t_:
Collaboration graph
[legend]

Public Attributes

Amap_Par_t * pPars
 
Amap_Lib_t * pLib
 
float fEpsilonInternal
 
float fAreaInv
 
int fUseXor
 
int fUseMux
 
Vec_Ptr_t * vPis
 
Vec_Ptr_t * vPos
 
Vec_Ptr_t * vObjs
 
Aig_MmFixed_t * pMemObj
 
Aig_MmFlex_t * pMemCuts
 
Aig_MmFlex_t * pMemCutBest
 
Aig_MmFlex_t * pMemTemp
 
Amap_Obj_t * pConst1
 
int nObjs [AMAP_OBJ_VOID]
 
int nLevelMax
 
int nChoicesGiven
 
int nChoicesAdded
 
Vec_Int_t * vTemp
 
int * pMatsTemp
 
Amap_Cut_t ** ppCutsTemp
 
Amap_Cut_t * pCutsPi
 
Vec_Ptr_t * vCuts0
 
Vec_Ptr_t * vCuts1
 
Vec_Ptr_t * vCuts2
 
Vec_Ptr_t * vTempP
 
int nCutsUsed
 
int nCutsTried
 
int nCutsTried3
 
int nBytesUsed
 

Detailed Description

Definition at line 75 of file amapInt.h.

Member Data Documentation

◆ fAreaInv

float Amap_Man_t_::fAreaInv

Definition at line 82 of file amapInt.h.

◆ fEpsilonInternal

float Amap_Man_t_::fEpsilonInternal

Definition at line 81 of file amapInt.h.

◆ fUseMux

int Amap_Man_t_::fUseMux

Definition at line 84 of file amapInt.h.

◆ fUseXor

int Amap_Man_t_::fUseXor

Definition at line 83 of file amapInt.h.

◆ nBytesUsed

int Amap_Man_t_::nBytesUsed

Definition at line 111 of file amapInt.h.

◆ nChoicesAdded

int Amap_Man_t_::nChoicesAdded

Definition at line 97 of file amapInt.h.

◆ nChoicesGiven

int Amap_Man_t_::nChoicesGiven

Definition at line 96 of file amapInt.h.

◆ nCutsTried

int Amap_Man_t_::nCutsTried

Definition at line 109 of file amapInt.h.

◆ nCutsTried3

int Amap_Man_t_::nCutsTried3

Definition at line 110 of file amapInt.h.

◆ nCutsUsed

int Amap_Man_t_::nCutsUsed

Definition at line 108 of file amapInt.h.

◆ nLevelMax

int Amap_Man_t_::nLevelMax

Definition at line 95 of file amapInt.h.

◆ nObjs

int Amap_Man_t_::nObjs[AMAP_OBJ_VOID]

Definition at line 94 of file amapInt.h.

◆ pConst1

Amap_Obj_t* Amap_Man_t_::pConst1

Definition at line 93 of file amapInt.h.

◆ pCutsPi

Amap_Cut_t* Amap_Man_t_::pCutsPi

Definition at line 102 of file amapInt.h.

◆ pLib

Amap_Lib_t* Amap_Man_t_::pLib

Definition at line 79 of file amapInt.h.

◆ pMatsTemp

int* Amap_Man_t_::pMatsTemp

Definition at line 100 of file amapInt.h.

◆ pMemCutBest

Aig_MmFlex_t* Amap_Man_t_::pMemCutBest

Definition at line 91 of file amapInt.h.

◆ pMemCuts

Aig_MmFlex_t* Amap_Man_t_::pMemCuts

Definition at line 90 of file amapInt.h.

◆ pMemObj

Aig_MmFixed_t* Amap_Man_t_::pMemObj

Definition at line 89 of file amapInt.h.

◆ pMemTemp

Aig_MmFlex_t* Amap_Man_t_::pMemTemp

Definition at line 92 of file amapInt.h.

◆ pPars

Amap_Par_t* Amap_Man_t_::pPars

Definition at line 78 of file amapInt.h.

◆ ppCutsTemp

Amap_Cut_t** Amap_Man_t_::ppCutsTemp

Definition at line 101 of file amapInt.h.

◆ vCuts0

Vec_Ptr_t* Amap_Man_t_::vCuts0

Definition at line 103 of file amapInt.h.

◆ vCuts1

Vec_Ptr_t* Amap_Man_t_::vCuts1

Definition at line 104 of file amapInt.h.

◆ vCuts2

Vec_Ptr_t* Amap_Man_t_::vCuts2

Definition at line 105 of file amapInt.h.

◆ vObjs

Vec_Ptr_t* Amap_Man_t_::vObjs

Definition at line 88 of file amapInt.h.

◆ vPis

Vec_Ptr_t* Amap_Man_t_::vPis

Definition at line 86 of file amapInt.h.

◆ vPos

Vec_Ptr_t* Amap_Man_t_::vPos

Definition at line 87 of file amapInt.h.

◆ vTemp

Vec_Int_t* Amap_Man_t_::vTemp

Definition at line 99 of file amapInt.h.

◆ vTempP

Vec_Ptr_t* Amap_Man_t_::vTempP

Definition at line 106 of file amapInt.h.

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