diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-17 18:58:20 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-17 18:58:20 -0700 |
commit | 023e92c4700283d4de6e60c5b5054c2d2452b98f (patch) | |
tree | b323c355a95384893ec038af9dcec9f50eff6db2 /src/map/if/if.h | |
parent | 69827a5a8848ada3ef70bcf25f4f523aed97bded (diff) | |
download | abc-023e92c4700283d4de6e60c5b5054c2d2452b98f.tar.gz abc-023e92c4700283d4de6e60c5b5054c2d2452b98f.tar.bz2 abc-023e92c4700283d4de6e60c5b5054c2d2452b98f.zip |
Improvements to Boolean matching.
Diffstat (limited to 'src/map/if/if.h')
-rw-r--r-- | src/map/if/if.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/map/if/if.h b/src/map/if/if.h index 5e0dd1b7..0f217d20 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -539,6 +539,7 @@ extern If_DsdMan_t * If_DsdManAlloc( int nVars, int nLutSize ); extern void If_DsdManAllocIsops( If_DsdMan_t * p, int nLutSize ); extern void If_DsdManPrint( If_DsdMan_t * p, char * pFileName, int Number, int Support, int fOccurs, int fTtDump, int fVerbose ); extern void If_DsdManTune( If_DsdMan_t * p, int LutSize, int fFast, int fAdd, int fSpec, int fVerbose ); +extern void Id_DsdManTuneStr( If_DsdMan_t * p, char * pStruct, int nConfls, int fVerbose ); extern void If_DsdManFree( If_DsdMan_t * p, int fVerbose ); extern void If_DsdManSave( If_DsdMan_t * p, char * pFileName ); extern If_DsdMan_t * If_DsdManLoad( char * pFileName ); |