#include <llb.h>

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

Member Data Documentation

◆ fBackward

int Gia_ParLlb_t_::fBackward

Definition at line 53 of file llb.h.

◆ fCluster

int Gia_ParLlb_t_::fCluster

Definition at line 57 of file llb.h.

◆ fDumpReached

int Gia_ParLlb_t_::fDumpReached

Definition at line 59 of file llb.h.

◆ fIndConstr

int Gia_ParLlb_t_::fIndConstr

Definition at line 55 of file llb.h.

◆ fReorder

int Gia_ParLlb_t_::fReorder

Definition at line 54 of file llb.h.

◆ fSchedule

int Gia_ParLlb_t_::fSchedule

Definition at line 58 of file llb.h.

◆ fSilent

int Gia_ParLlb_t_::fSilent

Definition at line 62 of file llb.h.

◆ fSkipOutCheck

int Gia_ParLlb_t_::fSkipOutCheck

Definition at line 64 of file llb.h.

◆ fSkipReach

int Gia_ParLlb_t_::fSkipReach

Definition at line 63 of file llb.h.

◆ fUseFlow

int Gia_ParLlb_t_::fUseFlow

Definition at line 49 of file llb.h.

◆ fUsePivots

int Gia_ParLlb_t_::fUsePivots

Definition at line 56 of file llb.h.

◆ fVerbose

int Gia_ParLlb_t_::fVerbose

Definition at line 60 of file llb.h.

◆ fVeryVerbose

int Gia_ParLlb_t_::fVeryVerbose

Definition at line 61 of file llb.h.

◆ HintFirst

int Gia_ParLlb_t_::HintFirst

Definition at line 48 of file llb.h.

◆ iFrame

int Gia_ParLlb_t_::iFrame

Definition at line 69 of file llb.h.

◆ nBddMax

int Gia_ParLlb_t_::nBddMax

Definition at line 44 of file llb.h.

◆ nClusterMax

int Gia_ParLlb_t_::nClusterMax

Definition at line 46 of file llb.h.

◆ nHintDepth

int Gia_ParLlb_t_::nHintDepth

Definition at line 47 of file llb.h.

◆ nIterMax

int Gia_ParLlb_t_::nIterMax

Definition at line 45 of file llb.h.

◆ nPartValue

int Gia_ParLlb_t_::nPartValue

Definition at line 52 of file llb.h.

◆ nVolumeMax

int Gia_ParLlb_t_::nVolumeMax

Definition at line 50 of file llb.h.

◆ nVolumeMin

int Gia_ParLlb_t_::nVolumeMin

Definition at line 51 of file llb.h.

◆ TimeLimit

int Gia_ParLlb_t_::TimeLimit

Definition at line 65 of file llb.h.

◆ TimeLimitGlo

int Gia_ParLlb_t_::TimeLimitGlo

Definition at line 66 of file llb.h.

◆ TimeTarget

abctime Gia_ParLlb_t_::TimeTarget

Definition at line 68 of file llb.h.

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

src/bdd/llb/llb.h

Public Attributes