Gia_ParLlb_t_ Struct Reference

#include <llb.h>

Data Fields
int	nBddMax
int	nIterMax
int	nClusterMax
int	nHintDepth
int	HintFirst
int	fUseFlow
int	nVolumeMax
int	nVolumeMin
int	nPartValue
int	fBackward
int	fReorder
int	fIndConstr
int	fUsePivots
int	fCluster
int	fSchedule
int	fDumpReached
int	fVerbose
int	fVeryVerbose
int	fSilent
int	fSkipReach
int	fSkipOutCheck
int	TimeLimit
int	TimeLimitGlo
abctime	TimeTarget
int	iFrame

Detailed Description

Definition at line 42 of file llb.h.

Field Documentation

int Gia_ParLlb_t_::fBackward

Definition at line 53 of file llb.h.

int Gia_ParLlb_t_::fCluster

Definition at line 57 of file llb.h.

int Gia_ParLlb_t_::fDumpReached

Definition at line 59 of file llb.h.

int Gia_ParLlb_t_::fIndConstr

Definition at line 55 of file llb.h.

int Gia_ParLlb_t_::fReorder

Definition at line 54 of file llb.h.

int Gia_ParLlb_t_::fSchedule

Definition at line 58 of file llb.h.

int Gia_ParLlb_t_::fSilent

Definition at line 62 of file llb.h.

int Gia_ParLlb_t_::fSkipOutCheck

Definition at line 64 of file llb.h.

int Gia_ParLlb_t_::fSkipReach

Definition at line 63 of file llb.h.

int Gia_ParLlb_t_::fUseFlow

Definition at line 49 of file llb.h.

int Gia_ParLlb_t_::fUsePivots

Definition at line 56 of file llb.h.

int Gia_ParLlb_t_::fVerbose

Definition at line 60 of file llb.h.

int Gia_ParLlb_t_::fVeryVerbose

Definition at line 61 of file llb.h.

int Gia_ParLlb_t_::HintFirst

Definition at line 48 of file llb.h.

int Gia_ParLlb_t_::iFrame

Definition at line 69 of file llb.h.

int Gia_ParLlb_t_::nBddMax

Definition at line 44 of file llb.h.

int Gia_ParLlb_t_::nClusterMax

Definition at line 46 of file llb.h.

int Gia_ParLlb_t_::nHintDepth

Definition at line 47 of file llb.h.

int Gia_ParLlb_t_::nIterMax

Definition at line 45 of file llb.h.

int Gia_ParLlb_t_::nPartValue

Definition at line 52 of file llb.h.

int Gia_ParLlb_t_::nVolumeMax

Definition at line 50 of file llb.h.

int Gia_ParLlb_t_::nVolumeMin

Definition at line 51 of file llb.h.

int Gia_ParLlb_t_::TimeLimit

Definition at line 65 of file llb.h.

int Gia_ParLlb_t_::TimeLimitGlo

Definition at line 66 of file llb.h.

abctime Gia_ParLlb_t_::TimeTarget

Definition at line 68 of file llb.h.

---

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

• llb.h