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

Public Attributes

int nLeavesMax
 
int nDivsMax
 
Abc_Obj_t * pRoot
 
int nLeaves
 
int nDivs
 
int nMffc
 
int nLastGain
 
Vec_Ptr_t * vDivs
 
int nBits
 
int nWords
 
Vec_Ptr_t * vSims
 
unsigned * pInfo
 
unsigned * pCareSet
 
Vec_Ptr_t * vDivs1UP
 
Vec_Ptr_t * vDivs1UN
 
Vec_Ptr_t * vDivs1B
 
Vec_Ptr_t * vDivs2UP0
 
Vec_Ptr_t * vDivs2UP1
 
Vec_Ptr_t * vDivs2UN0
 
Vec_Ptr_t * vDivs2UN1
 
Vec_Ptr_t * vTemp
 
abctime timeCut
 
abctime timeTruth
 
abctime timeRes
 
abctime timeDiv
 
abctime timeMffc
 
abctime timeSim
 
abctime timeRes1
 
abctime timeResD
 
abctime timeRes2
 
abctime timeRes3
 
abctime timeNtk
 
abctime timeTotal
 
int nUsedNodeC
 
int nUsedNode0
 
int nUsedNode1Or
 
int nUsedNode1And
 
int nUsedNode2Or
 
int nUsedNode2And
 
int nUsedNode2OrAnd
 
int nUsedNode2AndOr
 
int nUsedNode3OrAnd
 
int nUsedNode3AndOr
 
int nUsedNodeTotal
 
int nTotalDivs
 
int nTotalLeaves
 
int nTotalGain
 
int nNodesBeg
 
int nNodesEnd
 

Detailed Description

Definition at line 48 of file abcOrchestration.c.

Member Data Documentation

◆ nBits

int Abc_ManRes_t_::nBits

Definition at line 61 of file abcOrchestration.c.

◆ nDivs

int Abc_ManRes_t_::nDivs

Definition at line 56 of file abcOrchestration.c.

◆ nDivsMax

int Abc_ManRes_t_::nDivsMax

Definition at line 52 of file abcOrchestration.c.

◆ nLastGain

int Abc_ManRes_t_::nLastGain

Definition at line 58 of file abcOrchestration.c.

◆ nLeaves

int Abc_ManRes_t_::nLeaves

Definition at line 55 of file abcOrchestration.c.

◆ nLeavesMax

int Abc_ManRes_t_::nLeavesMax

Definition at line 51 of file abcOrchestration.c.

◆ nMffc

int Abc_ManRes_t_::nMffc

Definition at line 57 of file abcOrchestration.c.

◆ nNodesBeg

int Abc_ManRes_t_::nNodesBeg

Definition at line 105 of file abcOrchestration.c.

◆ nNodesEnd

int Abc_ManRes_t_::nNodesEnd

Definition at line 106 of file abcOrchestration.c.

◆ nTotalDivs

int Abc_ManRes_t_::nTotalDivs

Definition at line 102 of file abcOrchestration.c.

◆ nTotalGain

int Abc_ManRes_t_::nTotalGain

Definition at line 104 of file abcOrchestration.c.

◆ nTotalLeaves

int Abc_ManRes_t_::nTotalLeaves

Definition at line 103 of file abcOrchestration.c.

◆ nUsedNode0

int Abc_ManRes_t_::nUsedNode0

Definition at line 92 of file abcOrchestration.c.

◆ nUsedNode1And

int Abc_ManRes_t_::nUsedNode1And

Definition at line 94 of file abcOrchestration.c.

◆ nUsedNode1Or

int Abc_ManRes_t_::nUsedNode1Or

Definition at line 93 of file abcOrchestration.c.

◆ nUsedNode2And

int Abc_ManRes_t_::nUsedNode2And

Definition at line 96 of file abcOrchestration.c.

◆ nUsedNode2AndOr

int Abc_ManRes_t_::nUsedNode2AndOr

Definition at line 98 of file abcOrchestration.c.

◆ nUsedNode2Or

int Abc_ManRes_t_::nUsedNode2Or

Definition at line 95 of file abcOrchestration.c.

◆ nUsedNode2OrAnd

int Abc_ManRes_t_::nUsedNode2OrAnd

