_reo_man Struct Reference

#include <reo.h>

Collaboration diagram for _reo_man:

[legend]

Data Fields
int	fMinWidth
int	fMinApl
int	fVerbose
int	fVerify
int	fRemapUp
int	nIters
DdManager *	dd
int *	pOrder
int	fThisIsAdd
int *	pSupp
int	nSuppAlloc
int	nSupp
int *	pOrderInt
double *	pVarCosts
int *	pLevelOrder
reo_unit **	pWidthCofs
int	nNodesBeg
int	nNodesCur
int	nNodesEnd
int	nWidthCur
int	nWidthBeg
int	nWidthEnd
double	nAplCur
double	nAplBeg
double	nAplEnd
int *	pMapToPlanes
int *	pMapToDdVarsOrig
int *	pMapToDdVarsFinal
reo_plane *	pPlanes
int	nPlanes
reo_unit **	pTops
int	nTops
int	nTopsAlloc
reo_hash *	HTable
int	nTableSize
int	Signature
int	nNodesMaxAlloc
DdNode **	pRefNodes
int	nRefNodes
int	nRefNodesAlloc
reo_unit *	pUnitFreeList
reo_unit **	pMemChunks
int	nMemChunks
int	nMemChunksAlloc
int	nUnitsUsed
int	HashSuccess
int	HashFailure
int	nSwaps
int	nNISwaps

---

Detailed Description

Definition at line 101 of file reo.h.

---

Field Documentation

DdManager* _reo_man::dd

Definition at line 112 of file reo.h.

int _reo_man::fMinApl

Definition at line 105 of file reo.h.

int _reo_man::fMinWidth

Definition at line 104 of file reo.h.

int _reo_man::fRemapUp

Definition at line 108 of file reo.h.

int _reo_man::fThisIsAdd

Definition at line 116 of file reo.h.

int _reo_man::fVerbose

Definition at line 106 of file reo.h.

int _reo_man::fVerify

Definition at line 107 of file reo.h.

int _reo_man::HashFailure

Definition at line 168 of file reo.h.

int _reo_man::HashSuccess

Definition at line 167 of file reo.h.

reo_hash* _reo_man::HTable

Definition at line 149 of file reo.h.

double _reo_man::nAplBeg

Definition at line 133 of file reo.h.

double _reo_man::nAplCur

Definition at line 132 of file reo.h.

double _reo_man::nAplEnd

Definition at line 134 of file reo.h.

int _reo_man::nIters

Definition at line 109 of file reo.h.

int _reo_man::nMemChunks

Definition at line 162 of file reo.h.

int _reo_man::nMemChunksAlloc

Definition at line 163 of file reo.h.

int _reo_man::nNISwaps

Definition at line 170 of file reo.h.

int _reo_man::nNodesBeg

Definition at line 126 of file reo.h.

int _reo_man::nNodesCur

Definition at line 127 of file reo.h.

int _reo_man::nNodesEnd

Definition at line 128 of file reo.h.

int _reo_man::nNodesMaxAlloc

Definition at line 154 of file reo.h.

int _reo_man::nPlanes

Definition at line 143 of file reo.h.

int _reo_man::nRefNodes

Definition at line 156 of file reo.h.

int _reo_man::nRefNodesAlloc

Definition at line 157 of file reo.h.

int _reo_man::nSupp

Definition at line 119 of file reo.h.

int _reo_man::nSuppAlloc

Definition at line 118 of file reo.h.

int _reo_man::nSwaps

Definition at line 169 of file reo.h.

int _reo_man::nTableSize

Definition at line 150 of file reo.h.

int _reo_man::nTops

Definition at line 145 of file reo.h.

int _reo_man::nTopsAlloc

Definition at line 146 of file reo.h.

int _reo_man::nUnitsUsed

Definition at line 164 of file reo.h.

int _reo_man::nWidthBeg

Definition at line 130 of file reo.h.

int _reo_man::nWidthCur

Definition at line 129 of file reo.h.

int _reo_man::nWidthEnd

Definition at line 131 of file reo.h.

int* _reo_man::pLevelOrder

Definition at line 122 of file reo.h.

int* _reo_man::pMapToDdVarsFinal

Definition at line 139 of file reo.h.

int* _reo_man::pMapToDdVarsOrig

Definition at line 138 of file reo.h.

int* _reo_man::pMapToPlanes

Definition at line 137 of file reo.h.

reo_unit** _reo_man::pMemChunks

Definition at line 161 of file reo.h.

int* _reo_man::pOrder

Definition at line 113 of file reo.h.

int* _reo_man::pOrderInt

Definition at line 120 of file reo.h.

reo_plane* _reo_man::pPlanes

Definition at line 142 of file reo.h.

DdNode** _reo_man::pRefNodes

Definition at line 155 of file reo.h.

int* _reo_man::pSupp

Definition at line 117 of file reo.h.

reo_unit** _reo_man::pTops

Definition at line 144 of file reo.h.

reo_unit* _reo_man::pUnitFreeList

Definition at line 160 of file reo.h.

double* _reo_man::pVarCosts

Definition at line 121 of file reo.h.

reo_unit** _reo_man::pWidthCofs

Definition at line 123 of file reo.h.

int _reo_man::Signature

Definition at line 151 of file reo.h.

---

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

• src/bdd/reo/reo.h