diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-29 14:45:16 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-29 14:45:16 +0700 |
commit | 4488ab83d0c36f65a349122f58c44b55025ff856 (patch) | |
tree | a010a42d6e526bfc5fda0227670a6d882c0baa61 /src/opt/sbd/sbdInt.h | |
parent | fdd8404bfc47ae385b7a3684113e8a76806eba79 (diff) | |
download | abc-4488ab83d0c36f65a349122f58c44b55025ff856.tar.gz abc-4488ab83d0c36f65a349122f58c44b55025ff856.tar.bz2 abc-4488ab83d0c36f65a349122f58c44b55025ff856.zip |
Updates to delay optimization project.
Diffstat (limited to 'src/opt/sbd/sbdInt.h')
-rw-r--r-- | src/opt/sbd/sbdInt.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/opt/sbd/sbdInt.h b/src/opt/sbd/sbdInt.h index 54174f76..31d0ea06 100644 --- a/src/opt/sbd/sbdInt.h +++ b/src/opt/sbd/sbdInt.h @@ -54,7 +54,7 @@ ABC_NAMESPACE_HEADER_START #define SBD_LUTS_MAX 2 #define SBD_SIZE_MAX 4 -#define SBD_DIV_MAX 7 +#define SBD_DIV_MAX 8 //////////////////////////////////////////////////////////////////////// /// BASIC TYPES /// @@ -88,6 +88,8 @@ extern void Sbd_StoDefefObj( Sbd_Sto_t * p, int iObj ); extern void Sbd_StoComputeCutsObj( Sbd_Sto_t * p, int iObj, int Delay, int Level ); extern void Sbd_StoComputeCutsCi( Sbd_Sto_t * p, int iObj, int Delay, int Level ); extern int Sbd_StoComputeCutsNode( Sbd_Sto_t * p, int iObj ); +extern int Sbd_StoObjBestCut( Sbd_Sto_t * p, int iObj, int * pLeaves ); + ABC_NAMESPACE_HEADER_END |