diff options
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 db8be236..5f135a10 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -176,6 +176,8 @@ struct Gia_Man_t_ int iData2; // various user data int nAnd2Delay; // AND2 delay scaled to match delay numbers used int fVerbose; // verbose reports + int MappedArea; // area after mapping + int MappedDelay; // delay after mapping // bit-parallel simulation int iPatsPi; Vec_Wrd_t * vSims; |