#include <rwr.h>

Collaboration diagram for Rwr_Man_t_:

[legend]

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

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.

Member Data Documentation

◆ fCompl

int Rwr_Man_t_::fCompl

Definition at line 72 of file rwr.h.

◆ nAdded

int Rwr_Man_t_::nAdded

Definition at line 69 of file rwr.h.

◆ nClasses

int Rwr_Man_t_::nClasses

Definition at line 70 of file rwr.h.

◆ nConsidered

int Rwr_Man_t_::nConsidered

Definition at line 68 of file rwr.h.

◆ nCutsBad

int Rwr_Man_t_::nCutsBad

Definition at line 86 of file rwr.h.

◆ nCutsGood

int Rwr_Man_t_::nCutsGood

Definition at line 85 of file rwr.h.

◆ nFuncs

int Rwr_Man_t_::nFuncs

Definition at line 53 of file rwr.h.

◆ nNodesBeg

int Rwr_Man_t_::nNodesBeg

Definition at line 82 of file rwr.h.

◆ nNodesConsidered

int Rwr_Man_t_::nNodesConsidered

Definition at line 79 of file rwr.h.

◆ nNodesEnd

int Rwr_Man_t_::nNodesEnd

Definition at line 83 of file rwr.h.

◆ nNodesGained

int Rwr_Man_t_::nNodesGained

Definition at line 81 of file rwr.h.

◆ nNodesRewritten

int Rwr_Man_t_::nNodesRewritten

Definition at line 80 of file rwr.h.

◆ nScores

int Rwr_Man_t_::nScores[222]

Definition at line 84 of file rwr.h.

◆ nSubgraphs

int Rwr_Man_t_::nSubgraphs

Definition at line 87 of file rwr.h.

◆ nTravIds

int Rwr_Man_t_::nTravIds

Definition at line 67 of file rwr.h.

◆ pGraph

void* Rwr_Man_t_::pGraph

Definition at line 73 of file rwr.h.

◆ pMap

unsigned char* Rwr_Man_t_::pMap

Definition at line 57 of file rwr.h.

◆ pMapInv

unsigned short* Rwr_Man_t_::pMapInv

Definition at line 58 of file rwr.h.

◆ pMmNode

Extra_MmFixed_t* Rwr_Man_t_::pMmNode

Definition at line 65 of file rwr.h.

◆ pPerms

char* Rwr_Man_t_::pPerms

Definition at line 56 of file rwr.h.

◆ pPerms4

char** Rwr_Man_t_::pPerms4

Definition at line 60 of file rwr.h.

◆ pPhases

char* Rwr_Man_t_::pPhases

Definition at line 55 of file rwr.h.

◆ pPractical

char* Rwr_Man_t_::pPractical

Definition at line 59 of file rwr.h.

◆ pTable

Rwr_Node_t** Rwr_Man_t_::pTable

Definition at line 63 of file rwr.h.

◆ puCanons

unsigned short* Rwr_Man_t_::puCanons

Definition at line 54 of file rwr.h.

◆ timeCut

abctime Rwr_Man_t_::timeCut

Definition at line 90 of file rwr.h.

◆ timeEval

abctime Rwr_Man_t_::timeEval

Definition at line 92 of file rwr.h.

◆ timeMffc

abctime Rwr_Man_t_::timeMffc

Definition at line 93 of file rwr.h.

◆ timeRes

abctime Rwr_Man_t_::timeRes

Definition at line 91 of file rwr.h.

◆ timeStart

abctime Rwr_Man_t_::timeStart

Definition at line 89 of file rwr.h.

◆ timeTotal

abctime Rwr_Man_t_::timeTotal

Definition at line 95 of file rwr.h.

◆ timeUpdate

abctime Rwr_Man_t_::timeUpdate

Definition at line 94 of file rwr.h.

◆ vClasses

Vec_Vec_t* Rwr_Man_t_::vClasses

Definition at line 64 of file rwr.h.

◆ vFanins

Vec_Ptr_t* Rwr_Man_t_::vFanins

Definition at line 74 of file rwr.h.

◆ vFaninsCur

Vec_Ptr_t* Rwr_Man_t_::vFaninsCur

Definition at line 75 of file rwr.h.

◆ vForest

Vec_Ptr_t* Rwr_Man_t_::vForest

Definition at line 62 of file rwr.h.

◆ vLevNums

Vec_Int_t* Rwr_Man_t_::vLevNums

Definition at line 76 of file rwr.h.

◆ vNodesTemp

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:

src/opt/rwr/rwr.h

Public Attributes