summaryrefslogtreecommitdiffstats
path: root/src/map/mio/mio.h
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2015-10-23 17:17:23 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2015-10-23 17:17:23 -0700
commit61d462320744107bb609878210d1058bbc585b91 (patch)
treeec18267a0034b0f33b52b2fb913207c5b3e0e90e /src/map/mio/mio.h
parent701565eb7bd5b464f530e9816e8f4de8ceb98534 (diff)
downloadabc-61d462320744107bb609878210d1058bbc585b91.tar.gz
abc-61d462320744107bb609878210d1058bbc585b91.tar.bz2
abc-61d462320744107bb609878210d1058bbc585b91.zip
Adding switch in 'print_genlib' and 'write_genlib' to print area-min gates only.
Diffstat (limited to 'src/map/mio/mio.h')
-rw-r--r--src/map/mio/mio.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/mio/mio.h b/src/map/mio/mio.h
index e6ee53ac..a391e4a2 100644
--- a/src/map/mio/mio.h
+++ b/src/map/mio/mio.h
@@ -180,7 +180,7 @@ extern void Mio_LibraryDelete( Mio_Library_t * pLib );
extern void Mio_GateDelete( Mio_Gate_t * pGate );
extern void Mio_PinDelete( Mio_Pin_t * pPin );
extern Mio_Pin_t * Mio_PinDup( Mio_Pin_t * pPin );
-extern void Mio_WriteLibrary( FILE * pFile, Mio_Library_t * pLib, int fPrintSops, int fShort );
+extern void Mio_WriteLibrary( FILE * pFile, Mio_Library_t * pLib, int fPrintSops, int fShort, int fSelected );
extern Mio_Gate_t ** Mio_CollectRoots( Mio_Library_t * pLib, int nInputs, float tDelay, int fSkipInv, int * pnGates, int fVerbose );
extern Mio_Cell_t * Mio_CollectRootsNew( Mio_Library_t * pLib, int nInputs, int * pnGates, int fVerbose );
extern Mio_Cell_t * Mio_CollectRootsNewDefault( int nInputs, int * pnGates, int fVerbose );