ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Res_Man_t_ Struct Reference
Collaboration diagram for Res_Man_t_:
Collaboration graph
[legend]

Public Attributes

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
 
abctime timeWin
 
abctime timeDiv
 
abctime timeAig
 
abctime timeSim
 
abctime timeCand
 
abctime timeSatTotal
 
abctime timeSatSat
 
abctime timeSatUnsat
 
abctime timeSatSim
 
abctime timeInt
 
abctime timeUpd
 
abctime timeTotal
 

Detailed Description

Definition at line 34 of file resCore.c.

Member Data Documentation

◆ nCandSets

int Res_Man_t_::nCandSets

Definition at line 55 of file resCore.c.

◆ nConstsUsed

int Res_Man_t_::nConstsUsed

Definition at line 54 of file resCore.c.

◆ nDivNodes

int Res_Man_t_::nDivNodes

Definition at line 51 of file resCore.c.

◆ nProvedSets

int Res_Man_t_::nProvedSets

Definition at line 56 of file resCore.c.

◆ nSimEmpty

int Res_Man_t_::nSimEmpty

Definition at line 57 of file resCore.c.

◆ nTotalNets

int Res_Man_t_::nTotalNets

Definition at line 58 of file resCore.c.

◆ nTotalNets2

int Res_Man_t_::nTotalNets2

Definition at line 60 of file resCore.c.

◆ nTotalNodes

int Res_Man_t_::nTotalNodes

Definition at line 59 of file resCore.c.

◆ nTotalNodes2

int Res_Man_t_::nTotalNodes2

Definition at line 61 of file resCore.c.

◆ nWinNodes

int Res_Man_t_::nWinNodes

Definition at line 50 of file resCore.c.

◆ nWins

int Res_Man_t_::nWins

Definition at line 49 of file resCore.c.

◆ nWinsTriv

int Res_Man_t_::nWinsTriv

Definition at line 52 of file resCore.c.

◆ nWinsUsed

int Res_Man_t_::nWinsUsed

Definition at line 53 of file resCore.c.

◆ pAig

Abc_Ntk_t* Res_Man_t_::pAig

Definition at line 40 of file resCore.c.

◆ pCnf

Sto_Man_t* Res_Man_t_::pCnf

Definition at line 42 of file resCore.c.

◆ pMan

Int_Man_t* Res_Man_t_::pMan

Definition at line 43 of file resCore.c.

◆ pPars

Res_Par_t* Res_Man_t_::pPars

Definition at line 37 of file resCore.c.

◆ pSim

Res_Sim_t* Res_Man_t_::pSim

Definition at line 41 of file resCore.c.

◆ pWin

Res_Win_t* Res_Man_t_::pWin

Definition at line 39 of file resCore.c.

◆ timeAig

abctime Res_Man_t_::timeAig

Definition at line 65 of file resCore.c.

◆ timeCand

abctime Res_Man_t_::timeCand

Definition at line 67 of file resCore.c.

◆ timeDiv

abctime Res_Man_t_::timeDiv

Definition at line 64 of file resCore.c.

◆ timeInt

abctime Res_Man_t_::timeInt

Definition at line 72 of file resCore.c.

◆ timeSatSat

abctime Res_Man_t_::timeSatSat

Definition at line 69 of file resCore.c.

◆ timeSatSim

abctime Res_Man_t_::timeSatSim

Definition at line 71 of file resCore.c.

◆ timeSatTotal

abctime Res_Man_t_::timeSatTotal

Definition at line 68 of file resCore.c.

◆ timeSatUnsat

abctime Res_Man_t_::timeSatUnsat

Definition at line 70 of file resCore.c.

◆ timeSim

abctime Res_Man_t_::timeSim

Definition at line 66 of file resCore.c.

◆ timeTotal

abctime Res_Man_t_::timeTotal

Definition at line 74 of file resCore.c.

◆ timeUpd

abctime Res_Man_t_::timeUpd

Definition at line 73 of file resCore.c.

◆ timeWin

abctime Res_Man_t_::timeWin

Definition at line 63 of file resCore.c.

◆ vLevels

Vec_Vec_t* Res_Man_t_::vLevels

Definition at line 47 of file resCore.c.

◆ vMem

Vec_Int_t* Res_Man_t_::vMem

Definition at line 44 of file resCore.c.

◆ vResubs

Vec_Vec_t* Res_Man_t_::vResubs

Definition at line 45 of file resCore.c.

◆ vResubsW

Vec_Vec_t* Res_Man_t_::vResubsW

Definition at line 46 of file resCore.c.

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