#include <dchInt.h>

Collaboration diagram for Dch_Man_t_:

[legend]

Public Attributes
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.

Member Data Documentation

◆ nCallsSince

int Dch_Man_t_::nCallsSince

Definition at line 68 of file dchInt.h.

◆ nChoices

int Dch_Man_t_::nChoices

Definition at line 85 of file dchInt.h.

◆ nConeMax

int Dch_Man_t_::nConeMax

Definition at line 74 of file dchInt.h.

◆ nConeThis

int Dch_Man_t_::nConeThis

Definition at line 73 of file dchInt.h.

◆ nEquivs

int Dch_Man_t_::nEquivs

Definition at line 84 of file dchInt.h.

◆ nLits

int Dch_Man_t_::nLits

Definition at line 82 of file dchInt.h.

◆ nRecycles

int Dch_Man_t_::nRecycles

Definition at line 67 of file dchInt.h.

◆ nReprs

int Dch_Man_t_::nReprs

Definition at line 83 of file dchInt.h.

◆ nSatCalls

int Dch_Man_t_::nSatCalls

Definition at line 76 of file dchInt.h.

◆ nSatCallsSat

int Dch_Man_t_::nSatCallsSat

Definition at line 80 of file dchInt.h.

◆ nSatCallsUnsat

int Dch_Man_t_::nSatCallsUnsat

Definition at line 79 of file dchInt.h.

◆ nSatFailsReal

int Dch_Man_t_::nSatFailsReal

Definition at line 78 of file dchInt.h.

◆ nSatProof

int Dch_Man_t_::nSatProof

Definition at line 77 of file dchInt.h.

◆ nSatVars

int Dch_Man_t_::nSatVars

Definition at line 64 of file dchInt.h.

◆ pAigFraig

Aig_Man_t* Dch_Man_t_::pAigFraig

Definition at line 58 of file dchInt.h.

◆ pAigTotal

Aig_Man_t* Dch_Man_t_::pAigTotal

Definition at line 57 of file dchInt.h.

◆ pPars

Dch_Pars_t* Dch_Man_t_::pPars

Definition at line 54 of file dchInt.h.

◆ ppClasses

Dch_Cla_t* Dch_Man_t_::ppClasses

Definition at line 60 of file dchInt.h.

◆ pReprsProved

Aig_Obj_t** Dch_Man_t_::pReprsProved

Definition at line 61 of file dchInt.h.

◆ pSat

sat_solver* Dch_Man_t_::pSat

Definition at line 63 of file dchInt.h.

◆ pSatVars

int* Dch_Man_t_::pSatVars

Definition at line 65 of file dchInt.h.

◆ timeChoice

abctime Dch_Man_t_::timeChoice

Definition at line 93 of file dchInt.h.

◆ timeOther

abctime Dch_Man_t_::timeOther

Definition at line 94 of file dchInt.h.

◆ timeSat

abctime Dch_Man_t_::timeSat

Definition at line 89 of file dchInt.h.

◆ timeSatSat

abctime Dch_Man_t_::timeSatSat

Definition at line 90 of file dchInt.h.

◆ timeSatUndec

abctime Dch_Man_t_::timeSatUndec

Definition at line 92 of file dchInt.h.

◆ timeSatUnsat

abctime Dch_Man_t_::timeSatUnsat

Definition at line 91 of file dchInt.h.

◆ timeSimInit

abctime Dch_Man_t_::timeSimInit

Definition at line 87 of file dchInt.h.

◆ timeSimSat

abctime Dch_Man_t_::timeSimSat

Definition at line 88 of file dchInt.h.

◆ timeTotal

abctime Dch_Man_t_::timeTotal

Definition at line 95 of file dchInt.h.

◆ vFanins

Vec_Ptr_t* Dch_Man_t_::vFanins

Definition at line 69 of file dchInt.h.

◆ vSimClasses

Vec_Ptr_t* Dch_Man_t_::vSimClasses

Definition at line 71 of file dchInt.h.

◆ vSimRoots

Vec_Ptr_t* Dch_Man_t_::vSimRoots

Definition at line 70 of file dchInt.h.

◆ vUsedNodes

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:

src/proof/dch/dchInt.h

Public Attributes