Csw_Man_t_ Struct Reference

#include <cswInt.h>

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
abctime	timeCuts
abctime	timeHash
abctime	timeOther
abctime	timeTotal

Detailed Description

Definition at line 70 of file cswInt.h.

Field Documentation

int Csw_Man_t_::fVerbose

Definition at line 84 of file cswInt.h.

int Csw_Man_t_::nCutSize

Definition at line 86 of file cswInt.h.

int Csw_Man_t_::nCutsMax

Definition at line 82 of file cswInt.h.

int Csw_Man_t_::nLeafMax

Definition at line 83 of file cswInt.h.

int Csw_Man_t_::nNodesCuts

Definition at line 94 of file cswInt.h.

int Csw_Man_t_::nNodesTried

Definition at line 95 of file cswInt.h.

int Csw_Man_t_::nNodesTriv0

Definition at line 91 of file cswInt.h.

int Csw_Man_t_::nNodesTriv1

Definition at line 92 of file cswInt.h.

int Csw_Man_t_::nNodesTriv2

Definition at line 93 of file cswInt.h.

int Csw_Man_t_::nTableSize

Definition at line 80 of file cswInt.h.

int Csw_Man_t_::nTruthWords

Definition at line 87 of file cswInt.h.

Csw_Cut_t** Csw_Man_t_::pCuts

Definition at line 76 of file cswInt.h.

Aig_Obj_t** Csw_Man_t_::pEquiv

Definition at line 75 of file cswInt.h.

Aig_Man_t* Csw_Man_t_::pManAig

Definition at line 73 of file cswInt.h.

Aig_Man_t* Csw_Man_t_::pManRes

Definition at line 74 of file cswInt.h.

Aig_MmFixed_t* Csw_Man_t_::pMemCuts

Definition at line 88 of file cswInt.h.

int* Csw_Man_t_::pnRefs

Definition at line 77 of file cswInt.h.

Csw_Cut_t** Csw_Man_t_::pTable

Definition at line 79 of file cswInt.h.

unsigned* Csw_Man_t_::puTemp[4]

Definition at line 89 of file cswInt.h.

abctime Csw_Man_t_::timeCuts

Definition at line 96 of file cswInt.h.

abctime Csw_Man_t_::timeHash

Definition at line 97 of file cswInt.h.

abctime Csw_Man_t_::timeOther

Definition at line 98 of file cswInt.h.

abctime Csw_Man_t_::timeTotal

Definition at line 99 of file cswInt.h.

---

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

• cswInt.h