diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-02 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-02 08:01:00 -0700 |
| commit | dce73ade2fa0c7a01b58d4a6c592e0e07cbb5499 (patch) | |
| tree | 3563fd4a27d3b0faea3ca590d6243fb4590d8214 /src/base/main/mainInt.h | |
| parent | 9c98ba1794a2422f1be8202d615633e1c8e74b10 (diff) | |
| download | abc-dce73ade2fa0c7a01b58d4a6c592e0e07cbb5499.tar.gz abc-dce73ade2fa0c7a01b58d4a6c592e0e07cbb5499.tar.bz2 abc-dce73ade2fa0c7a01b58d4a6c592e0e07cbb5499.zip | |
Version abc50902
Diffstat (limited to 'src/base/main/mainInt.h')
| -rw-r--r-- | src/base/main/mainInt.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h index 557c4e2f..95d5b22d 100644 --- a/src/base/main/mainInt.h +++ b/src/base/main/mainInt.h @@ -66,6 +66,9 @@ struct Abc_Frame_t_ // temporary storage for structural choices Abc_Ntk_t * pStored; // the stored networks int nStored; // the number of stored networks + // decomposition package + DdManager * dd; // temporary BDD package + void * pManDec; // decomposition manager void * pLibLut; // the current LUT library void * pLibGen; // the current genlib |