Rwt_Man_t_ Struct Reference

#include <rwt.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
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.

Field Documentation

int Rwt_Man_t_::fCompl

Definition at line 80 of file rwt.h.

int Rwt_Man_t_::nAdded

Definition at line 77 of file rwt.h.

int Rwt_Man_t_::nClasses

Definition at line 78 of file rwt.h.

int Rwt_Man_t_::nConsidered

Definition at line 76 of file rwt.h.

int Rwt_Man_t_::nCutsBad

Definition at line 94 of file rwt.h.

int Rwt_Man_t_::nCutsGood

Definition at line 93 of file rwt.h.

int Rwt_Man_t_::nFuncs

Definition at line 61 of file rwt.h.

int Rwt_Man_t_::nNodesConsidered

Definition at line 89 of file rwt.h.

int Rwt_Man_t_::nNodesGained

Definition at line 91 of file rwt.h.

int Rwt_Man_t_::nNodesRewritten

Definition at line 90 of file rwt.h.

int Rwt_Man_t_::nScores[222]

Definition at line 92 of file rwt.h.

int Rwt_Man_t_::nSubgraphs

Definition at line 95 of file rwt.h.

int Rwt_Man_t_::nTravIds

Definition at line 75 of file rwt.h.

void* Rwt_Man_t_::pCut

Definition at line 81 of file rwt.h.

void* Rwt_Man_t_::pGraph

Definition at line 82 of file rwt.h.

unsigned char* Rwt_Man_t_::pMap

Definition at line 65 of file rwt.h.

unsigned short* Rwt_Man_t_::pMapInv

Definition at line 66 of file rwt.h.

Mem_Fixed_t* Rwt_Man_t_::pMmNode

Definition at line 73 of file rwt.h.

char* Rwt_Man_t_::pPerm

Definition at line 83 of file rwt.h.

char* Rwt_Man_t_::pPerms

Definition at line 64 of file rwt.h.

char** Rwt_Man_t_::pPerms4

Definition at line 68 of file rwt.h.

char* Rwt_Man_t_::pPhases

Definition at line 63 of file rwt.h.

char* Rwt_Man_t_::pPractical

Definition at line 67 of file rwt.h.

Rwt_Node_t** Rwt_Man_t_::pTable

Definition at line 71 of file rwt.h.

unsigned short* Rwt_Man_t_::puCanons

Definition at line 62 of file rwt.h.

abctime Rwt_Man_t_::timeCut

Definition at line 99 of file rwt.h.

abctime Rwt_Man_t_::timeEval

Definition at line 101 of file rwt.h.

abctime Rwt_Man_t_::timeMffc

Definition at line 102 of file rwt.h.

abctime Rwt_Man_t_::timeRes

Definition at line 100 of file rwt.h.

abctime Rwt_Man_t_::timeStart

Definition at line 97 of file rwt.h.

abctime Rwt_Man_t_::timeTotal

Definition at line 104 of file rwt.h.

abctime Rwt_Man_t_::timeTruth

Definition at line 98 of file rwt.h.

abctime Rwt_Man_t_::timeUpdate

Definition at line 103 of file rwt.h.

Vec_Vec_t* Rwt_Man_t_::vClasses

Definition at line 72 of file rwt.h.

Vec_Ptr_t* Rwt_Man_t_::vFanins

Definition at line 84 of file rwt.h.

Vec_Ptr_t* Rwt_Man_t_::vFaninsCur

Definition at line 85 of file rwt.h.

Vec_Ptr_t* Rwt_Man_t_::vForest

Definition at line 70 of file rwt.h.

Vec_Int_t* Rwt_Man_t_::vLevNums

Definition at line 86 of file rwt.h.

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:

• rwt.h