Abs_Par_t_ Struct Reference

#include <abs.h>

Data Fields
int	nFramesMax
int	nFramesStart
int	nFramesPast
int	nConfLimit
int	nLearnedMax
int	nLearnedStart
int	nLearnedDelta
int	nLearnedPerce
int	nTimeOut
int	nRatioMin
int	nRatioMin2
int	nRatioMax
int	fUseTermVars
int	fUseRollback
int	fPropFanout
int	fAddLayer
int	fNewRefine
int	fUseSkip
int	fUseSimple
int	fSkipHash
int	fUseFullProof
int	fDumpVabs
int	fDumpMabs
int	fCallProver
int	fSimpProver
char *	pFileVabs
int	fVerbose
int	fVeryVerbose
int	iFrame
int	iFrameProved
int	nFramesNoChange
int	nFramesNoChangeLim

Detailed Description

Definition at line 47 of file abs.h.

Field Documentation

int Abs_Par_t_::fAddLayer

Definition at line 64 of file abs.h.

int Abs_Par_t_::fCallProver

Definition at line 72 of file abs.h.

int Abs_Par_t_::fDumpMabs

Definition at line 71 of file abs.h.

int Abs_Par_t_::fDumpVabs

Definition at line 70 of file abs.h.

int Abs_Par_t_::fNewRefine

Definition at line 65 of file abs.h.

int Abs_Par_t_::fPropFanout

Definition at line 63 of file abs.h.

int Abs_Par_t_::fSimpProver

Definition at line 73 of file abs.h.

int Abs_Par_t_::fSkipHash

Definition at line 68 of file abs.h.

int Abs_Par_t_::fUseFullProof

Definition at line 69 of file abs.h.

int Abs_Par_t_::fUseRollback

Definition at line 62 of file abs.h.

int Abs_Par_t_::fUseSimple

Definition at line 67 of file abs.h.

int Abs_Par_t_::fUseSkip

Definition at line 66 of file abs.h.

int Abs_Par_t_::fUseTermVars

Definition at line 61 of file abs.h.

int Abs_Par_t_::fVerbose

Definition at line 75 of file abs.h.

int Abs_Par_t_::fVeryVerbose

Definition at line 76 of file abs.h.

int Abs_Par_t_::iFrame

Definition at line 77 of file abs.h.

int Abs_Par_t_::iFrameProved

Definition at line 78 of file abs.h.

int Abs_Par_t_::nConfLimit

Definition at line 52 of file abs.h.

int Abs_Par_t_::nFramesMax

Definition at line 49 of file abs.h.

int Abs_Par_t_::nFramesNoChange

Definition at line 79 of file abs.h.

int Abs_Par_t_::nFramesNoChangeLim

Definition at line 80 of file abs.h.

int Abs_Par_t_::nFramesPast

Definition at line 51 of file abs.h.

int Abs_Par_t_::nFramesStart

Definition at line 50 of file abs.h.

int Abs_Par_t_::nLearnedDelta

Definition at line 55 of file abs.h.

int Abs_Par_t_::nLearnedMax

Definition at line 53 of file abs.h.

int Abs_Par_t_::nLearnedPerce

Definition at line 56 of file abs.h.

int Abs_Par_t_::nLearnedStart

Definition at line 54 of file abs.h.

int Abs_Par_t_::nRatioMax

Definition at line 60 of file abs.h.

int Abs_Par_t_::nRatioMin

Definition at line 58 of file abs.h.

int Abs_Par_t_::nRatioMin2

Definition at line 59 of file abs.h.

int Abs_Par_t_::nTimeOut

Definition at line 57 of file abs.h.

char* Abs_Par_t_::pFileVabs

Definition at line 74 of file abs.h.

---

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

• abs.h