diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-18 11:46:14 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-18 11:46:14 -0700 |
| commit | 043cfcd775d067eadc400b7af40347e170a3774b (patch) | |
| tree | 1647cd5ad61b95dd391a2c523e383a87e35d14ef /src/map/if/if.h | |
| parent | 023e92c4700283d4de6e60c5b5054c2d2452b98f (diff) | |
| download | abc-043cfcd775d067eadc400b7af40347e170a3774b.tar.gz abc-043cfcd775d067eadc400b7af40347e170a3774b.tar.bz2 abc-043cfcd775d067eadc400b7af40347e170a3774b.zip | |
Concurrency for Boolean matching.
Diffstat (limited to 'src/map/if/if.h')
| -rw-r--r-- | src/map/if/if.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/if/if.h b/src/map/if/if.h index 0f217d20..1d5dec16 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -539,7 +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 Id_DsdManTuneStr( If_DsdMan_t * p, char * pStruct, int nConfls, int nProcs, 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 ); |