diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-26 20:19:50 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-26 20:19:50 -0700 |
commit | 4c0082990051610f28397067027406ff961ab91f (patch) | |
tree | 0b93751477049dba54d257d6ea0146b20a1b51b1 /src/map/mio/mio.h | |
parent | dfb065fa553e54fe00891fbeefb866be2c6dfa9d (diff) | |
download | abc-4c0082990051610f28397067027406ff961ab91f.tar.gz abc-4c0082990051610f28397067027406ff961ab91f.tar.bz2 abc-4c0082990051610f28397067027406ff961ab91f.zip |
Modified SCL gate library to read/write gate formula.
Diffstat (limited to 'src/map/mio/mio.h')
-rw-r--r-- | src/map/mio/mio.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/map/mio/mio.h b/src/map/mio/mio.h index 72803cd7..ed297a1b 100644 --- a/src/map/mio/mio.h +++ b/src/map/mio/mio.h @@ -136,6 +136,7 @@ extern int Mio_LibraryReadExclude( char * ExcludeFile, st__table * extern int Mio_LibraryParseFormulas( Mio_Library_t * pLib ); /*=== mioParse.c =============================================================*/ extern Vec_Int_t * Mio_ParseFormula( char * pFormInit, char ** ppVarNames, int nVars ); +extern Vec_Wrd_t * Mio_ParseFormulaTruth( char * pFormInit, char ** ppVarNames, int nVars ); extern int Mio_ParseCheckFormula( Mio_Gate_t * pGate, char * pForm ); /*=== mioSop.c =============================================================*/ extern char * Mio_LibDeriveSop( int nVars, Vec_Int_t * vExpr, Vec_Str_t * vStr ); |