#include <int2.h>

Public Attributes
int	nBTLimit

int	nFramesS

int	nFramesMax

int	nSecLimit

int	nFramesK

int	fRewrite

int	fTransLoop

int	fDropInvar

int	fVerbose

int	iFrameMax

char *	pFileName

Detailed Description

Definition at line 51 of file int2.h.

Member Data Documentation

◆ fDropInvar

int Int2_ManPars_t_::fDropInvar

Definition at line 60 of file int2.h.

◆ fRewrite

int Int2_ManPars_t_::fRewrite

Definition at line 58 of file int2.h.

◆ fTransLoop

int Int2_ManPars_t_::fTransLoop

Definition at line 59 of file int2.h.

◆ fVerbose

int Int2_ManPars_t_::fVerbose

Definition at line 61 of file int2.h.

◆ iFrameMax

int Int2_ManPars_t_::iFrameMax

Definition at line 62 of file int2.h.

◆ nBTLimit

int Int2_ManPars_t_::nBTLimit

Definition at line 53 of file int2.h.

◆ nFramesK

int Int2_ManPars_t_::nFramesK

Definition at line 57 of file int2.h.

◆ nFramesMax

int Int2_ManPars_t_::nFramesMax

Definition at line 55 of file int2.h.

◆ nFramesS

int Int2_ManPars_t_::nFramesS

Definition at line 54 of file int2.h.

◆ nSecLimit

int Int2_ManPars_t_::nSecLimit

Definition at line 56 of file int2.h.

◆ pFileName

char* Int2_ManPars_t_::pFileName

Definition at line 63 of file int2.h.

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

src/proof/int2/int2.h

Public Attributes