Rwr_Man_t_ Struct Reference

#include <rwr.h>

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
abctime	timeStart
abctime	timeCut
abctime	timeRes
abctime	timeEval
abctime	timeMffc
abctime	timeUpdate
abctime	timeTotal

Detailed Description

Definition at line 50 of file rwr.h.

Field Documentation

int Rwr_Man_t_::fCompl

Definition at line 72 of file rwr.h.

int Rwr_Man_t_::nAdded

Definition at line 69 of file rwr.h.

int Rwr_Man_t_::nClasses

Definition at line 70 of file rwr.h.

int Rwr_Man_t_::nConsidered

Definition at line 68 of file rwr.h.

int Rwr_Man_t_::nCutsBad

Definition at line 86 of file rwr.h.

int Rwr_Man_t_::nCutsGood

Definition at line 85 of file rwr.h.

int Rwr_Man_t_::nFuncs

Definition at line 53 of file rwr.h.

int Rwr_Man_t_::nNodesBeg

Definition at line 82 of file rwr.h.

int Rwr_Man_t_::nNodesConsidered

Definition at line 79 of file rwr.h.

int Rwr_Man_t_::nNodesEnd

Definition at line 83 of file rwr.h.

int Rwr_Man_t_::nNodesGained

Definition at line 81 of file rwr.h.

int Rwr_Man_t_::nNodesRewritten

Definition at line 80 of file rwr.h.

int Rwr_Man_t_::nScores[222]

Definition at line 84 of file rwr.h.

int Rwr_Man_t_::nSubgraphs

Definition at line 87 of file rwr.h.

int Rwr_Man_t_::nTravIds

Definition at line 67 of file rwr.h.

void* Rwr_Man_t_::pGraph

Definition at line 73 of file rwr.h.

unsigned char* Rwr_Man_t_::pMap

Definition at line 57 of file rwr.h.

unsigned short* Rwr_Man_t_::pMapInv

Definition at line 58 of file rwr.h.

Extra_MmFixed_t* Rwr_Man_t_::pMmNode

Definition at line 65 of file rwr.h.

char* Rwr_Man_t_::pPerms

Definition at line 56 of file rwr.h.

char** Rwr_Man_t_::pPerms4

Definition at line 60 of file rwr.h.

char* Rwr_Man_t_::pPhases

Definition at line 55 of file rwr.h.

char* Rwr_Man_t_::pPractical

Definition at line 59 of file rwr.h.

Rwr_Node_t** Rwr_Man_t_::pTable

Definition at line 63 of file rwr.h.

unsigned short* Rwr_Man_t_::puCanons

Definition at line 54 of file rwr.h.

abctime Rwr_Man_t_::timeCut

Definition at line 90 of file rwr.h.

abctime Rwr_Man_t_::timeEval

Definition at line 92 of file rwr.h.

abctime Rwr_Man_t_::timeMffc

Definition at line 93 of file rwr.h.

abctime Rwr_Man_t_::timeRes

Definition at line 91 of file rwr.h.

abctime Rwr_Man_t_::timeStart

Definition at line 89 of file rwr.h.

abctime Rwr_Man_t_::timeTotal

Definition at line 95 of file rwr.h.

abctime Rwr_Man_t_::timeUpdate

Definition at line 94 of file rwr.h.

Vec_Vec_t* Rwr_Man_t_::vClasses

Definition at line 64 of file rwr.h.

Vec_Ptr_t* Rwr_Man_t_::vFanins

Definition at line 74 of file rwr.h.

Vec_Ptr_t* Rwr_Man_t_::vFaninsCur

Definition at line 75 of file rwr.h.

Vec_Ptr_t* Rwr_Man_t_::vForest

Definition at line 62 of file rwr.h.

Vec_Int_t* Rwr_Man_t_::vLevNums

Definition at line 76 of file rwr.h.

Vec_Ptr_t* Rwr_Man_t_::vNodesTemp

Definition at line 77 of file rwr.h.

---

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

• rwr.h