Csw_Man_t_ Struct Reference

#include <cswInt.h>

Collaboration diagram for Csw_Man_t_:

[legend]

Data Fields
Aig_Man_t *	pManAig
Aig_Man_t *	pManRes
Aig_Obj_t **	pEquiv
Csw_Cut_t **	pCuts
int *	pnRefs
Csw_Cut_t **	pTable
int	nTableSize
int	nCutsMax
int	nLeafMax
int	fVerbose
int	nCutSize
int	nTruthWords
Aig_MmFixed_t *	pMemCuts
unsigned *	puTemp [4]
int	nNodesTriv0
int	nNodesTriv1
int	nNodesTriv2
int	nNodesCuts
int	nNodesTried
int	timeCuts
int	timeHash
int	timeOther
int	timeTotal

---

Detailed Description

Definition at line 69 of file cswInt.h.

---

Field Documentation

int Csw_Man_t_::fVerbose

Definition at line 83 of file cswInt.h.

int Csw_Man_t_::nCutSize

Definition at line 85 of file cswInt.h.

int Csw_Man_t_::nCutsMax

Definition at line 81 of file cswInt.h.

int Csw_Man_t_::nLeafMax

Definition at line 82 of file cswInt.h.

int Csw_Man_t_::nNodesCuts

Definition at line 93 of file cswInt.h.

int Csw_Man_t_::nNodesTried

Definition at line 94 of file cswInt.h.

int Csw_Man_t_::nNodesTriv0

Definition at line 90 of file cswInt.h.

int Csw_Man_t_::nNodesTriv1

Definition at line 91 of file cswInt.h.

int Csw_Man_t_::nNodesTriv2

Definition at line 92 of file cswInt.h.

int Csw_Man_t_::nTableSize

Definition at line 79 of file cswInt.h.

int Csw_Man_t_::nTruthWords

Definition at line 86 of file cswInt.h.

Csw_Cut_t** Csw_Man_t_::pCuts

Definition at line 75 of file cswInt.h.

Aig_Obj_t** Csw_Man_t_::pEquiv

Definition at line 74 of file cswInt.h.

Aig_Man_t* Csw_Man_t_::pManAig

Definition at line 72 of file cswInt.h.

Aig_Man_t* Csw_Man_t_::pManRes

Definition at line 73 of file cswInt.h.

Aig_MmFixed_t* Csw_Man_t_::pMemCuts

Definition at line 87 of file cswInt.h.

int* Csw_Man_t_::pnRefs

Definition at line 76 of file cswInt.h.

Csw_Cut_t** Csw_Man_t_::pTable

Definition at line 78 of file cswInt.h.

unsigned* Csw_Man_t_::puTemp[4]

Definition at line 88 of file cswInt.h.

int Csw_Man_t_::timeCuts

Definition at line 95 of file cswInt.h.

int Csw_Man_t_::timeHash

Definition at line 96 of file cswInt.h.

int Csw_Man_t_::timeOther

Definition at line 97 of file cswInt.h.

int Csw_Man_t_::timeTotal

Definition at line 98 of file cswInt.h.

---

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

• src/aig/csw/cswInt.h