Collaboration diagram for Cec2_Man_t_:

[legend]

Public Attributes
Cec2_Par_t *	pPars

Gia_Man_t *	pAig

Gia_Man_t *	pNew

satoko_t *	pSat

Vec_Ptr_t *	vFrontier

Vec_Ptr_t *	vFanins

Vec_Wrd_t *	vSims

Vec_Int_t *	vNodesNew

Vec_Int_t *	vSatVars

Vec_Int_t *	vObjSatPairs

Vec_Int_t *	vCexTriples

int	nPatterns

int	nSatSat

int	nSatUnsat

int	nSatUndec

abctime	timeSatSat

abctime	timeSatUnsat

abctime	timeSatUndec

abctime	timeSim

abctime	timeRefine

abctime	timeExtra

abctime	timeStart

Detailed Description

Definition at line 48 of file cecSat.c.

Member Data Documentation

◆ nPatterns

int Cec2_Man_t_::nPatterns

Definition at line 63 of file cecSat.c.

◆ nSatSat

int Cec2_Man_t_::nSatSat

Definition at line 64 of file cecSat.c.

◆ nSatUndec

int Cec2_Man_t_::nSatUndec

Definition at line 66 of file cecSat.c.

◆ nSatUnsat

int Cec2_Man_t_::nSatUnsat

Definition at line 65 of file cecSat.c.

◆ pAig

Gia_Man_t* Cec2_Man_t_::pAig

Definition at line 51 of file cecSat.c.

◆ pNew

Gia_Man_t* Cec2_Man_t_::pNew

Definition at line 52 of file cecSat.c.

◆ pPars

Cec2_Par_t* Cec2_Man_t_::pPars

Definition at line 50 of file cecSat.c.

◆ pSat

satoko_t* Cec2_Man_t_::pSat

Definition at line 54 of file cecSat.c.

◆ timeExtra

abctime Cec2_Man_t_::timeExtra

Definition at line 72 of file cecSat.c.

◆ timeRefine

abctime Cec2_Man_t_::timeRefine

Definition at line 71 of file cecSat.c.

◆ timeSatSat

abctime Cec2_Man_t_::timeSatSat

Definition at line 67 of file cecSat.c.

◆ timeSatUndec

abctime Cec2_Man_t_::timeSatUndec

Definition at line 69 of file cecSat.c.

◆ timeSatUnsat

abctime Cec2_Man_t_::timeSatUnsat

Definition at line 68 of file cecSat.c.

◆ timeSim

abctime Cec2_Man_t_::timeSim

Definition at line 70 of file cecSat.c.

◆ timeStart

abctime Cec2_Man_t_::timeStart

Definition at line 73 of file cecSat.c.

◆ vCexTriples

Vec_Int_t* Cec2_Man_t_::vCexTriples

Definition at line 61 of file cecSat.c.

◆ vFanins

Vec_Ptr_t* Cec2_Man_t_::vFanins

Definition at line 56 of file cecSat.c.

◆ vFrontier

Vec_Ptr_t* Cec2_Man_t_::vFrontier

Definition at line 55 of file cecSat.c.

◆ vNodesNew

Vec_Int_t* Cec2_Man_t_::vNodesNew

Definition at line 58 of file cecSat.c.

◆ vObjSatPairs

Vec_Int_t* Cec2_Man_t_::vObjSatPairs

Definition at line 60 of file cecSat.c.

◆ vSatVars

Vec_Int_t* Cec2_Man_t_::vSatVars

Definition at line 59 of file cecSat.c.

◆ vSims

Vec_Wrd_t* Cec2_Man_t_::vSims

Definition at line 57 of file cecSat.c.

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

src/proof/cec/cecSat.c

Public Attributes