ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Cec4_Man_t_ Struct Reference
Collaboration diagram for Cec4_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
 
Vec_Int_t * vPairs
 
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 [2][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
 

Detailed Description

Definition at line 89 of file cecSatG2.c.

Member Data Documentation

◆ iLastConst

int Cec4_Man_t_::iLastConst

Definition at line 110 of file cecSatG2.c.

◆ iPosRead

int Cec4_Man_t_::iPosRead

Definition at line 108 of file cecSatG2.c.

◆ iPosWrite

int Cec4_Man_t_::iPosWrite

Definition at line 109 of file cecSatG2.c.

◆ nAndNodes

int Cec4_Man_t_::nAndNodes

Definition at line 120 of file cecSatG2.c.

◆ nCallsSince

int Cec4_Man_t_::nCallsSince

Definition at line 125 of file cecSatG2.c.

◆ nConflicts

int Cec4_Man_t_::nConflicts[2][3]

Definition at line 128 of file cecSatG2.c.

◆ nFaster

int Cec4_Man_t_::nFaster[2]

Definition at line 130 of file cecSatG2.c.

◆ nGates

int Cec4_Man_t_::nGates[2]

Definition at line 129 of file cecSatG2.c.

◆ nItersSat

int Cec4_Man_t_::nItersSat

Definition at line 119 of file cecSatG2.c.

◆ nItersSim

int Cec4_Man_t_::nItersSim

Definition at line 118 of file cecSatG2.c.

◆ nPatterns

int Cec4_Man_t_::nPatterns

Definition at line 121 of file cecSatG2.c.

◆ nRecycles

int Cec4_Man_t_::nRecycles

Definition at line 127 of file cecSatG2.c.

◆ nSatSat

int Cec4_Man_t_::nSatSat

Definition at line 122 of file cecSatG2.c.

◆ nSatUndec

int Cec4_Man_t_::nSatUndec

Definition at line 124 of file cecSatG2.c.

◆ nSatUnsat

int Cec4_Man_t_::nSatUnsat

Definition at line 123 of file cecSatG2.c.

◆ nSimulates

int Cec4_Man_t_::nSimulates

Definition at line 126 of file cecSatG2.c.

◆ nTableSize

int Cec4_Man_t_::nTableSize

Definition at line 116 of file cecSatG2.c.

◆ pAig

Gia_Man_t* Cec4_Man_t_::pAig

Definition at line 92 of file cecSatG2.c.

◆ pNew

Gia_Man_t* Cec4_Man_t_::pNew

Definition at line 93 of file cecSatG2.c.

◆ pPars

Cec_ParFra_t* Cec4_Man_t_::pPars

Definition at line 91 of file cecSatG2.c.

◆ pSat

sat_solver* Cec4_Man_t_::pSat

Definition at line 95 of file cecSatG2.c.

◆ pTable

int* Cec4_Man_t_::pTable

Definition at line 115 of file cecSatG2.c.

◆ timeCnf

abctime Cec4_Man_t_::timeCnf

Definition at line 131 of file cecSatG2.c.

◆ timeGenPats

abctime Cec4_Man_t_::timeGenPats

Definition at line 132 of file cecSatG2.c.

◆ timeRefine

abctime Cec4_Man_t_::timeRefine

Definition at line 139 of file cecSatG2.c.

◆ timeResimGlo

abctime Cec4_Man_t_::timeResimGlo

Definition at line 140 of file cecSatG2.c.

◆ timeResimLoc

abctime Cec4_Man_t_::timeResimLoc

Definition at line 141 of file cecSatG2.c.

◆ timeSatSat

abctime Cec4_Man_t_::timeSatSat

Definition at line 135 of file cecSatG2.c.

◆ timeSatSat0

abctime Cec4_Man_t_::timeSatSat0

Definition at line 133 of file cecSatG2.c.

◆ timeSatUndec

abctime Cec4_Man_t_::timeSatUndec

Definition at line 137 of file cecSatG2.c.

◆ timeSatUnsat

abctime Cec4_Man_t_::timeSatUnsat

Definition at line 136 of file cecSatG2.c.

◆ timeSatUnsat0

abctime Cec4_Man_t_::timeSatUnsat0

Definition at line 134 of file cecSatG2.c.

◆ timeSim

abctime Cec4_Man_t_::timeSim

Definition at line 138 of file cecSatG2.c.

◆ timeStart

abctime Cec4_Man_t_::timeStart

Definition at line 142 of file cecSatG2.c.

◆ vCands

Vec_Int_t* Cec4_Man_t_::vCands

Definition at line 101 of file cecSatG2.c.

◆ vCexMin

Vec_Int_t* Cec4_Man_t_::vCexMin

Definition at line 98 of file cecSatG2.c.

◆ vCexStamps

Vec_Int_t* Cec4_Man_t_::vCexStamps

Definition at line 100 of file cecSatG2.c.

◆ vClassUpdates

Vec_Int_t* Cec4_Man_t_::vClassUpdates

Definition at line 99 of file cecSatG2.c.

◆ vCoDrivers

Vec_Bit_t* Cec4_Man_t_::vCoDrivers

Definition at line 106 of file cecSatG2.c.

◆ vDisprPairs

Vec_Int_t* Cec4_Man_t_::vDisprPairs

Definition at line 104 of file cecSatG2.c.

◆ vFails

Vec_Bit_t* Cec4_Man_t_::vFails

Definition at line 105 of file cecSatG2.c.

◆ vFanins

Vec_Ptr_t* Cec4_Man_t_::vFanins

Definition at line 97 of file cecSatG2.c.

◆ vFrontier

Vec_Ptr_t* Cec4_Man_t_::vFrontier

Definition at line 96 of file cecSatG2.c.

◆ vPairs

Vec_Int_t* Cec4_Man_t_::vPairs

Definition at line 107 of file cecSatG2.c.

◆ vPat

Vec_Int_t* Cec4_Man_t_::vPat

Definition at line 103 of file cecSatG2.c.

◆ vRefBins

Vec_Int_t* Cec4_Man_t_::vRefBins

Definition at line 114 of file cecSatG2.c.

◆ vRefClasses

Vec_Int_t* Cec4_Man_t_::vRefClasses

Definition at line 112 of file cecSatG2.c.

◆ vRefNodes

Vec_Int_t* Cec4_Man_t_::vRefNodes

Definition at line 113 of file cecSatG2.c.

◆ vVisit

Vec_Int_t* Cec4_Man_t_::vVisit

Definition at line 102 of file cecSatG2.c.

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