Pdr_Par_t_ Struct Reference

#include <pdr.h>

Data Fields
int	nRecycle
int	nFrameMax
int	nConfLimit
int	nRestLimit
int	nTimeOut
int	nTimeOutGap
int	nTimeOutOne
int	fTwoRounds
int	fMonoCnf
int	fDumpInv
int	fShortest
int	fShiftStart
int	fReuseProofOblig
int	fSkipGeneral
int	fVerbose
int	fVeryVerbose
int	fNotVerbose
int	fSilent
int	fSolveAll
int	fStoreCex
int	fUseBridge
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

Detailed Description

Definition at line 41 of file pdr.h.

Field Documentation

int Pdr_Par_t_::fDumpInv

Definition at line 53 of file pdr.h.

int Pdr_Par_t_::fMonoCnf

Definition at line 52 of file pdr.h.

int Pdr_Par_t_::fNotVerbose

Definition at line 60 of file pdr.h.

int Pdr_Par_t_::fReuseProofOblig

Definition at line 56 of file pdr.h.

int Pdr_Par_t_::fShiftStart

Definition at line 55 of file pdr.h.

int Pdr_Par_t_::fShortest

Definition at line 54 of file pdr.h.

int Pdr_Par_t_::fSilent

Definition at line 61 of file pdr.h.

int Pdr_Par_t_::fSkipGeneral

Definition at line 57 of file pdr.h.

int Pdr_Par_t_::fSolveAll

Definition at line 62 of file pdr.h.

int Pdr_Par_t_::fStoreCex

Definition at line 63 of file pdr.h.

int Pdr_Par_t_::fTwoRounds

Definition at line 51 of file pdr.h.

int Pdr_Par_t_::fUseBridge

Definition at line 64 of file pdr.h.

int Pdr_Par_t_::fVerbose

Definition at line 58 of file pdr.h.

int Pdr_Par_t_::fVeryVerbose

Definition at line 59 of file pdr.h.

int Pdr_Par_t_::iFrame

Definition at line 68 of file pdr.h.

int Pdr_Par_t_::nConfLimit

Definition at line 46 of file pdr.h.

int Pdr_Par_t_::nDropOuts

Definition at line 66 of file pdr.h.

int Pdr_Par_t_::nFailOuts

Definition at line 65 of file pdr.h.

int Pdr_Par_t_::nFrameMax

Definition at line 45 of file pdr.h.

int Pdr_Par_t_::nProveOuts

Definition at line 67 of file pdr.h.

int Pdr_Par_t_::nRecycle

Definition at line 44 of file pdr.h.

int Pdr_Par_t_::nRestLimit

Definition at line 47 of file pdr.h.

int Pdr_Par_t_::nTimeOut

Definition at line 48 of file pdr.h.

int Pdr_Par_t_::nTimeOutGap

Definition at line 49 of file pdr.h.

int Pdr_Par_t_::nTimeOutOne

Definition at line 50 of file pdr.h.

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

Definition at line 71 of file pdr.h.

int(* Pdr_Par_t_::pFuncStop)(int)

Definition at line 70 of file pdr.h.

int Pdr_Par_t_::RunId

Definition at line 69 of file pdr.h.

abctime Pdr_Par_t_::timeLastSolved

Definition at line 72 of file pdr.h.

Vec_Int_t* Pdr_Par_t_::vOutMap

Definition at line 73 of file pdr.h.

---

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

• pdr.h