#include <saig.h>

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

Member Data Documentation

◆ fPartition

int Saig_ParBbr_t_::fPartition

Definition at line 59 of file saig.h.

◆ fReorder

int Saig_ParBbr_t_::fReorder

Definition at line 60 of file saig.h.

◆ fReorderImage

int Saig_ParBbr_t_::fReorderImage

Definition at line 61 of file saig.h.

◆ fSilent

int Saig_ParBbr_t_::fSilent

Definition at line 63 of file saig.h.

◆ fSkipOutCheck

int Saig_ParBbr_t_::fSkipOutCheck

Definition at line 64 of file saig.h.

◆ fVerbose

int Saig_ParBbr_t_::fVerbose

Definition at line 62 of file saig.h.

◆ iFrame

int Saig_ParBbr_t_::iFrame

Definition at line 65 of file saig.h.

◆ nBddMax

int Saig_ParBbr_t_::nBddMax

Definition at line 57 of file saig.h.

◆ nIterMax

int Saig_ParBbr_t_::nIterMax

Definition at line 58 of file saig.h.

◆ TimeLimit

int Saig_ParBbr_t_::TimeLimit

Definition at line 56 of file saig.h.

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

src/aig/saig/saig.h

Public Attributes