diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-09-01 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-09-01 08:01:00 -0700 |
| commit | b2470dd3da962026fd874e13c2cf78c10099fe68 (patch) | |
| tree | 1f05e75c3017afc746283ecdcef83808fec75d2a /src/base/main/mainInt.h | |
| parent | 9f5ef0d6184ef9c73591250ef00b18edfd99885b (diff) | |
| download | abc-b2470dd3da962026fd874e13c2cf78c10099fe68.tar.gz abc-b2470dd3da962026fd874e13c2cf78c10099fe68.tar.bz2 abc-b2470dd3da962026fd874e13c2cf78c10099fe68.zip | |
Version abc70901
Diffstat (limited to 'src/base/main/mainInt.h')
| -rw-r--r-- | src/base/main/mainInt.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h index 8c316970..09ad96f3 100644 --- a/src/base/main/mainInt.h +++ b/src/base/main/mainInt.h @@ -63,8 +63,7 @@ struct Abc_Frame_t_ int TimeCommand; // the runtime of the last command int TimeTotal; // the total runtime of all commands // temporary storage for structural choices - Abc_Ntk_t * pStored; // the stored networks - int nStored; // the number of stored networks + Vec_Ptr_t * vStore; // networks to be used by choice // decomposition package void * pManDec; // decomposition manager DdManager * dd; // temporary BDD package |