diff options
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 ); |