#include <abs.h>

Public Attributes
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.

Member Data Documentation

◆ fAddLayer

int Abs_Par_t_::fAddLayer

Definition at line 64 of file abs.h.

◆ fCallProver

int Abs_Par_t_::fCallProver

Definition at line 72 of file abs.h.

◆ fDumpMabs

int Abs_Par_t_::fDumpMabs

Definition at line 71 of file abs.h.

◆ fDumpVabs

int Abs_Par_t_::fDumpVabs

Definition at line 70 of file abs.h.

◆ fNewRefine

int Abs_Par_t_::fNewRefine

Definition at line 65 of file abs.h.

◆ fPropFanout

int Abs_Par_t_::fPropFanout

Definition at line 63 of file abs.h.

◆ fSimpProver

int Abs_Par_t_::fSimpProver

Definition at line 73 of file abs.h.

◆ fSkipHash

int Abs_Par_t_::fSkipHash

Definition at line 68 of file abs.h.

◆ fUseFullProof

int Abs_Par_t_::fUseFullProof

Definition at line 69 of file abs.h.

◆ fUseRollback

int Abs_Par_t_::fUseRollback

Definition at line 62 of file abs.h.

◆ fUseSimple

int Abs_Par_t_::fUseSimple

Definition at line 67 of file abs.h.

◆ fUseSkip

int Abs_Par_t_::fUseSkip

Definition at line 66 of file abs.h.

◆ fUseTermVars

int Abs_Par_t_::fUseTermVars

Definition at line 61 of file abs.h.

◆ fVerbose

int Abs_Par_t_::fVerbose

Definition at line 75 of file abs.h.

◆ fVeryVerbose

int Abs_Par_t_::fVeryVerbose

Definition at line 76 of file abs.h.

◆ iFrame

int Abs_Par_t_::iFrame

Definition at line 77 of file abs.h.

◆ iFrameProved

int Abs_Par_t_::iFrameProved

Definition at line 78 of file abs.h.

◆ nConfLimit

int Abs_Par_t_::nConfLimit

Definition at line 52 of file abs.h.

◆ nFramesMax

int Abs_Par_t_::nFramesMax

Definition at line 49 of file abs.h.

◆ nFramesNoChange

int Abs_Par_t_::nFramesNoChange

Definition at line 79 of file abs.h.

◆ nFramesNoChangeLim

int Abs_Par_t_::nFramesNoChangeLim

Definition at line 80 of file abs.h.

◆ nFramesPast

int Abs_Par_t_::nFramesPast

Definition at line 51 of file abs.h.

◆ nFramesStart

int Abs_Par_t_::nFramesStart

Definition at line 50 of file abs.h.

◆ nLearnedDelta

int Abs_Par_t_::nLearnedDelta

Definition at line 55 of file abs.h.

◆ nLearnedMax

int Abs_Par_t_::nLearnedMax

Definition at line 53 of file abs.h.

◆ nLearnedPerce

int Abs_Par_t_::nLearnedPerce

Definition at line 56 of file abs.h.

◆ nLearnedStart

int Abs_Par_t_::nLearnedStart

Definition at line 54 of file abs.h.

◆ nRatioMax

int Abs_Par_t_::nRatioMax

Definition at line 60 of file abs.h.

◆ nRatioMin

int Abs_Par_t_::nRatioMin

Definition at line 58 of file abs.h.

◆ nRatioMin2

int Abs_Par_t_::nRatioMin2

Definition at line 59 of file abs.h.

◆ nTimeOut

int Abs_Par_t_::nTimeOut

Definition at line 57 of file abs.h.

◆ pFileVabs

char* Abs_Par_t_::pFileVabs

Definition at line 74 of file abs.h.

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

src/proof/abs/abs.h

Public Attributes