#include <rrrBddManager.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 145 of file rrrBddManager.h.

Constructor & Destructor Documentation

◆ Param()

rrr::NewBdd::Param::Param ( )

inline

Definition at line 160 of file rrrBddManager.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 rrr::NewBdd::Param::fCountOnes

Definition at line 153 of file rrrBddManager.h.

◆ fReoVerbose

bool rrr::NewBdd::Param::fReoVerbose

Definition at line 157 of file rrrBddManager.h.

◆ MaxGrowth

double rrr::NewBdd::Param::MaxGrowth

Definition at line 156 of file rrrBddManager.h.

◆ nCacheMaxLog

int rrr::NewBdd::Param::nCacheMaxLog

Definition at line 151 of file rrrBddManager.h.

◆ nCacheSizeLog

int rrr::NewBdd::Param::nCacheSizeLog

Definition at line 150 of file rrrBddManager.h.

◆ nCacheVerbose

int rrr::NewBdd::Param::nCacheVerbose

Definition at line 152 of file rrrBddManager.h.

◆ nGbc

int rrr::NewBdd::Param::nGbc

Definition at line 154 of file rrrBddManager.h.

◆ nObjsAllocLog

int rrr::NewBdd::Param::nObjsAllocLog

Definition at line 146 of file rrrBddManager.h.

◆ nObjsMaxLog

int rrr::NewBdd::Param::nObjsMaxLog

Definition at line 147 of file rrrBddManager.h.

◆ nReo

bvar rrr::NewBdd::Param::nReo

Definition at line 155 of file rrrBddManager.h.

◆ nUniqueSizeLog

int rrr::NewBdd::Param::nUniqueSizeLog

Definition at line 148 of file rrrBddManager.h.

◆ nVerbose

int rrr::NewBdd::Param::nVerbose

Definition at line 158 of file rrrBddManager.h.

◆ pVar2Level

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

Definition at line 159 of file rrrBddManager.h.

◆ UniqueDensity

double rrr::NewBdd::Param::UniqueDensity

Definition at line 149 of file rrrBddManager.h.

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

src/opt/rrr/rrrBddManager.h

Public Member Functions

Public Attributes