diff options
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 |