Inter_ManParams_t_ Struct Reference

#include <int.h>

Data Fields
int	nBTLimit
int	nFramesMax
int	nSecLimit
int	nFramesK
int	fRewrite
int	fTransLoop
int	fUsePudlak
int	fUseOther
int	fUseMiniSat
int	fCheckKstep
int	fUseBias
int	fUseBackward
int	fUseSeparate
int	fUseTwoFrames
int	fDropSatOuts
int	fDropInvar
int	fVerbose
int	iFrameMax
char *	pFileName

Detailed Description

Definition at line 49 of file int.h.

Field Documentation

int Inter_ManParams_t_::fCheckKstep

Definition at line 60 of file int.h.

int Inter_ManParams_t_::fDropInvar

Definition at line 66 of file int.h.

int Inter_ManParams_t_::fDropSatOuts

Definition at line 65 of file int.h.

int Inter_ManParams_t_::fRewrite

Definition at line 55 of file int.h.

int Inter_ManParams_t_::fTransLoop

Definition at line 56 of file int.h.

int Inter_ManParams_t_::fUseBackward

Definition at line 62 of file int.h.

int Inter_ManParams_t_::fUseBias

Definition at line 61 of file int.h.

int Inter_ManParams_t_::fUseMiniSat

Definition at line 59 of file int.h.

int Inter_ManParams_t_::fUseOther

Definition at line 58 of file int.h.

int Inter_ManParams_t_::fUsePudlak

Definition at line 57 of file int.h.

int Inter_ManParams_t_::fUseSeparate

Definition at line 63 of file int.h.

int Inter_ManParams_t_::fUseTwoFrames

Definition at line 64 of file int.h.

int Inter_ManParams_t_::fVerbose

Definition at line 67 of file int.h.

int Inter_ManParams_t_::iFrameMax

Definition at line 68 of file int.h.

int Inter_ManParams_t_::nBTLimit

Definition at line 51 of file int.h.

int Inter_ManParams_t_::nFramesK

Definition at line 54 of file int.h.

int Inter_ManParams_t_::nFramesMax

Definition at line 52 of file int.h.

int Inter_ManParams_t_::nSecLimit

Definition at line 53 of file int.h.

char* Inter_ManParams_t_::pFileName

Definition at line 69 of file int.h.

---

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

• int.h