summaryrefslogtreecommitdiffstats
path: root/src/map/mio/mio.h
diff options
context:
space:
mode:
authorBruno Schmitt <bruno@oschmitt.com>2016-05-19 22:11:14 -0300
committerBruno Schmitt <bruno@oschmitt.com>2016-05-19 22:11:14 -0300
commitfe6bb87e541be3d0f7dae29fd1dfdfa7b1341575 (patch)
tree29edf971ad62f0a84b20a732bb2edaf637cb8c10 /src/map/mio/mio.h
parentf93fbc230389f0842d77eec639e225ba57589821 (diff)
parent07d074fd88603db94cf7f8fa17523dc6de0b1904 (diff)
downloadabc-fe6bb87e541be3d0f7dae29fd1dfdfa7b1341575.tar.gz
abc-fe6bb87e541be3d0f7dae29fd1dfdfa7b1341575.tar.bz2
abc-fe6bb87e541be3d0f7dae29fd1dfdfa7b1341575.zip
Merged alanmi/abc into default
Diffstat (limited to 'src/map/mio/mio.h')
-rw-r--r--src/map/mio/mio.h5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/map/mio/mio.h b/src/map/mio/mio.h
index 3f5df736..f45cce89 100644
--- a/src/map/mio/mio.h
+++ b/src/map/mio/mio.h
@@ -213,6 +213,11 @@ extern void Mio_LibraryTransferProfile( Mio_Library_t * pLibDst, Mi
extern void Mio_LibraryTransferProfile2( Mio_Library_t * pLibDst, Mio_Library_t * pLibSrc );
extern int Mio_LibraryHasProfile( Mio_Library_t * pLib );
extern void Mio_LibraryCleanProfile2( Mio_Library_t * pLib );
+extern void Mio_LibraryShortNames( Mio_Library_t * pLib );
+
+extern void Mio_LibraryMatchesStop( Mio_Library_t * pLib );
+extern void Mio_LibraryMatchesStart( Mio_Library_t * pLib, int fPinFilter, int fPinPerm, int fPinQuick );
+extern void Mio_LibraryMatchesFetch( Mio_Library_t * pLib, Vec_Mem_t ** pvTtMem, Vec_Wec_t ** pvTt2Match, Mio_Cell2_t ** ppCells, int * pnCells, int fPinFilter, int fPinPerm, int fPinQuick );
/*=== sclUtil.c =========================================================*/
extern Mio_Library_t * Abc_SclDeriveGenlibSimple( void * pScl );