ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Lpk_Par_t_ Struct Reference

#include <lpk.h>

Public Attributes

int nLutsMax
 
int nLutsOver
 
int nVarsShared
 
int nGrowthLevel
 
int fSatur
 
int fZeroCost
 
int fFirst
 
int fOldAlgo
 
int fVerbose
 
int fVeryVerbose
 
int nLutSize
 
int nVarsMax
 

Detailed Description

Definition at line 43 of file lpk.h.

Member Data Documentation

◆ fFirst

int Lpk_Par_t_::fFirst

Definition at line 52 of file lpk.h.

◆ fOldAlgo

int Lpk_Par_t_::fOldAlgo

Definition at line 53 of file lpk.h.

◆ fSatur

int Lpk_Par_t_::fSatur

Definition at line 50 of file lpk.h.

◆ fVerbose

int Lpk_Par_t_::fVerbose

Definition at line 54 of file lpk.h.

◆ fVeryVerbose

int Lpk_Par_t_::fVeryVerbose

Definition at line 55 of file lpk.h.

◆ fZeroCost

int Lpk_Par_t_::fZeroCost

Definition at line 51 of file lpk.h.

◆ nGrowthLevel

int Lpk_Par_t_::nGrowthLevel

Definition at line 49 of file lpk.h.

◆ nLutSize

int Lpk_Par_t_::nLutSize

Definition at line 57 of file lpk.h.

◆ nLutsMax

int Lpk_Par_t_::nLutsMax

Definition at line 46 of file lpk.h.

◆ nLutsOver

int Lpk_Par_t_::nLutsOver

Definition at line 47 of file lpk.h.

◆ nVarsMax

int Lpk_Par_t_::nVarsMax

Definition at line 58 of file lpk.h.

◆ nVarsShared

int Lpk_Par_t_::nVarsShared

Definition at line 48 of file lpk.h.


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