Rwt_Man_t_ Struct Reference

#include <rwt.h>

Collaboration diagram for Rwt_Man_t_:

Public Attributes
int	nFuncs
unsigned short *	puCanons
char *	pPhases
char *	pPerms
unsigned char *	pMap
unsigned short *	pMapInv
char *	pPractical
char **	pPerms4
Vec_Ptr_t *	vForest
Rwt_Node_t **	pTable
Vec_Vec_t *	vClasses
Mem_Fixed_t *	pMmNode
int	nTravIds
int	nConsidered
int	nAdded
int	nClasses
int	fCompl
void *	pCut
void *	pGraph
char *	pPerm
Vec_Ptr_t *	vFanins
Vec_Ptr_t *	vFaninsCur
Vec_Int_t *	vLevNums
Vec_Ptr_t *	vNodesTemp
int	nNodesConsidered
int	nNodesRewritten
int	nNodesGained
int	nScores [222]
int	nCutsGood
int	nCutsBad
int	nSubgraphs
abctime	timeStart
abctime	timeTruth
abctime	timeCut
abctime	timeRes
abctime	timeEval
abctime	timeMffc
abctime	timeUpdate
abctime	timeTotal

Detailed Description

Definition at line 58 of file rwt.h.

Member Data Documentation

fCompl

int Rwt_Man_t_::fCompl

Definition at line 80 of file rwt.h.

nAdded

int Rwt_Man_t_::nAdded

Definition at line 77 of file rwt.h.

nClasses

int Rwt_Man_t_::nClasses

Definition at line 78 of file rwt.h.

nConsidered

int Rwt_Man_t_::nConsidered

Definition at line 76 of file rwt.h.

nCutsBad

int Rwt_Man_t_::nCutsBad

Definition at line 94 of file rwt.h.

nCutsGood

int Rwt_Man_t_::nCutsGood

Definition at line 93 of file rwt.h.

nFuncs

int Rwt_Man_t_::nFuncs

Definition at line 61 of file rwt.h.

nNodesConsidered

int Rwt_Man_t_::nNodesConsidered

Definition at line 89 of file rwt.h.

nNodesGained

int Rwt_Man_t_::nNodesGained

Definition at line 91 of file rwt.h.

nNodesRewritten

int Rwt_Man_t_::nNodesRewritten

Definition at line 90 of file rwt.h.

nScores

int Rwt_Man_t_::nScores[222]

Definition at line 92 of file rwt.h.

nSubgraphs

int Rwt_Man_t_::nSubgraphs

Definition at line 95 of file rwt.h.

nTravIds

int Rwt_Man_t_::nTravIds

Definition at line 75 of file rwt.h.

pCut

void* Rwt_Man_t_::pCut

Definition at line 81 of file rwt.h.

pGraph

void* Rwt_Man_t_::pGraph

Definition at line 82 of file rwt.h.

pMap

unsigned char* Rwt_Man_t_::pMap

Definition at line 65 of file rwt.h.

pMapInv

unsigned short* Rwt_Man_t_::pMapInv

Definition at line 66 of file rwt.h.

pMmNode

Mem_Fixed_t* Rwt_Man_t_::pMmNode

Definition at line 73 of file rwt.h.

pPerm

char* Rwt_Man_t_::pPerm

Definition at line 83 of file rwt.h.

pPerms

char* Rwt_Man_t_::pPerms

Definition at line 64 of file rwt.h.

pPerms4

char** Rwt_Man_t_::pPerms4

Definition at line 68 of file rwt.h.

pPhases

char* Rwt_Man_t_::pPhases

Definition at line 63 of file rwt.h.

pPractical

char* Rwt_Man_t_::pPractical

Definition at line 67 of file rwt.h.

pTable

Rwt_Node_t** Rwt_Man_t_::pTable

Definition at line 71 of file rwt.h.

puCanons

unsigned short* Rwt_Man_t_::puCanons

Definition at line 62 of file rwt.h.

timeCut

abctime Rwt_Man_t_::timeCut

Definition at line 99 of file rwt.h.

timeEval

abctime Rwt_Man_t_::timeEval

Definition at line 101 of file rwt.h.

timeMffc

abctime Rwt_Man_t_::timeMffc

Definition at line 102 of file rwt.h.

timeRes

abctime Rwt_Man_t_::timeRes

Definition at line 100 of file rwt.h.

timeStart

abctime Rwt_Man_t_::timeStart

Definition at line 97 of file rwt.h.

timeTotal

abctime Rwt_Man_t_::timeTotal

Definition at line 104 of file rwt.h.

timeTruth

abctime Rwt_Man_t_::timeTruth

Definition at line 98 of file rwt.h.

timeUpdate

abctime Rwt_Man_t_::timeUpdate

Definition at line 103 of file rwt.h.

vClasses

Vec_Vec_t* Rwt_Man_t_::vClasses

Definition at line 72 of file rwt.h.

vFanins

Vec_Ptr_t* Rwt_Man_t_::vFanins

Definition at line 84 of file rwt.h.

vFaninsCur

Vec_Ptr_t* Rwt_Man_t_::vFaninsCur

Definition at line 85 of file rwt.h.

vForest

Vec_Ptr_t* Rwt_Man_t_::vForest

Definition at line 70 of file rwt.h.

vLevNums

Vec_Int_t* Rwt_Man_t_::vLevNums

Definition at line 86 of file rwt.h.

vNodesTemp

Vec_Ptr_t* Rwt_Man_t_::vNodesTemp

Definition at line 87 of file rwt.h.

---

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

• src/opt/rwt/rwt.h