diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-13 11:12:36 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-13 11:12:36 -0700 |
| commit | 4a50b09c6719fe548f584aa5a22637ab7ddf8a6a (patch) | |
| tree | 14a3f05f53b07f6716365b491be8f71c302ad844 /src/map/mpm/mpmInt.h | |
| parent | aaa8121ede988421feb7fc743d24f2bd13211bd2 (diff) | |
| download | abc-4a50b09c6719fe548f584aa5a22637ab7ddf8a6a.tar.gz abc-4a50b09c6719fe548f584aa5a22637ab7ddf8a6a.tar.bz2 abc-4a50b09c6719fe548f584aa5a22637ab7ddf8a6a.zip | |
New technology mapper.
Diffstat (limited to 'src/map/mpm/mpmInt.h')
| -rw-r--r-- | src/map/mpm/mpmInt.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/map/mpm/mpmInt.h b/src/map/mpm/mpmInt.h index df534e1e..e64aa43b 100644 --- a/src/map/mpm/mpmInt.h +++ b/src/map/mpm/mpmInt.h @@ -103,8 +103,7 @@ struct Mpm_Man_t_ Vec_Ptr_t * vTemp; // storage for cuts // object presence unsigned char * pObjPres; // object presence - int pObjPresUsed[MPM_VAR_MAX]; - int nObjPresUsed; + Vec_Int_t vObjPresUsed; // used objects Vec_Str_t vObjShared; // object presence // cut comparison int (* pCutCmp) (Mpm_Uni_t *, Mpm_Uni_t *);// procedure to compare cuts |