Saig_ParBbr_t_ Struct Reference

#include <saig.h>

Data Fields
int	TimeLimit
int	nBddMax
int	nIterMax
int	fPartition
int	fReorder
int	fReorderImage
int	fVerbose
int	fSilent
int	fSkipOutCheck
int	iFrame

Detailed Description

Definition at line 54 of file saig.h.

Field Documentation

int Saig_ParBbr_t_::fPartition

Definition at line 59 of file saig.h.

int Saig_ParBbr_t_::fReorder

Definition at line 60 of file saig.h.

int Saig_ParBbr_t_::fReorderImage

Definition at line 61 of file saig.h.

int Saig_ParBbr_t_::fSilent

Definition at line 63 of file saig.h.

int Saig_ParBbr_t_::fSkipOutCheck

Definition at line 64 of file saig.h.

int Saig_ParBbr_t_::fVerbose

Definition at line 62 of file saig.h.

int Saig_ParBbr_t_::iFrame

Definition at line 65 of file saig.h.

int Saig_ParBbr_t_::nBddMax

Definition at line 57 of file saig.h.

int Saig_ParBbr_t_::nIterMax

Definition at line 58 of file saig.h.

int Saig_ParBbr_t_::TimeLimit

Definition at line 56 of file saig.h.

---

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

• saig.h