diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-17 14:47:34 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-17 14:47:34 -0700 |
| commit | 73a997a8bd303b4398e64de2d3a0bfb3f85a3acf (patch) | |
| tree | 0cd6215b82a53b18caae1739eeac883ca2c9fbd0 /src/base/main/main.h | |
| parent | ca39b892f0c035f571e5ac62e08a3d1166697ac7 (diff) | |
| download | abc-73a997a8bd303b4398e64de2d3a0bfb3f85a3acf.tar.gz abc-73a997a8bd303b4398e64de2d3a0bfb3f85a3acf.tar.bz2 abc-73a997a8bd303b4398e64de2d3a0bfb3f85a3acf.zip | |
Adding commands to set and print timing constraints.
Diffstat (limited to 'src/base/main/main.h')
| -rw-r--r-- | src/base/main/main.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/base/main/main.h b/src/base/main/main.h index 7d9b7292..a55ff06c 100644 --- a/src/base/main/main.h +++ b/src/base/main/main.h @@ -146,6 +146,11 @@ extern ABC_DLL void Abc_FrameReplaceCexVec( Abc_Frame_t * pAbc, Vec_P extern ABC_DLL void Abc_FrameReplacePoEquivs( Abc_Frame_t * pAbc, Vec_Ptr_t ** pvPoEquivs ); extern ABC_DLL void Abc_FrameReplacePoStatuses( Abc_Frame_t * pAbc, Vec_Int_t ** pvStatuses ); +extern ABC_DLL char * Abc_FrameReadDrivingCell(); +extern ABC_DLL float Abc_FrameReadMaxLoad(); +extern ABC_DLL void Abc_FrameSetDrivingCell( char * pName ); +extern ABC_DLL void Abc_FrameSetMaxLoad( float Load ); + ABC_NAMESPACE_HEADER_END #endif |