Ssc_Man_t_ Struct Reference

#include <sscInt.h>

Data Fields
Ssc_Pars_t *	pPars
Gia_Man_t *	pAig
Gia_Man_t *	pCare
Gia_Man_t *	pFraig
sat_solver *	pSat
Vec_Int_t *	vId2Var
Vec_Int_t *	vVar2Id
Vec_Int_t *	vPivot
int	nSatVarsPivot
int	nSatVars
Vec_Int_t *	vFront
Vec_Int_t *	vFanins
Vec_Int_t *	vPattern
Vec_Int_t *	vDisPairs
int	nSimRounds
int	nRecycles
int	nCallsSince
int	nSatCalls
int	nSatCallsUnsat
int	nSatCallsSat
int	nSatCallsUndec
abctime	timeSimInit
abctime	timeSimSat
abctime	timeCnfGen
abctime	timeSat
abctime	timeSatSat
abctime	timeSatUnsat
abctime	timeSatUndec
abctime	timeOther
abctime	timeTotal

Detailed Description

Definition at line 47 of file sscInt.h.

Field Documentation

int Ssc_Man_t_::nCallsSince

Definition at line 69 of file sscInt.h.

int Ssc_Man_t_::nRecycles

Definition at line 68 of file sscInt.h.

int Ssc_Man_t_::nSatCalls

Definition at line 70 of file sscInt.h.

int Ssc_Man_t_::nSatCallsSat

Definition at line 72 of file sscInt.h.

int Ssc_Man_t_::nSatCallsUndec

Definition at line 73 of file sscInt.h.

int Ssc_Man_t_::nSatCallsUnsat

Definition at line 71 of file sscInt.h.

int Ssc_Man_t_::nSatVars

Definition at line 60 of file sscInt.h.

int Ssc_Man_t_::nSatVarsPivot

Definition at line 59 of file sscInt.h.

int Ssc_Man_t_::nSimRounds

Definition at line 67 of file sscInt.h.

Gia_Man_t* Ssc_Man_t_::pAig

Definition at line 51 of file sscInt.h.

Gia_Man_t* Ssc_Man_t_::pCare

Definition at line 52 of file sscInt.h.

Gia_Man_t* Ssc_Man_t_::pFraig

Definition at line 54 of file sscInt.h.

Ssc_Pars_t* Ssc_Man_t_::pPars

Definition at line 50 of file sscInt.h.

sat_solver* Ssc_Man_t_::pSat

Definition at line 55 of file sscInt.h.

abctime Ssc_Man_t_::timeCnfGen

Definition at line 77 of file sscInt.h.

abctime Ssc_Man_t_::timeOther

Definition at line 82 of file sscInt.h.

abctime Ssc_Man_t_::timeSat

Definition at line 78 of file sscInt.h.

abctime Ssc_Man_t_::timeSatSat

Definition at line 79 of file sscInt.h.

abctime Ssc_Man_t_::timeSatUndec

Definition at line 81 of file sscInt.h.

abctime Ssc_Man_t_::timeSatUnsat

Definition at line 80 of file sscInt.h.

abctime Ssc_Man_t_::timeSimInit

Definition at line 75 of file sscInt.h.

abctime Ssc_Man_t_::timeSimSat

Definition at line 76 of file sscInt.h.

abctime Ssc_Man_t_::timeTotal

Definition at line 83 of file sscInt.h.

Vec_Int_t* Ssc_Man_t_::vDisPairs

Definition at line 65 of file sscInt.h.

Vec_Int_t* Ssc_Man_t_::vFanins

Definition at line 63 of file sscInt.h.

Vec_Int_t* Ssc_Man_t_::vFront

Definition at line 62 of file sscInt.h.

Vec_Int_t* Ssc_Man_t_::vId2Var

Definition at line 56 of file sscInt.h.

Vec_Int_t* Ssc_Man_t_::vPattern

Definition at line 64 of file sscInt.h.

Vec_Int_t* Ssc_Man_t_::vPivot

Definition at line 58 of file sscInt.h.

Vec_Int_t* Ssc_Man_t_::vVar2Id

Definition at line 57 of file sscInt.h.

---

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

• sscInt.h