Res_Man_t_ Struct Reference

Collaboration diagram for Res_Man_t_:

[legend]

Data Fields
Res_Par_t *	pPars
Res_Win_t *	pWin
Abc_Ntk_t *	pAig
Res_Sim_t *	pSim
Sto_Man_t *	pCnf
Int_Man_t *	pMan
Vec_Int_t *	vMem
Vec_Vec_t *	vResubs
Vec_Vec_t *	vResubsW
Vec_Vec_t *	vLevels
int	nWins
int	nWinNodes
int	nDivNodes
int	nWinsTriv
int	nWinsUsed
int	nConstsUsed
int	nCandSets
int	nProvedSets
int	nSimEmpty
int	nTotalNets
int	nTotalNodes
int	nTotalNets2
int	nTotalNodes2
int	timeWin
int	timeDiv
int	timeAig
int	timeSim
int	timeCand
int	timeSatTotal
int	timeSatSat
int	timeSatUnsat
int	timeSatSim
int	timeInt
int	timeUpd
int	timeTotal

---

Detailed Description

Definition at line 31 of file resCore.c.

---

Field Documentation

int Res_Man_t_::nCandSets

Definition at line 52 of file resCore.c.

int Res_Man_t_::nConstsUsed

Definition at line 51 of file resCore.c.

int Res_Man_t_::nDivNodes

Definition at line 48 of file resCore.c.

int Res_Man_t_::nProvedSets

Definition at line 53 of file resCore.c.

int Res_Man_t_::nSimEmpty

Definition at line 54 of file resCore.c.

int Res_Man_t_::nTotalNets

Definition at line 55 of file resCore.c.

int Res_Man_t_::nTotalNets2

Definition at line 57 of file resCore.c.

int Res_Man_t_::nTotalNodes

Definition at line 56 of file resCore.c.

int Res_Man_t_::nTotalNodes2

Definition at line 58 of file resCore.c.

int Res_Man_t_::nWinNodes

Definition at line 47 of file resCore.c.

int Res_Man_t_::nWins

Definition at line 46 of file resCore.c.

int Res_Man_t_::nWinsTriv

Definition at line 49 of file resCore.c.

int Res_Man_t_::nWinsUsed

Definition at line 50 of file resCore.c.

Abc_Ntk_t* Res_Man_t_::pAig

Definition at line 37 of file resCore.c.

Sto_Man_t* Res_Man_t_::pCnf

Definition at line 39 of file resCore.c.

Int_Man_t* Res_Man_t_::pMan

Definition at line 40 of file resCore.c.

Res_Par_t* Res_Man_t_::pPars

Definition at line 34 of file resCore.c.

Res_Sim_t* Res_Man_t_::pSim

Definition at line 38 of file resCore.c.

Res_Win_t* Res_Man_t_::pWin

Definition at line 36 of file resCore.c.

int Res_Man_t_::timeAig

Definition at line 62 of file resCore.c.

int Res_Man_t_::timeCand

Definition at line 64 of file resCore.c.

int Res_Man_t_::timeDiv

Definition at line 61 of file resCore.c.

int Res_Man_t_::timeInt

Definition at line 69 of file resCore.c.

int Res_Man_t_::timeSatSat

Definition at line 66 of file resCore.c.

int Res_Man_t_::timeSatSim

Definition at line 68 of file resCore.c.

int Res_Man_t_::timeSatTotal

Definition at line 65 of file resCore.c.

int Res_Man_t_::timeSatUnsat

Definition at line 67 of file resCore.c.

int Res_Man_t_::timeSim

Definition at line 63 of file resCore.c.

int Res_Man_t_::timeTotal

Definition at line 71 of file resCore.c.

int Res_Man_t_::timeUpd

Definition at line 70 of file resCore.c.

int Res_Man_t_::timeWin

Definition at line 60 of file resCore.c.

Vec_Vec_t* Res_Man_t_::vLevels

Definition at line 44 of file resCore.c.

Vec_Int_t* Res_Man_t_::vMem

Definition at line 41 of file resCore.c.

Vec_Vec_t* Res_Man_t_::vResubs

Definition at line 42 of file resCore.c.

Vec_Vec_t* Res_Man_t_::vResubsW

Definition at line 43 of file resCore.c.

---

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

• src/opt/res/resCore.c