diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-18 23:30:16 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-18 23:30:16 -0700 |
| commit | 7d9b3556bd7ce0e849ae26af0816089391c9b41d (patch) | |
| tree | 22649a4357f04630a7d5e7de1dd029a05378d701 /src/aig/gia/gia.h | |
| parent | 05b61206e4689a5d4bfb4370e8a8217736f4231c (diff) | |
| download | abc-7d9b3556bd7ce0e849ae26af0816089391c9b41d.tar.gz abc-7d9b3556bd7ce0e849ae26af0816089391c9b41d.tar.bz2 abc-7d9b3556bd7ce0e849ae26af0816089391c9b41d.zip | |
Backward compatibility of GIA manager.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index d0c12618..d0bd454f 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -141,6 +141,8 @@ struct Gia_Man_t_ Vec_Int_t * vUserPiIds; // numbers assigned to PIs by the user Vec_Int_t * vUserPoIds; // numbers assigned to POs by the user Vec_Int_t * vUserFfIds; // numbers assigned to FFs by the user + Vec_Int_t * vCiNumsOrig; // original CI names + Vec_Int_t * vCoNumsOrig; // original CO names Vec_Vec_t * vClockDoms; // clock domains Vec_Flt_t * vTiming; // arrival/required/slack void * pManTime; // the timing manager |