Collaboration diagram for Cbs3_Man_t_:

[legend]

Public Attributes
Cbs3_Par_t	Pars

Gia_Man_t *	pAig

Cbs3_Que_t	pProp

Cbs3_Que_t	pJust

Cbs3_Que_t	pClauses

Vec_Int_t *	vModel

Vec_Int_t *	vTemp

int	nVars

int	nVarsAlloc

int	var_inc

Vec_Int_t	vMap

Vec_Int_t	vRef

Vec_Int_t	vFans

Vec_Wec_t	vImps

Vec_Str_t	vAssign

Vec_Str_t	vMark

Vec_Int_t	vLevReason

Vec_Int_t	vActs

Vec_Int_t	vWatches

Vec_Int_t	vWatchUpds

int	nSatUnsat

int	nSatSat

int	nSatUndec

int	nSatTotal

int	nConfUnsat

int	nConfSat

int	nConfUndec

abctime	timeJFront

abctime	timeSatLoad

abctime	timeSatUnsat

abctime	timeSatSat

abctime	timeSatUndec

abctime	timeTotal

int	nPropCalls [3]

int	nFails [2]

int	nClauseConf

int	nDecs

Detailed Description

Definition at line 56 of file giaCSat3.c.

Member Data Documentation

◆ nClauseConf

int Cbs3_Man_t_::nClauseConf

Definition at line 99 of file giaCSat3.c.

◆ nConfSat

int Cbs3_Man_t_::nConfSat

Definition at line 87 of file giaCSat3.c.

◆ nConfUndec

int Cbs3_Man_t_::nConfUndec

Definition at line 88 of file giaCSat3.c.

◆ nConfUnsat

int Cbs3_Man_t_::nConfUnsat

Definition at line 86 of file giaCSat3.c.

◆ nDecs

int Cbs3_Man_t_::nDecs

Definition at line 100 of file giaCSat3.c.

◆ nFails

int Cbs3_Man_t_::nFails[2]

Definition at line 98 of file giaCSat3.c.

◆ nPropCalls

int Cbs3_Man_t_::nPropCalls[3]

Definition at line 97 of file giaCSat3.c.

◆ nSatSat

int Cbs3_Man_t_::nSatSat

Definition at line 82 of file giaCSat3.c.

◆ nSatTotal

int Cbs3_Man_t_::nSatTotal

Definition at line 84 of file giaCSat3.c.

◆ nSatUndec

int Cbs3_Man_t_::nSatUndec

Definition at line 83 of file giaCSat3.c.

◆ nSatUnsat

int Cbs3_Man_t_::nSatUnsat

Definition at line 81 of file giaCSat3.c.

◆ nVars

int Cbs3_Man_t_::nVars

Definition at line 66 of file giaCSat3.c.

◆ nVarsAlloc

int Cbs3_Man_t_::nVarsAlloc

Definition at line 67 of file giaCSat3.c.

◆ pAig

Gia_Man_t* Cbs3_Man_t_::pAig

Definition at line 59 of file giaCSat3.c.

◆ Pars

Cbs3_Par_t Cbs3_Man_t_::Pars

Definition at line 58 of file giaCSat3.c.

◆ pClauses

Cbs3_Que_t Cbs3_Man_t_::pClauses

Definition at line 62 of file giaCSat3.c.

◆ pJust

Cbs3_Que_t Cbs3_Man_t_::pJust

Definition at line 61 of file giaCSat3.c.

◆ pProp

Cbs3_Que_t Cbs3_Man_t_::pProp

Definition at line 60 of file giaCSat3.c.

◆ timeJFront

abctime Cbs3_Man_t_::timeJFront

Definition at line 90 of file giaCSat3.c.

◆ timeSatLoad

abctime Cbs3_Man_t_::timeSatLoad

Definition at line 91 of file giaCSat3.c.

◆ timeSatSat

abctime Cbs3_Man_t_::timeSatSat

Definition at line 93 of file giaCSat3.c.

◆ timeSatUndec

abctime Cbs3_Man_t_::timeSatUndec

Definition at line 94 of file giaCSat3.c.

◆ timeSatUnsat

abctime Cbs3_Man_t_::timeSatUnsat

Definition at line 92 of file giaCSat3.c.

◆ timeTotal

abctime Cbs3_Man_t_::timeTotal

Definition at line 95 of file giaCSat3.c.

◆ vActs

Vec_Int_t Cbs3_Man_t_::vActs

Definition at line 77 of file giaCSat3.c.

◆ var_inc

int Cbs3_Man_t_::var_inc

Definition at line 68 of file giaCSat3.c.

◆ vAssign

Vec_Str_t Cbs3_Man_t_::vAssign

Definition at line 74 of file giaCSat3.c.

◆ vFans

Vec_Int_t Cbs3_Man_t_::vFans

Definition at line 71 of file giaCSat3.c.

◆ vImps

Vec_Wec_t Cbs3_Man_t_::vImps

Definition at line 72 of file giaCSat3.c.

◆ vLevReason

Vec_Int_t Cbs3_Man_t_::vLevReason

Definition at line 76 of file giaCSat3.c.

◆ vMap

Vec_Int_t Cbs3_Man_t_::vMap

Definition at line 69 of file giaCSat3.c.

◆ vMark

Vec_Str_t Cbs3_Man_t_::vMark

Definition at line 75 of file giaCSat3.c.

◆ vModel

Vec_Int_t* Cbs3_Man_t_::vModel

Definition at line 63 of file giaCSat3.c.

◆ vRef

Vec_Int_t Cbs3_Man_t_::vRef

Definition at line 70 of file giaCSat3.c.

◆ vTemp

Vec_Int_t* Cbs3_Man_t_::vTemp

Definition at line 64 of file giaCSat3.c.

◆ vWatches

Vec_Int_t Cbs3_Man_t_::vWatches

Definition at line 78 of file giaCSat3.c.

◆ vWatchUpds

Vec_Int_t Cbs3_Man_t_::vWatchUpds

Definition at line 79 of file giaCSat3.c.

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

src/aig/gia/giaCSat3.c

Public Attributes