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

Public Attributes

Cec_ParFra_t * pPars
 
Gia_Man_t * pAig
 
Gia_Man_t * pNew
 
sat_solver * pSat
 
Vec_Ptr_t * vFrontier
 
Vec_Ptr_t * vFanins
 
Vec_Int_t * vCexMin
 
Vec_Int_t * vClassUpdates
 
Vec_Int_t * vCexStamps
 
Vec_Int_t * vCands
 
Vec_Int_t * vVisit
 
Vec_Int_t * vPat
 
Vec_Int_t * vDisprPairs
 
Vec_Bit_t * vFails
 
Vec_Bit_t * vCoDrivers
 
int iPosRead
 
int iPosWrite
 
int iLastConst
 
Vec_Int_t * vRefClasses
 
Vec_Int_t * vRefNodes
 
Vec_Int_t * vRefBins
 
int * pTable
 
int nTableSize
 
int nItersSim
 
int nItersSat
 
int nAndNodes
 
int nPatterns
 
int nSatSat
 
int nSatUnsat
 
int nSatUndec
 
int nCallsSince
 
int nSimulates
 
int nRecycles
 
int nConflicts [3][3]
 
int nGates [2]
 
int nFaster [2]
 
abctime timeCnf
 
abctime timeGenPats
 
abctime timeSatSat0
 
abctime timeSatUnsat0
 
abctime timeSatSat
 
abctime timeSatUnsat
 
abctime timeSatUndec
 
abctime timeSim
 
abctime timeRefine
 
abctime timeResimGlo
 
abctime timeResimLoc
 
abctime timeStart
 
int simTravId
 
Vec_Int_t * vPiPatsCache
 
int fEec
 
int LocalBatchSize
 
Vec_Bit_t * vCexSite
 
int simBound
 
int simStart
 
int approxLim
 
int simGlobalTop
 
int simBatchFactor
 
int adaRecycle
 

Detailed Description

Definition at line 88 of file cecSatG3.c.

Member Data Documentation

◆ adaRecycle

int Cec5_Man_t_::adaRecycle

Definition at line 152 of file cecSatG3.c.

◆ approxLim

int Cec5_Man_t_::approxLim

Definition at line 149 of file cecSatG3.c.

◆ fEec

int Cec5_Man_t_::fEec

Definition at line 144 of file cecSatG3.c.

◆ iLastConst

int Cec5_Man_t_::iLastConst

Definition at line 108 of file cecSatG3.c.

◆ iPosRead

int Cec5_Man_t_::iPosRead

Definition at line 106 of file cecSatG3.c.

◆ iPosWrite

int Cec5_Man_t_::iPosWrite

Definition at line 107 of file cecSatG3.c.

◆ LocalBatchSize

int Cec5_Man_t_::LocalBatchSize

Definition at line 145 of file cecSatG3.c.

◆ nAndNodes

int Cec5_Man_t_::nAndNodes

Definition at line 118 of file cecSatG3.c.

◆ nCallsSince

int Cec5_Man_t_::nCallsSince

Definition at line 123 of file cecSatG3.c.

◆ nConflicts

int Cec5_Man_t_::nConflicts[3][3]

Definition at line 126 of file cecSatG3.c.

◆ nFaster

int Cec5_Man_t_::nFaster[2]

Definition at line 128 of file cecSatG3.c.

◆ nGates

int Cec5_Man_t_::nGates[2]

Definition at line 127 of file cecSatG3.c.

◆ nItersSat

int Cec5_Man_t_::nItersSat

Definition at line 117 of file cecSatG3.c.

◆ nItersSim

int Cec5_Man_t_::nItersSim

Definition at line 116 of file cecSatG3.c.

◆ nPatterns

int Cec5_Man_t_::nPatterns

Definition at line 119 of file cecSatG3.c.

◆ nRecycles

int Cec5_Man_t_::nRecycles

Definition at line 125 of file cecSatG3.c.

◆ nSatSat

int Cec5_Man_t_::nSatSat

Definition at line 120 of file cecSatG3.c.

◆ nSatUndec

int Cec5_Man_t_::nSatUndec

Definition at line 122 of file cecSatG3.c.

◆ nSatUnsat

int Cec5_Man_t_::nSatUnsat

Definition at line 121 of file cecSatG3.c.

◆ nSimulates

int Cec5_Man_t_::nSimulates

Definition at line 124 of file cecSatG3.c.

◆ nTableSize

int Cec5_Man_t_::nTableSize

Definition at line 114 of file cecSatG3.c.

◆ pAig

Gia_Man_t* Cec5_Man_t_::pAig

Definition at line 91 of file cecSatG3.c.

◆ pNew

Gia_Man_t* Cec5_Man_t_::pNew

Definition at line 92 of file cecSatG3.c.

