Rwt_Man_t_ Struct Reference

#include <rwt.h>

Collaboration diagram for Rwt_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
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
int	timeStart
int	timeTruth
int	timeCut
int	timeRes
int	timeEval
int	timeMffc
int	timeUpdate
int	timeTotal

---

Detailed Description

Definition at line 51 of file rwt.h.

---

Field Documentation

int Rwt_Man_t_::fCompl

Definition at line 73 of file rwt.h.

int Rwt_Man_t_::nAdded

Definition at line 70 of file rwt.h.

int Rwt_Man_t_::nClasses

Definition at line 71 of file rwt.h.

int Rwt_Man_t_::nConsidered

Definition at line 69 of file rwt.h.

int Rwt_Man_t_::nCutsBad

Definition at line 87 of file rwt.h.

int Rwt_Man_t_::nCutsGood

Definition at line 86 of file rwt.h.

int Rwt_Man_t_::nFuncs

Definition at line 54 of file rwt.h.

int Rwt_Man_t_::nNodesConsidered

Definition at line 82 of file rwt.h.

int Rwt_Man_t_::nNodesGained

Definition at line 84 of file rwt.h.

int Rwt_Man_t_::nNodesRewritten

Definition at line 83 of file rwt.h.

int Rwt_Man_t_::nScores[222]

Definition at line 85 of file rwt.h.

int Rwt_Man_t_::nSubgraphs

Definition at line 88 of file rwt.h.

int Rwt_Man_t_::nTravIds

Definition at line 68 of file rwt.h.

void* Rwt_Man_t_::pCut

Definition at line 74 of file rwt.h.

void* Rwt_Man_t_::pGraph

Definition at line 75 of file rwt.h.

unsigned char* Rwt_Man_t_::pMap

Definition at line 58 of file rwt.h.

unsigned short* Rwt_Man_t_::pMapInv

Definition at line 59 of file rwt.h.

Mem_Fixed_t* Rwt_Man_t_::pMmNode

Definition at line 66 of file rwt.h.

char* Rwt_Man_t_::pPerm

Definition at line 76 of file rwt.h.

char* Rwt_Man_t_::pPerms

Definition at line 57 of file rwt.h.

char** Rwt_Man_t_::pPerms4

Definition at line 61 of file rwt.h.

char* Rwt_Man_t_::pPhases

Definition at line 56 of file rwt.h.

char* Rwt_Man_t_::pPractical

Definition at line 60 of file rwt.h.

Rwt_Node_t** Rwt_Man_t_::pTable

Definition at line 64 of file rwt.h.

unsigned short* Rwt_Man_t_::puCanons

Definition at line 55 of file rwt.h.

int Rwt_Man_t_::timeCut

Definition at line 92 of file rwt.h.

int Rwt_Man_t_::timeEval

Definition at line 94 of file rwt.h.

int Rwt_Man_t_::timeMffc

Definition at line 95 of file rwt.h.

int Rwt_Man_t_::timeRes

Definition at line 93 of file rwt.h.

int Rwt_Man_t_::timeStart

Definition at line 90 of file rwt.h.

int Rwt_Man_t_::timeTotal

Definition at line 97 of file rwt.h.

int Rwt_Man_t_::timeTruth

Definition at line 91 of file rwt.h.

int Rwt_Man_t_::timeUpdate

Definition at line 96 of file rwt.h.

Vec_Vec_t* Rwt_Man_t_::vClasses

Definition at line 65 of file rwt.h.

Vec_Ptr_t* Rwt_Man_t_::vFanins

Definition at line 77 of file rwt.h.

Vec_Ptr_t* Rwt_Man_t_::vFaninsCur

Definition at line 78 of file rwt.h.

Vec_Ptr_t* Rwt_Man_t_::vForest

Definition at line 63 of file rwt.h.

Vec_Int_t* Rwt_Man_t_::vLevNums

Definition at line 79 of file rwt.h.

Vec_Ptr_t* Rwt_Man_t_::vNodesTemp

Definition at line 80 of file rwt.h.

---

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

• src/aig/rwt/rwt.h