Definition at line 97 of file abcOrchestration.c.

◆ nUsedNode3AndOr

int Abc_ManRes_t_::nUsedNode3AndOr

Definition at line 100 of file abcOrchestration.c.

◆ nUsedNode3OrAnd

int Abc_ManRes_t_::nUsedNode3OrAnd

Definition at line 99 of file abcOrchestration.c.

◆ nUsedNodeC

int Abc_ManRes_t_::nUsedNodeC

Definition at line 91 of file abcOrchestration.c.

◆ nUsedNodeTotal

int Abc_ManRes_t_::nUsedNodeTotal

Definition at line 101 of file abcOrchestration.c.

◆ nWords

int Abc_ManRes_t_::nWords

Definition at line 62 of file abcOrchestration.c.

◆ pCareSet

unsigned * Abc_ManRes_t_::pCareSet

Definition at line 66 of file abcOrchestration.c.

◆ pInfo

unsigned * Abc_ManRes_t_::pInfo

Definition at line 64 of file abcOrchestration.c.

◆ pRoot

Abc_Obj_t * Abc_ManRes_t_::pRoot

Definition at line 54 of file abcOrchestration.c.

◆ timeCut

abctime Abc_ManRes_t_::timeCut

Definition at line 78 of file abcOrchestration.c.

◆ timeDiv

abctime Abc_ManRes_t_::timeDiv

Definition at line 81 of file abcOrchestration.c.

◆ timeMffc

abctime Abc_ManRes_t_::timeMffc

Definition at line 82 of file abcOrchestration.c.

◆ timeNtk

abctime Abc_ManRes_t_::timeNtk

Definition at line 88 of file abcOrchestration.c.

◆ timeRes

abctime Abc_ManRes_t_::timeRes

Definition at line 80 of file abcOrchestration.c.

◆ timeRes1

abctime Abc_ManRes_t_::timeRes1

Definition at line 84 of file abcOrchestration.c.

◆ timeRes2

abctime Abc_ManRes_t_::timeRes2

Definition at line 86 of file abcOrchestration.c.

◆ timeRes3

abctime Abc_ManRes_t_::timeRes3

Definition at line 87 of file abcOrchestration.c.

◆ timeResD

abctime Abc_ManRes_t_::timeResD

Definition at line 85 of file abcOrchestration.c.

◆ timeSim

abctime Abc_ManRes_t_::timeSim

Definition at line 83 of file abcOrchestration.c.

◆ timeTotal

abctime Abc_ManRes_t_::timeTotal

Definition at line 89 of file abcOrchestration.c.

◆ timeTruth

abctime Abc_ManRes_t_::timeTruth

Definition at line 79 of file abcOrchestration.c.

◆ vDivs

Vec_Ptr_t * Abc_ManRes_t_::vDivs

Definition at line 59 of file abcOrchestration.c.

◆ vDivs1B

Vec_Ptr_t * Abc_ManRes_t_::vDivs1B

Definition at line 70 of file abcOrchestration.c.

◆ vDivs1UN

Vec_Ptr_t * Abc_ManRes_t_::vDivs1UN

Definition at line 69 of file abcOrchestration.c.

◆ vDivs1UP

Vec_Ptr_t * Abc_ManRes_t_::vDivs1UP

Definition at line 68 of file abcOrchestration.c.

◆ vDivs2UN0

Vec_Ptr_t * Abc_ManRes_t_::vDivs2UN0

Definition at line 73 of file abcOrchestration.c.

◆ vDivs2UN1

Vec_Ptr_t * Abc_ManRes_t_::vDivs2UN1

Definition at line 74 of file abcOrchestration.c.

◆ vDivs2UP0

Vec_Ptr_t * Abc_ManRes_t_::vDivs2UP0

Definition at line 71 of file abcOrchestration.c.

◆ vDivs2UP1

Vec_Ptr_t * Abc_ManRes_t_::vDivs2UP1

Definition at line 72 of file abcOrchestration.c.

◆ vSims

Vec_Ptr_t * Abc_ManRes_t_::vSims

Definition at line 63 of file abcOrchestration.c.

◆ vTemp

Vec_Ptr_t * Abc_ManRes_t_::vTemp

Definition at line 76 of file abcOrchestration.c.

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