#include <acec.h>

Public Attributes
int	nBTLimit

int	TimeLimit

int	fMiter

int	fDualOutput

int	fTwoOutput

int	fBooth

int	fSilent

int	fVeryVerbose

int	fVerbose

int	iOutFail

Detailed Description

Definition at line 43 of file acec.h.

Member Data Documentation

◆ fBooth

int Acec_ParCec_t_::fBooth

Definition at line 50 of file acec.h.

◆ fDualOutput

int Acec_ParCec_t_::fDualOutput

Definition at line 48 of file acec.h.

◆ fMiter

int Acec_ParCec_t_::fMiter

Definition at line 47 of file acec.h.

◆ fSilent

int Acec_ParCec_t_::fSilent

Definition at line 51 of file acec.h.

◆ fTwoOutput

int Acec_ParCec_t_::fTwoOutput

Definition at line 49 of file acec.h.

◆ fVerbose

int Acec_ParCec_t_::fVerbose

Definition at line 53 of file acec.h.

◆ fVeryVerbose

int Acec_ParCec_t_::fVeryVerbose

Definition at line 52 of file acec.h.

◆ iOutFail

int Acec_ParCec_t_::iOutFail

Definition at line 54 of file acec.h.

◆ nBTLimit

int Acec_ParCec_t_::nBTLimit

Definition at line 45 of file acec.h.

◆ TimeLimit

int Acec_ParCec_t_::TimeLimit

Definition at line 46 of file acec.h.

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

src/proof/acec/acec.h

Public Attributes