◆ pPars

Cec_ParFra_t* Cec5_Man_t_::pPars

Definition at line 90 of file cecSatG3.c.

◆ pSat

sat_solver* Cec5_Man_t_::pSat

Definition at line 94 of file cecSatG3.c.

◆ pTable

int* Cec5_Man_t_::pTable

Definition at line 113 of file cecSatG3.c.

◆ simBatchFactor

int Cec5_Man_t_::simBatchFactor

Definition at line 151 of file cecSatG3.c.

◆ simBound

int Cec5_Man_t_::simBound

Definition at line 147 of file cecSatG3.c.

◆ simGlobalTop

int Cec5_Man_t_::simGlobalTop

Definition at line 150 of file cecSatG3.c.

◆ simStart

int Cec5_Man_t_::simStart

Definition at line 148 of file cecSatG3.c.

◆ simTravId

int Cec5_Man_t_::simTravId

Definition at line 142 of file cecSatG3.c.

◆ timeCnf

abctime Cec5_Man_t_::timeCnf

Definition at line 129 of file cecSatG3.c.

◆ timeGenPats

abctime Cec5_Man_t_::timeGenPats

Definition at line 130 of file cecSatG3.c.

◆ timeRefine

abctime Cec5_Man_t_::timeRefine

Definition at line 137 of file cecSatG3.c.

◆ timeResimGlo

abctime Cec5_Man_t_::timeResimGlo

Definition at line 138 of file cecSatG3.c.

◆ timeResimLoc

abctime Cec5_Man_t_::timeResimLoc

Definition at line 139 of file cecSatG3.c.

◆ timeSatSat

abctime Cec5_Man_t_::timeSatSat

Definition at line 133 of file cecSatG3.c.

◆ timeSatSat0

abctime Cec5_Man_t_::timeSatSat0

Definition at line 131 of file cecSatG3.c.

◆ timeSatUndec

abctime Cec5_Man_t_::timeSatUndec

Definition at line 135 of file cecSatG3.c.

◆ timeSatUnsat

abctime Cec5_Man_t_::timeSatUnsat

Definition at line 134 of file cecSatG3.c.

◆ timeSatUnsat0

abctime Cec5_Man_t_::timeSatUnsat0

Definition at line 132 of file cecSatG3.c.

◆ timeSim

abctime Cec5_Man_t_::timeSim

Definition at line 136 of file cecSatG3.c.

◆ timeStart

abctime Cec5_Man_t_::timeStart

Definition at line 140 of file cecSatG3.c.

◆ vCands

Vec_Int_t* Cec5_Man_t_::vCands

Definition at line 100 of file cecSatG3.c.

◆ vCexMin

Vec_Int_t* Cec5_Man_t_::vCexMin

Definition at line 97 of file cecSatG3.c.

◆ vCexSite

Vec_Bit_t* Cec5_Man_t_::vCexSite

Definition at line 146 of file cecSatG3.c.

◆ vCexStamps

Vec_Int_t* Cec5_Man_t_::vCexStamps

Definition at line 99 of file cecSatG3.c.

◆ vClassUpdates

Vec_Int_t* Cec5_Man_t_::vClassUpdates

Definition at line 98 of file cecSatG3.c.

◆ vCoDrivers

Vec_Bit_t* Cec5_Man_t_::vCoDrivers

Definition at line 105 of file cecSatG3.c.

◆ vDisprPairs

Vec_Int_t* Cec5_Man_t_::vDisprPairs

Definition at line 103 of file cecSatG3.c.

◆ vFails

Vec_Bit_t* Cec5_Man_t_::vFails

Definition at line 104 of file cecSatG3.c.

◆ vFanins

Vec_Ptr_t* Cec5_Man_t_::vFanins

Definition at line 96 of file cecSatG3.c.

◆ vFrontier

Vec_Ptr_t* Cec5_Man_t_::vFrontier

Definition at line 95 of file cecSatG3.c.

◆ vPat

Vec_Int_t* Cec5_Man_t_::vPat

Definition at line 102 of file cecSatG3.c.

◆ vPiPatsCache

Vec_Int_t* Cec5_Man_t_::vPiPatsCache

Definition at line 143 of file cecSatG3.c.

◆ vRefBins

Vec_Int_t* Cec5_Man_t_::vRefBins

Definition at line 112 of file cecSatG3.c.

◆ vRefClasses

Vec_Int_t* Cec5_Man_t_::vRefClasses

Definition at line 110 of file cecSatG3.c.

◆ vRefNodes

Vec_Int_t* Cec5_Man_t_::vRefNodes

Definition at line 111 of file cecSatG3.c.

◆ vVisit

Vec_Int_t* Cec5_Man_t_::vVisit

Definition at line 101 of file cecSatG3.c.

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