#include <giaNewBdd.h>

Public Member Functions
	Param ()

Public Attributes
int	nObjsAllocLog

int	nObjsMaxLog

int	nUniqueSizeLog

double	UniqueDensity

int	nCacheSizeLog

int	nCacheMaxLog

int	nCacheVerbose

bool	fCountOnes

int	nGbc

bvar	nReo

double	MaxGrowth

bool	fReoVerbose

int	nVerbose

std::vector< var > *	pVar2Level

Detailed Description

Definition at line 165 of file giaNewBdd.h.

Constructor & Destructor Documentation

◆ Param()

NewBdd::Param::Param ( )

inline

Definition at line 180 of file giaNewBdd.h.

            {
      nObjsAllocLog  = 20;
      nObjsMaxLog    = 25;
      nUniqueSizeLog = 10;
      UniqueDensity  = 4;
      nCacheSizeLog  = 15;
      nCacheMaxLog   = 20;
      nCacheVerbose  = 0;
      fCountOnes     = false;
      nGbc           = 0;
      nReo           = BvarMax();
      MaxGrowth      = 1.2;
      fReoVerbose    = false;
      nVerbose       = 0;
      pVar2Level     = NULL;
    }

Member Data Documentation

◆ fCountOnes

bool NewBdd::Param::fCountOnes

Definition at line 173 of file giaNewBdd.h.

◆ fReoVerbose

bool NewBdd::Param::fReoVerbose

Definition at line 177 of file giaNewBdd.h.

◆ MaxGrowth

double NewBdd::Param::MaxGrowth

Definition at line 176 of file giaNewBdd.h.

◆ nCacheMaxLog

int NewBdd::Param::nCacheMaxLog

Definition at line 171 of file giaNewBdd.h.

◆ nCacheSizeLog

int NewBdd::Param::nCacheSizeLog

Definition at line 170 of file giaNewBdd.h.

◆ nCacheVerbose

int NewBdd::Param::nCacheVerbose

Definition at line 172 of file giaNewBdd.h.

◆ nGbc

int NewBdd::Param::nGbc

Definition at line 174 of file giaNewBdd.h.

◆ nObjsAllocLog

int NewBdd::Param::nObjsAllocLog

Definition at line 166 of file giaNewBdd.h.

◆ nObjsMaxLog

int NewBdd::Param::nObjsMaxLog

Definition at line 167 of file giaNewBdd.h.

◆ nReo

bvar NewBdd::Param::nReo

Definition at line 175 of file giaNewBdd.h.

◆ nUniqueSizeLog

int NewBdd::Param::nUniqueSizeLog

Definition at line 168 of file giaNewBdd.h.

◆ nVerbose

int NewBdd::Param::nVerbose

Definition at line 178 of file giaNewBdd.h.

◆ pVar2Level

std::vector<var>* NewBdd::Param::pVar2Level

Definition at line 179 of file giaNewBdd.h.

◆ UniqueDensity

double NewBdd::Param::UniqueDensity

Definition at line 169 of file giaNewBdd.h.

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

src/aig/gia/giaNewBdd.h

Public Member Functions

Public Attributes