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

Public Attributes

int nNodeSizeMax
 
int nConeSizeMax
 
int fVerbose
 
Vec_Ptr_t * vVars
 
Vec_Ptr_t * vFuncs
 
Vec_Int_t * vMemory
 
Vec_Str_t * vCube
 
Vec_Int_t * vForm
 
Vec_Ptr_t * vVisited
 
Vec_Ptr_t * vLeaves
 
int nLastGain
 
int nNodesConsidered
 
int nNodesRefactored
 
int nNodesGained
 
int nNodesBeg
 
int nNodesEnd
 
abctime timeCut
 
abctime timeTru
 
abctime timeDcs
 
abctime timeSop
 
abctime timeFact
 
abctime timeEval
 
abctime timeRes
 
abctime timeNtk
 
abctime timeTotal
 

Detailed Description

Definition at line 136 of file abcOrchestration.c.

Member Data Documentation

◆ fVerbose

int Abc_ManRef_t_::fVerbose

Definition at line 140 of file abcOrchestration.c.

◆ nConeSizeMax

int Abc_ManRef_t_::nConeSizeMax

Definition at line 139 of file abcOrchestration.c.

◆ nLastGain

int Abc_ManRef_t_::nLastGain

Definition at line 148 of file abcOrchestration.c.

◆ nNodesBeg

int Abc_ManRef_t_::nNodesBeg

Definition at line 152 of file abcOrchestration.c.

◆ nNodesConsidered

int Abc_ManRef_t_::nNodesConsidered

Definition at line 149 of file abcOrchestration.c.

◆ nNodesEnd

int Abc_ManRef_t_::nNodesEnd

Definition at line 153 of file abcOrchestration.c.

◆ nNodesGained

int Abc_ManRef_t_::nNodesGained

Definition at line 151 of file abcOrchestration.c.

◆ nNodeSizeMax

int Abc_ManRef_t_::nNodeSizeMax

Definition at line 138 of file abcOrchestration.c.

◆ nNodesRefactored

int Abc_ManRef_t_::nNodesRefactored

Definition at line 150 of file abcOrchestration.c.

◆ timeCut

abctime Abc_ManRef_t_::timeCut

Definition at line 154 of file abcOrchestration.c.

◆ timeDcs

abctime Abc_ManRef_t_::timeDcs

Definition at line 156 of file abcOrchestration.c.

◆ timeEval

abctime Abc_ManRef_t_::timeEval

Definition at line 159 of file abcOrchestration.c.

◆ timeFact

abctime Abc_ManRef_t_::timeFact

Definition at line 158 of file abcOrchestration.c.

◆ timeNtk

abctime Abc_ManRef_t_::timeNtk

Definition at line 161 of file abcOrchestration.c.

◆ timeRes

abctime Abc_ManRef_t_::timeRes

Definition at line 160 of file abcOrchestration.c.

◆ timeSop

abctime Abc_ManRef_t_::timeSop

Definition at line 157 of file abcOrchestration.c.

◆ timeTotal

abctime Abc_ManRef_t_::timeTotal

Definition at line 162 of file abcOrchestration.c.

◆ timeTru

abctime Abc_ManRef_t_::timeTru

Definition at line 155 of file abcOrchestration.c.

◆ vCube

Vec_Str_t * Abc_ManRef_t_::vCube

Definition at line 144 of file abcOrchestration.c.

◆ vForm

Vec_Int_t * Abc_ManRef_t_::vForm

Definition at line 145 of file abcOrchestration.c.

◆ vFuncs

Vec_Ptr_t * Abc_ManRef_t_::vFuncs

Definition at line 142 of file abcOrchestration.c.

◆ vLeaves

Vec_Ptr_t * Abc_ManRef_t_::vLeaves

Definition at line 147 of file abcOrchestration.c.

◆ vMemory

Vec_Int_t * Abc_ManRef_t_::vMemory

Definition at line 143 of file abcOrchestration.c.

◆ vVars

Vec_Ptr_t * Abc_ManRef_t_::vVars

Definition at line 141 of file abcOrchestration.c.

◆ vVisited

Vec_Ptr_t * Abc_ManRef_t_::vVisited

Definition at line 146 of file abcOrchestration.c.

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