diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-29 21:26:02 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-29 21:26:02 +0700 |
| commit | 54b4692d4bb2a6c5e59b5f54aaff95e2c4966e77 (patch) | |
| tree | 507e0e86a0d8d6a045dca34045e9e32955184608 /src/opt/sbd/sbdInt.h | |
| parent | 4488ab83d0c36f65a349122f58c44b55025ff856 (diff) | |
| download | abc-54b4692d4bb2a6c5e59b5f54aaff95e2c4966e77.tar.gz abc-54b4692d4bb2a6c5e59b5f54aaff95e2c4966e77.tar.bz2 abc-54b4692d4bb2a6c5e59b5f54aaff95e2c4966e77.zip | |
Updates to delay optimization project.
Diffstat (limited to 'src/opt/sbd/sbdInt.h')
| -rw-r--r-- | src/opt/sbd/sbdInt.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/opt/sbd/sbdInt.h b/src/opt/sbd/sbdInt.h index 31d0ea06..d54285f8 100644 --- a/src/opt/sbd/sbdInt.h +++ b/src/opt/sbd/sbdInt.h @@ -84,7 +84,8 @@ struct Sbd_Str_t_ extern Sbd_Sto_t * Sbd_StoAlloc( Gia_Man_t * pGia, Vec_Int_t * vMirrors, int nLutSize, int nCutSize, int nCutNum, int fCutMin, int fVerbose ); extern void Sbd_StoFree( Sbd_Sto_t * p ); extern void Sbd_StoRefObj( Sbd_Sto_t * p, int iObj, int iMirror ); -extern void Sbd_StoDefefObj( Sbd_Sto_t * p, int iObj ); +extern void Sbd_StoDerefObj( Sbd_Sto_t * p, int iObj ); +extern void Sbd_StoComputeCutsConst0( 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 ); |