Rwr_Man_t_ Struct Reference

#include <rwr.h>

Collaboration diagram for Rwr_Man_t_:

[legend]

Data Fields
int	nFuncs
unsigned short *	puCanons
char *	pPhases
char *	pPerms
unsigned char *	pMap
unsigned short *	pMapInv
char *	pPractical
char **	pPerms4
Vec_Ptr_t *	vForest
Rwr_Node_t **	pTable
Vec_Vec_t *	vClasses
Extra_MmFixed_t *	pMmNode
int	nTravIds
int	nConsidered
int	nAdded
int	nClasses
int	fCompl
void *	pGraph
Vec_Ptr_t *	vFanins
Vec_Ptr_t *	vFaninsCur
Vec_Int_t *	vLevNums
Vec_Ptr_t *	vNodesTemp
int	nNodesConsidered
int	nNodesRewritten
int	nNodesGained
int	nNodesBeg
int	nNodesEnd
int	nScores [222]
int	nCutsGood
int	nCutsBad
int	nSubgraphs
int	timeStart
int	timeCut
int	timeRes
int	timeEval
int	timeMffc
int	timeUpdate
int	timeTotal

---

Detailed Description

Definition at line 48 of file rwr.h.

---

Field Documentation

int Rwr_Man_t_::fCompl

Definition at line 70 of file rwr.h.

int Rwr_Man_t_::nAdded

Definition at line 67 of file rwr.h.

int Rwr_Man_t_::nClasses

Definition at line 68 of file rwr.h.

int Rwr_Man_t_::nConsidered

Definition at line 66 of file rwr.h.

int Rwr_Man_t_::nCutsBad

Definition at line 84 of file rwr.h.

int Rwr_Man_t_::nCutsGood

Definition at line 83 of file rwr.h.

int Rwr_Man_t_::nFuncs

Definition at line 51 of file rwr.h.

int Rwr_Man_t_::nNodesBeg

Definition at line 80 of file rwr.h.

int Rwr_Man_t_::nNodesConsidered

Definition at line 77 of file rwr.h.

int Rwr_Man_t_::nNodesEnd

Definition at line 81 of file rwr.h.

int Rwr_Man_t_::nNodesGained

Definition at line 79 of file rwr.h.

int Rwr_Man_t_::nNodesRewritten

Definition at line 78 of file rwr.h.

int Rwr_Man_t_::nScores[222]

Definition at line 82 of file rwr.h.

int Rwr_Man_t_::nSubgraphs

Definition at line 85 of file rwr.h.

int Rwr_Man_t_::nTravIds

Definition at line 65 of file rwr.h.

void* Rwr_Man_t_::pGraph

Definition at line 71 of file rwr.h.

unsigned char* Rwr_Man_t_::pMap

Definition at line 55 of file rwr.h.

unsigned short* Rwr_Man_t_::pMapInv

Definition at line 56 of file rwr.h.

Extra_MmFixed_t* Rwr_Man_t_::pMmNode

Definition at line 63 of file rwr.h.

char* Rwr_Man_t_::pPerms

Definition at line 54 of file rwr.h.

char** Rwr_Man_t_::pPerms4

Definition at line 58 of file rwr.h.

char* Rwr_Man_t_::pPhases

Definition at line 53 of file rwr.h.

char* Rwr_Man_t_::pPractical

Definition at line 57 of file rwr.h.

Rwr_Node_t** Rwr_Man_t_::pTable

Definition at line 61 of file rwr.h.

unsigned short* Rwr_Man_t_::puCanons

Definition at line 52 of file rwr.h.

int Rwr_Man_t_::timeCut

Definition at line 88 of file rwr.h.

int Rwr_Man_t_::timeEval

Definition at line 90 of file rwr.h.

int Rwr_Man_t_::timeMffc

Definition at line 91 of file rwr.h.

int Rwr_Man_t_::timeRes

Definition at line 89 of file rwr.h.

int Rwr_Man_t_::timeStart

Definition at line 87 of file rwr.h.

int Rwr_Man_t_::timeTotal

Definition at line 93 of file rwr.h.

int Rwr_Man_t_::timeUpdate

Definition at line 92 of file rwr.h.

Vec_Vec_t* Rwr_Man_t_::vClasses

Definition at line 62 of file rwr.h.

Vec_Ptr_t* Rwr_Man_t_::vFanins

Definition at line 72 of file rwr.h.

Vec_Ptr_t* Rwr_Man_t_::vFaninsCur

Definition at line 73 of file rwr.h.

Vec_Ptr_t* Rwr_Man_t_::vForest

Definition at line 60 of file rwr.h.

Vec_Int_t* Rwr_Man_t_::vLevNums

Definition at line 74 of file rwr.h.

Vec_Ptr_t* Rwr_Man_t_::vNodesTemp

Definition at line 75 of file rwr.h.

---

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

• src/opt/rwr/rwr.h