Ssw_Man_t_ Struct Reference

#include <sswInt.h>

Data Fields
Ssw_Pars_t *	pPars
int	nFrames
Aig_Man_t *	pAig
Aig_Man_t *	pFrames
Aig_Obj_t **	pNodeToFrames
Ssw_Cla_t *	ppClasses
int	fRefined
Ssw_Sat_t *	pMSatBmc
Ssw_Sat_t *	pMSat
Vec_Ptr_t *	vSimInfo
int	nPatterns
int	nSimRounds
int	nCallsCount
int	nCallsDelta
int	nCallsSat
int	nCallsUnsat
int	nRecycleCalls
int	nRecycles
int	nRecyclesTotal
int	nVarsMax
int	nCallsMax
Vec_Ptr_t *	vCommon
int	iOutputLit
Vec_Int_t *	vDiffPairs
int	nUniques
int	nUniquesAdded
int	nUniquesUseful
int	nSRMiterMaxId
Vec_Ptr_t *	vNewLos
Vec_Int_t *	vNewPos
int *	pVisited
int	nVisCounter
Ssw_Sml_t *	pSml
int	iNodeStart
int	iNodeLast
Vec_Ptr_t *	vResimConsts
Vec_Ptr_t *	vResimClasses
Vec_Int_t *	vInits
int	nPatWords
unsigned *	pPatWords
int	nConstrTotal
int	nConstrReduced
int	nStrangers
int	nSatCalls
int	nSatProof
int	nSatFailsReal
int	nSatCallsUnsat
int	nSatCallsSat
int	nLitsBeg
int	nLitsEnd
int	nNodesBeg
int	nNodesEnd
int	nRegsBeg
int	nRegsEnd
int	nConesTotal
int	nConesConstr
int	nEquivsTotal
int	nEquivsConstr
int	nNodesBegC
int	nNodesEndC
int	nRegsBegC
int	nRegsEndC
abctime	timeBmc
abctime	timeReduce
abctime	timeMarkCones
abctime	timeSimSat
abctime	timeSat
abctime	timeSatSat
abctime	timeSatUnsat
abctime	timeSatUndec
abctime	timeOther
abctime	timeTotal

Detailed Description

Definition at line 52 of file sswInt.h.

Field Documentation

int Ssw_Man_t_::fRefined

Definition at line 63 of file sswInt.h.

int Ssw_Man_t_::iNodeLast

Definition at line 96 of file sswInt.h.

int Ssw_Man_t_::iNodeStart

Definition at line 95 of file sswInt.h.

int Ssw_Man_t_::iOutputLit

Definition at line 82 of file sswInt.h.

int Ssw_Man_t_::nCallsCount

Definition at line 71 of file sswInt.h.

int Ssw_Man_t_::nCallsDelta

Definition at line 72 of file sswInt.h.

int Ssw_Man_t_::nCallsMax

Definition at line 79 of file sswInt.h.

int Ssw_Man_t_::nCallsSat

Definition at line 73 of file sswInt.h.

int Ssw_Man_t_::nCallsUnsat

Definition at line 74 of file sswInt.h.

int Ssw_Man_t_::nConesConstr

Definition at line 122 of file sswInt.h.

int Ssw_Man_t_::nConesTotal

Definition at line 121 of file sswInt.h.

int Ssw_Man_t_::nConstrReduced

Definition at line 105 of file sswInt.h.

int Ssw_Man_t_::nConstrTotal

Definition at line 104 of file sswInt.h.

int Ssw_Man_t_::nEquivsConstr

Definition at line 124 of file sswInt.h.

int Ssw_Man_t_::nEquivsTotal

Definition at line 123 of file sswInt.h.

int Ssw_Man_t_::nFrames

Definition at line 56 of file sswInt.h.

int Ssw_Man_t_::nLitsBeg

Definition at line 114 of file sswInt.h.

int Ssw_Man_t_::nLitsEnd

Definition at line 115 of file sswInt.h.

int Ssw_Man_t_::nNodesBeg

Definition at line 116 of file sswInt.h.

int Ssw_Man_t_::nNodesBegC

Definition at line 125 of file sswInt.h.

int Ssw_Man_t_::nNodesEnd

Definition at line 117 of file sswInt.h.

int Ssw_Man_t_::nNodesEndC

Definition at line 126 of file sswInt.h.

int Ssw_Man_t_::nPatterns

Definition at line 69 of file sswInt.h.

int Ssw_Man_t_::nPatWords

Definition at line 101 of file sswInt.h.

int Ssw_Man_t_::nRecycleCalls

Definition at line 75 of file sswInt.h.

int Ssw_Man_t_::nRecycles

Definition at line 76 of file sswInt.h.

