acbPar.h

Go to the documentation of this file.

 
#ifndef ABC__base__acb__acbPar_h
#define ABC__base__acb__acbPar_h


 
ABC_NAMESPACE_HEADER_START 

 
typedef struct Acb_Par_t_ Acb_Par_t;
struct Acb_Par_t_
{
    int             nLutSize;      // LUT size
    int             nTfoLevMax;    // the maximum fanout levels
    int             nTfiLevMax;    // the maximum fanin levels
    int             nFanoutMax;    // the maximum number of fanouts
    int             nWinNodeMax;   // the maximum number of nodes in the window
    int             nGrowthLevel;  // the maximum allowed growth in level
    int             nBTLimit;      // the maximum number of conflicts in one SAT run
    int             nNodesMax;     // the maximum number of nodes to try
    int             fUseAshen;     // user Ashenhurst decomposition
    int             iNodeOne;      // one particular node to try
    int             fArea;         // performs optimization for area
    int             fMoreEffort;   // performs high-affort minimization
    int             fVerbose;      // enable basic stats
    int             fVeryVerbose;  // enable detailed stats
};
 
 
/*=== acbAbc.c =============================================================*/
extern void   Acb_ParSetDefault( Acb_Par_t * pPars );
 
 
ABC_NAMESPACE_HEADER_END
 
#endif