#include <giaNewTt.h>

Public Member Functions
	Param ()

Public Attributes
int	nObjsAllocLog

int	nObjsMaxLog

int	nVerbose

bool	fCountOnes

int	nGbc

int	nReo

std::vector< int > *	pVar2Level

Detailed Description

Definition at line 50 of file giaNewTt.h.

Constructor & Destructor Documentation

◆ Param()

NewTt::Param::Param ( )

inline

Definition at line 58 of file giaNewTt.h.

            {
      nObjsAllocLog = 15;
      nObjsMaxLog   = 20;
      nVerbose      = 0;
      fCountOnes    = false;
      nGbc          = 0;
      nReo          = BvarMax();
    }

Member Data Documentation

◆ fCountOnes

bool NewTt::Param::fCountOnes

Definition at line 54 of file giaNewTt.h.

◆ nGbc

int NewTt::Param::nGbc

Definition at line 55 of file giaNewTt.h.

◆ nObjsAllocLog

int NewTt::Param::nObjsAllocLog

Definition at line 51 of file giaNewTt.h.

◆ nObjsMaxLog

int NewTt::Param::nObjsMaxLog

Definition at line 52 of file giaNewTt.h.

◆ nReo

int NewTt::Param::nReo

Definition at line 56 of file giaNewTt.h.

◆ nVerbose

int NewTt::Param::nVerbose

Definition at line 53 of file giaNewTt.h.

◆ pVar2Level

std::vector<int>* NewTt::Param::pVar2Level

Definition at line 57 of file giaNewTt.h.

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

src/aig/gia/giaNewTt.h

Public Member Functions

Public Attributes