diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-08-08 12:36:10 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-08-08 12:36:10 -0700 |
| commit | a819e33c6f4a3177fd164228b51b4b2b8448e294 (patch) | |
| tree | 0fcb2043a0cd61c2116ad527b4f543264e699b6d /src/map/if/if.h | |
| parent | 473012aaf02542647444355fab38df1699765de5 (diff) | |
| download | abc-a819e33c6f4a3177fd164228b51b4b2b8448e294.tar.gz abc-a819e33c6f4a3177fd164228b51b4b2b8448e294.tar.bz2 abc-a819e33c6f4a3177fd164228b51b4b2b8448e294.zip | |
Enabled delay computation for the cut output using cut inputs.
Diffstat (limited to 'src/map/if/if.h')
| -rw-r--r-- | src/map/if/if.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/map/if/if.h b/src/map/if/if.h index ca7e0411..5f86ef5c 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -265,6 +265,7 @@ struct If_Man_t_ int nCountNonDec[2]; Vec_Int_t * vCutData; // cut data storage int pArrTimeProfile[IF_MAX_FUNC_LUTSIZE]; + Vec_Ptr_t * vVisited; // timing manager Tim_Man_t * pManTim; |