int Ssw_Man_t_::nRecyclesTotal

Definition at line 77 of file sswInt.h.

int Ssw_Man_t_::nRegsBeg

Definition at line 118 of file sswInt.h.

int Ssw_Man_t_::nRegsBegC

Definition at line 127 of file sswInt.h.

int Ssw_Man_t_::nRegsEnd

Definition at line 119 of file sswInt.h.

int Ssw_Man_t_::nRegsEndC

Definition at line 128 of file sswInt.h.

int Ssw_Man_t_::nSatCalls

Definition at line 108 of file sswInt.h.

int Ssw_Man_t_::nSatCallsSat

Definition at line 112 of file sswInt.h.

int Ssw_Man_t_::nSatCallsUnsat

Definition at line 111 of file sswInt.h.

int Ssw_Man_t_::nSatFailsReal

Definition at line 110 of file sswInt.h.

int Ssw_Man_t_::nSatProof

Definition at line 109 of file sswInt.h.

int Ssw_Man_t_::nSimRounds

Definition at line 70 of file sswInt.h.

int Ssw_Man_t_::nSRMiterMaxId

Definition at line 88 of file sswInt.h.

int Ssw_Man_t_::nStrangers

Definition at line 106 of file sswInt.h.

int Ssw_Man_t_::nUniques

Definition at line 84 of file sswInt.h.

int Ssw_Man_t_::nUniquesAdded

Definition at line 85 of file sswInt.h.

int Ssw_Man_t_::nUniquesUseful

Definition at line 86 of file sswInt.h.

int Ssw_Man_t_::nVarsMax

Definition at line 78 of file sswInt.h.

int Ssw_Man_t_::nVisCounter

Definition at line 92 of file sswInt.h.

Aig_Man_t* Ssw_Man_t_::pAig

Definition at line 58 of file sswInt.h.

Aig_Man_t* Ssw_Man_t_::pFrames

Definition at line 59 of file sswInt.h.

Ssw_Sat_t* Ssw_Man_t_::pMSat

Definition at line 66 of file sswInt.h.

Ssw_Sat_t* Ssw_Man_t_::pMSatBmc

Definition at line 65 of file sswInt.h.

Aig_Obj_t** Ssw_Man_t_::pNodeToFrames

Definition at line 60 of file sswInt.h.

Ssw_Pars_t* Ssw_Man_t_::pPars

Definition at line 55 of file sswInt.h.

unsigned* Ssw_Man_t_::pPatWords

Definition at line 102 of file sswInt.h.

Ssw_Cla_t* Ssw_Man_t_::ppClasses

Definition at line 62 of file sswInt.h.

Ssw_Sml_t* Ssw_Man_t_::pSml

Definition at line 94 of file sswInt.h.

int* Ssw_Man_t_::pVisited

Definition at line 91 of file sswInt.h.

abctime Ssw_Man_t_::timeBmc

Definition at line 130 of file sswInt.h.

abctime Ssw_Man_t_::timeMarkCones

Definition at line 132 of file sswInt.h.

abctime Ssw_Man_t_::timeOther

Definition at line 138 of file sswInt.h.

abctime Ssw_Man_t_::timeReduce

Definition at line 131 of file sswInt.h.

abctime Ssw_Man_t_::timeSat

Definition at line 134 of file sswInt.h.

abctime Ssw_Man_t_::timeSatSat

Definition at line 135 of file sswInt.h.

abctime Ssw_Man_t_::timeSatUndec

Definition at line 137 of file sswInt.h.

abctime Ssw_Man_t_::timeSatUnsat

Definition at line 136 of file sswInt.h.

abctime Ssw_Man_t_::timeSimSat

Definition at line 133 of file sswInt.h.

abctime Ssw_Man_t_::timeTotal

Definition at line 139 of file sswInt.h.

Vec_Ptr_t* Ssw_Man_t_::vCommon

Definition at line 81 of file sswInt.h.

Vec_Int_t* Ssw_Man_t_::vDiffPairs

Definition at line 83 of file sswInt.h.

Vec_Int_t* Ssw_Man_t_::vInits

Definition at line 99 of file sswInt.h.

Vec_Ptr_t* Ssw_Man_t_::vNewLos

Definition at line 89 of file sswInt.h.

Vec_Int_t* Ssw_Man_t_::vNewPos

Definition at line 90 of file sswInt.h.

Vec_Ptr_t* Ssw_Man_t_::vResimClasses

Definition at line 98 of file sswInt.h.

Vec_Ptr_t* Ssw_Man_t_::vResimConsts

Definition at line 97 of file sswInt.h.

Vec_Ptr_t* Ssw_Man_t_::vSimInfo

Definition at line 68 of file sswInt.h.

---

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

• sswInt.h