ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Bdc_Man_t_ Struct Reference

#include <bdcInt.h>

Collaboration diagram for Bdc_Man_t_:
Collaboration graph
[legend]

Public Attributes

Bdc_Par_t * pPars
 
int nVars
 
int nWords
 
int nNodesMax
 
int nDivsLimit
 
Bdc_Fun_t * pNodes
 
int nNodesAlloc
 
int nNodes
 
int nNodesNew
 
Bdc_Fun_t * pRoot
 
Bdc_Fun_t ** pTable
 
int nTableSize
 
Vec_Int_t * vSpots
 
Vec_Ptr_t * vTruths
 
unsigned * puTemp1
 
unsigned * puTemp2
 
unsigned * puTemp3
 
unsigned * puTemp4
 
Bdc_Isf_t * pIsfOL
 
Bdc_Isf_t IsfOL
 
Bdc_Isf_t * pIsfOR
 
Bdc_Isf_t IsfOR
 
Bdc_Isf_t * pIsfAL
 
Bdc_Isf_t IsfAL
 
Bdc_Isf_t * pIsfAR
 
Bdc_Isf_t IsfAR
 
Vec_Int_t * vMemory
 
int numCalls
 
int numNodes
 
int numMuxes
 
int numAnds
 
int numOrs
 
int numWeaks
 
int numReuse
 
abctime timeCache
 
abctime timeCheck
 
abctime timeMuxes
 
abctime timeSupps
 
abctime timeTotal
 

Detailed Description

Definition at line 81 of file bdcInt.h.

Member Data Documentation

◆ IsfAL

Bdc_Isf_t Bdc_Man_t_::IsfAL

Definition at line 108 of file bdcInt.h.

◆ IsfAR

Bdc_Isf_t Bdc_Man_t_::IsfAR

Definition at line 109 of file bdcInt.h.

◆ IsfOL

Bdc_Isf_t Bdc_Man_t_::IsfOL

Definition at line 106 of file bdcInt.h.

◆ IsfOR

Bdc_Isf_t Bdc_Man_t_::IsfOR

Definition at line 107 of file bdcInt.h.

◆ nDivsLimit

int Bdc_Man_t_::nDivsLimit

Definition at line 88 of file bdcInt.h.

◆ nNodes

int Bdc_Man_t_::nNodes

Definition at line 92 of file bdcInt.h.

◆ nNodesAlloc

int Bdc_Man_t_::nNodesAlloc

Definition at line 91 of file bdcInt.h.

◆ nNodesMax

int Bdc_Man_t_::nNodesMax

Definition at line 87 of file bdcInt.h.

◆ nNodesNew

int Bdc_Man_t_::nNodesNew

Definition at line 93 of file bdcInt.h.

◆ nTableSize

int Bdc_Man_t_::nTableSize

Definition at line 97 of file bdcInt.h.

◆ numAnds

int Bdc_Man_t_::numAnds

Definition at line 116 of file bdcInt.h.

◆ numCalls

int Bdc_Man_t_::numCalls

Definition at line 113 of file bdcInt.h.

◆ numMuxes

int Bdc_Man_t_::numMuxes

Definition at line 115 of file bdcInt.h.

◆ numNodes

int Bdc_Man_t_::numNodes

Definition at line 114 of file bdcInt.h.

◆ numOrs

int Bdc_Man_t_::numOrs

Definition at line 117 of file bdcInt.h.

◆ numReuse

int Bdc_Man_t_::numReuse

Definition at line 119 of file bdcInt.h.

◆ numWeaks

int Bdc_Man_t_::numWeaks

Definition at line 118 of file bdcInt.h.

◆ nVars

int Bdc_Man_t_::nVars

Definition at line 85 of file bdcInt.h.

◆ nWords

int Bdc_Man_t_::nWords

Definition at line 86 of file bdcInt.h.

◆ pIsfAL

Bdc_Isf_t* Bdc_Man_t_::pIsfAL

Definition at line 108 of file bdcInt.h.

◆ pIsfAR

Bdc_Isf_t* Bdc_Man_t_::pIsfAR

Definition at line 109 of file bdcInt.h.

◆ pIsfOL

Bdc_Isf_t* Bdc_Man_t_::pIsfOL

Definition at line 106 of file bdcInt.h.

◆ pIsfOR

Bdc_Isf_t* Bdc_Man_t_::pIsfOR

Definition at line 107 of file bdcInt.h.

◆ pNodes

Bdc_Fun_t* Bdc_Man_t_::pNodes

Definition at line 90 of file bdcInt.h.

◆ pPars

Bdc_Par_t* Bdc_Man_t_::pPars

Definition at line 84 of file bdcInt.h.

◆ pRoot

Bdc_Fun_t* Bdc_Man_t_::pRoot

Definition at line 94 of file bdcInt.h.

◆ pTable

Bdc_Fun_t** Bdc_Man_t_::pTable

Definition at line 96 of file bdcInt.h.

◆ puTemp1

unsigned* Bdc_Man_t_::puTemp1

Definition at line 101 of file bdcInt.h.

◆ puTemp2

unsigned* Bdc_Man_t_::puTemp2

Definition at line 102 of file bdcInt.h.

◆ puTemp3

unsigned* Bdc_Man_t_::puTemp3

Definition at line 103 of file bdcInt.h.

◆ puTemp4

unsigned* Bdc_Man_t_::puTemp4

Definition at line 104 of file bdcInt.h.

◆ timeCache

abctime Bdc_Man_t_::timeCache

Definition at line 121 of file bdcInt.h.

◆ timeCheck

abctime Bdc_Man_t_::timeCheck

Definition at line 122 of file bdcInt.h.

◆ timeMuxes

abctime Bdc_Man_t_::timeMuxes

Definition at line 123 of file bdcInt.h.

◆ timeSupps

abctime Bdc_Man_t_::timeSupps

Definition at line 124 of file bdcInt.h.

◆ timeTotal

abctime Bdc_Man_t_::timeTotal

Definition at line 125 of file bdcInt.h.

◆ vMemory

Vec_Int_t* Bdc_Man_t_::vMemory

Definition at line 111 of file bdcInt.h.

◆ vSpots

Vec_Int_t* Bdc_Man_t_::vSpots

Definition at line 98 of file bdcInt.h.

◆ vTruths

Vec_Ptr_t* Bdc_Man_t_::vTruths

Definition at line 100 of file bdcInt.h.

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