#include <pdr.h>

Public Attributes
int	nRecycle

int	nFrameMax

int	nConfLimit

int	nConfGenLimit

int	nRestLimit

int	nTimeOut

int	nTimeOutGap

int	nTimeOutOne

int	nRandomSeed

int	fTwoRounds

int	fMonoCnf

int	fNewXSim

int	fFlopPrio

int	fFlopOrder

int	fDumpInv

int	fUseSupp

int	fShortest

int	fShiftStart

int	fReuseProofOblig

int	fSimpleGeneral

int	fSkipGeneral

int	fSkipDown

int	fCtgs

int	fUseAbs

int	fUseSimpleRef

int	fVerbose

int	fVeryVerbose

int	fNotVerbose

int	fSilent

int	fSolveAll

int	fStoreCex

int	fUseBridge

int	fUsePropOut

int	nFailOuts

int	nDropOuts

int	nProveOuts

int	iFrame

int	RunId

int(*	pFuncStop )(int)

int(*	pFuncOnFail )(int, Abc_Cex_t *)

abctime	timeLastSolved

Vec_Int_t *	vOutMap

char *	pInvFileName

int	fBlocking

Detailed Description

Definition at line 41 of file pdr.h.

Member Data Documentation

◆ fBlocking

int Pdr_Par_t_::fBlocking

Definition at line 87 of file pdr.h.

◆ fCtgs

int Pdr_Par_t_::fCtgs

Definition at line 66 of file pdr.h.

◆ fDumpInv

int Pdr_Par_t_::fDumpInv

Definition at line 58 of file pdr.h.

◆ fFlopOrder

int Pdr_Par_t_::fFlopOrder

Definition at line 57 of file pdr.h.

◆ fFlopPrio

int Pdr_Par_t_::fFlopPrio

Definition at line 56 of file pdr.h.

◆ fMonoCnf

int Pdr_Par_t_::fMonoCnf

Definition at line 54 of file pdr.h.

◆ fNewXSim

int Pdr_Par_t_::fNewXSim

Definition at line 55 of file pdr.h.

◆ fNotVerbose

int Pdr_Par_t_::fNotVerbose

Definition at line 71 of file pdr.h.

◆ fReuseProofOblig

int Pdr_Par_t_::fReuseProofOblig

Definition at line 62 of file pdr.h.

◆ fShiftStart

int Pdr_Par_t_::fShiftStart

Definition at line 61 of file pdr.h.

◆ fShortest

int Pdr_Par_t_::fShortest

Definition at line 60 of file pdr.h.

◆ fSilent

int Pdr_Par_t_::fSilent

Definition at line 72 of file pdr.h.

◆ fSimpleGeneral

int Pdr_Par_t_::fSimpleGeneral

Definition at line 63 of file pdr.h.

◆ fSkipDown

int Pdr_Par_t_::fSkipDown

Definition at line 65 of file pdr.h.

◆ fSkipGeneral

int Pdr_Par_t_::fSkipGeneral

Definition at line 64 of file pdr.h.

◆ fSolveAll

int Pdr_Par_t_::fSolveAll

Definition at line 73 of file pdr.h.

◆ fStoreCex

int Pdr_Par_t_::fStoreCex

Definition at line 74 of file pdr.h.

◆ fTwoRounds

int Pdr_Par_t_::fTwoRounds

Definition at line 53 of file pdr.h.

◆ fUseAbs

int Pdr_Par_t_::fUseAbs

Definition at line 67 of file pdr.h.

◆ fUseBridge

int Pdr_Par_t_::fUseBridge

Definition at line 75 of file pdr.h.

◆ fUsePropOut

int Pdr_Par_t_::fUsePropOut

Definition at line 76 of file pdr.h.

◆ fUseSimpleRef

int Pdr_Par_t_::fUseSimpleRef

Definition at line 68 of file pdr.h.

◆ fUseSupp

int Pdr_Par_t_::fUseSupp

Definition at line 59 of file pdr.h.

◆ fVerbose

int Pdr_Par_t_::fVerbose

Definition at line 69 of file pdr.h.

◆ fVeryVerbose

int Pdr_Par_t_::fVeryVerbose

Definition at line 70 of file pdr.h.

◆ iFrame

int Pdr_Par_t_::iFrame

Definition at line 80 of file pdr.h.

◆ nConfGenLimit

int Pdr_Par_t_::nConfGenLimit

Definition at line 47 of file pdr.h.

◆ nConfLimit

int Pdr_Par_t_::nConfLimit

Definition at line 46 of file pdr.h.

◆ nDropOuts

int Pdr_Par_t_::nDropOuts

Definition at line 78 of file pdr.h.

◆ nFailOuts

int Pdr_Par_t_::nFailOuts

Definition at line 77 of file pdr.h.

◆ nFrameMax

int Pdr_Par_t_::nFrameMax

Definition at line 45 of file pdr.h.

◆ nProveOuts

int Pdr_Par_t_::nProveOuts

Definition at line 79 of file pdr.h.

◆ nRandomSeed

int Pdr_Par_t_::nRandomSeed

Definition at line 52 of file pdr.h.

◆ nRecycle

int Pdr_Par_t_::nRecycle

Definition at line 44 of file pdr.h.

◆ nRestLimit

int Pdr_Par_t_::nRestLimit

Definition at line 48 of file pdr.h.

◆ nTimeOut

int Pdr_Par_t_::nTimeOut

Definition at line 49 of file pdr.h.

◆ nTimeOutGap

int Pdr_Par_t_::nTimeOutGap

Definition at line 50 of file pdr.h.

◆ nTimeOutOne

int Pdr_Par_t_::nTimeOutOne

Definition at line 51 of file pdr.h.

◆ pFuncOnFail

int(* Pdr_Par_t_::pFuncOnFail) (int, Abc_Cex_t *)

Definition at line 83 of file pdr.h.

◆ pFuncStop

int(* Pdr_Par_t_::pFuncStop) (int)

Definition at line 82 of file pdr.h.

◆ pInvFileName

char* Pdr_Par_t_::pInvFileName

Definition at line 86 of file pdr.h.

◆ RunId

int Pdr_Par_t_::RunId

Definition at line 81 of file pdr.h.

◆ timeLastSolved

abctime Pdr_Par_t_::timeLastSolved

Definition at line 84 of file pdr.h.

◆ vOutMap

Vec_Int_t* Pdr_Par_t_::vOutMap

Definition at line 85 of file pdr.h.

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

src/proof/pdr/pdr.h

Public Attributes