Dch_Man_t_ Struct Reference

#include <dchInt.h>

Data Fields
Dch_Pars_t *	pPars
Aig_Man_t *	pAigTotal
Aig_Man_t *	pAigFraig
Dch_Cla_t *	ppClasses
Aig_Obj_t **	pReprsProved
sat_solver *	pSat
int	nSatVars
int *	pSatVars
Vec_Ptr_t *	vUsedNodes
int	nRecycles
int	nCallsSince
Vec_Ptr_t *	vFanins
Vec_Ptr_t *	vSimRoots
Vec_Ptr_t *	vSimClasses
int	nConeThis
int	nConeMax
int	nSatCalls
int	nSatProof
int	nSatFailsReal
int	nSatCallsUnsat
int	nSatCallsSat
int	nLits
int	nReprs
int	nEquivs
int	nChoices
abctime	timeSimInit
abctime	timeSimSat
abctime	timeSat
abctime	timeSatSat
abctime	timeSatUnsat
abctime	timeSatUndec
abctime	timeChoice
abctime	timeOther
abctime	timeTotal

Detailed Description

Definition at line 51 of file dchInt.h.

Field Documentation

int Dch_Man_t_::nCallsSince

Definition at line 68 of file dchInt.h.

int Dch_Man_t_::nChoices

Definition at line 85 of file dchInt.h.

int Dch_Man_t_::nConeMax

Definition at line 74 of file dchInt.h.

int Dch_Man_t_::nConeThis

Definition at line 73 of file dchInt.h.

int Dch_Man_t_::nEquivs

Definition at line 84 of file dchInt.h.

int Dch_Man_t_::nLits

Definition at line 82 of file dchInt.h.

int Dch_Man_t_::nRecycles

Definition at line 67 of file dchInt.h.

int Dch_Man_t_::nReprs

Definition at line 83 of file dchInt.h.

int Dch_Man_t_::nSatCalls

Definition at line 76 of file dchInt.h.

int Dch_Man_t_::nSatCallsSat

Definition at line 80 of file dchInt.h.

int Dch_Man_t_::nSatCallsUnsat

Definition at line 79 of file dchInt.h.

int Dch_Man_t_::nSatFailsReal

Definition at line 78 of file dchInt.h.

int Dch_Man_t_::nSatProof

Definition at line 77 of file dchInt.h.

int Dch_Man_t_::nSatVars

Definition at line 64 of file dchInt.h.

Aig_Man_t* Dch_Man_t_::pAigFraig

Definition at line 58 of file dchInt.h.

Aig_Man_t* Dch_Man_t_::pAigTotal

Definition at line 57 of file dchInt.h.

Dch_Pars_t* Dch_Man_t_::pPars

Definition at line 54 of file dchInt.h.

Dch_Cla_t* Dch_Man_t_::ppClasses

Definition at line 60 of file dchInt.h.

Aig_Obj_t** Dch_Man_t_::pReprsProved

Definition at line 61 of file dchInt.h.

sat_solver* Dch_Man_t_::pSat

Definition at line 63 of file dchInt.h.

int* Dch_Man_t_::pSatVars

Definition at line 65 of file dchInt.h.

abctime Dch_Man_t_::timeChoice

Definition at line 93 of file dchInt.h.

abctime Dch_Man_t_::timeOther

Definition at line 94 of file dchInt.h.

abctime Dch_Man_t_::timeSat

Definition at line 89 of file dchInt.h.

abctime Dch_Man_t_::timeSatSat

Definition at line 90 of file dchInt.h.

abctime Dch_Man_t_::timeSatUndec

Definition at line 92 of file dchInt.h.

abctime Dch_Man_t_::timeSatUnsat

Definition at line 91 of file dchInt.h.

abctime Dch_Man_t_::timeSimInit

Definition at line 87 of file dchInt.h.

abctime Dch_Man_t_::timeSimSat

Definition at line 88 of file dchInt.h.

abctime Dch_Man_t_::timeTotal

Definition at line 95 of file dchInt.h.

Vec_Ptr_t* Dch_Man_t_::vFanins

Definition at line 69 of file dchInt.h.

Vec_Ptr_t* Dch_Man_t_::vSimClasses

Definition at line 71 of file dchInt.h.

Vec_Ptr_t* Dch_Man_t_::vSimRoots

Definition at line 70 of file dchInt.h.

Vec_Ptr_t* Dch_Man_t_::vUsedNodes

Definition at line 66 of file dchInt.h.

---

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

• dchInt.h