summaryrefslogtreecommitdiffstats
path: root/src/opt/sfm/sfmInt.h
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2015-10-24 18:53:18 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2015-10-24 18:53:18 -0700
commit45bf6324528bbaf60f8239da1ecac9cfa4e07c00 (patch)
treecbc0c6034d8667c0b8b966a225e8c286434217e4 /src/opt/sfm/sfmInt.h
parenta43d8273b708c3e0dedc045dfa2b58ccea5978f5 (diff)
downloadabc-45bf6324528bbaf60f8239da1ecac9cfa4e07c00.tar.gz
abc-45bf6324528bbaf60f8239da1ecac9cfa4e07c00.tar.bz2
abc-45bf6324528bbaf60f8239da1ecac9cfa4e07c00.zip
Changes for delay-oriented computation.
Diffstat (limited to 'src/opt/sfm/sfmInt.h')
-rw-r--r--src/opt/sfm/sfmInt.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/sfm/sfmInt.h b/src/opt/sfm/sfmInt.h
index 1b84a6fb..e5f73e38 100644
--- a/src/opt/sfm/sfmInt.h
+++ b/src/opt/sfm/sfmInt.h
@@ -212,7 +212,7 @@ extern void Sfm_NtkUpdate( Sfm_Ntk_t * p, int iNode, int f, int iFaninNe
extern int Sfm_NtkWindowToSolver( Sfm_Ntk_t * p );
extern word Sfm_ComputeInterpolant( Sfm_Ntk_t * p );
/*=== sfmTime.c ==========================================================*/
-extern Sfm_Tim_t * Sfm_TimStart( Mio_Library_t * pLib, Scl_Con_t * pExt, Abc_Ntk_t * pNtk );
+extern Sfm_Tim_t * Sfm_TimStart( Mio_Library_t * pLib, Scl_Con_t * pExt, Abc_Ntk_t * pNtk, int DeltaCrit );
extern void Sfm_TimStop( Sfm_Tim_t * p );
extern int Sfm_TimReadNtkDelay( Sfm_Tim_t * p );
extern int Sfm_TimReadObjDelay( Sfm_Tim_t * p, int iObj );