diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-23 23:42:20 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-23 23:42:20 +0700 |
| commit | 56880eab5294d8a13e012eeca1e68255f0bf0e68 (patch) | |
| tree | 8dc6f8948253493ae7f4d6f46e8b3b2d6c164969 /src/base/main/main.h | |
| parent | 63fcf25aead4055e260201a1820a190e8f2fbfab (diff) | |
| download | abc-56880eab5294d8a13e012eeca1e68255f0bf0e68.tar.gz abc-56880eab5294d8a13e012eeca1e68255f0bf0e68.tar.bz2 abc-56880eab5294d8a13e012eeca1e68255f0bf0e68.zip | |
New command %psinv.
Diffstat (limited to 'src/base/main/main.h')
| -rw-r--r-- | src/base/main/main.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/main/main.h b/src/base/main/main.h index 3b169bbc..44ec1c57 100644 --- a/src/base/main/main.h +++ b/src/base/main/main.h @@ -142,6 +142,7 @@ extern ABC_DLL void Abc_FrameSetNFrames( int nFrames ); extern ABC_DLL void Abc_FrameSetStatus( int Status ); extern ABC_DLL void Abc_FrameSetManDsd( void * pMan ); extern ABC_DLL void Abc_FrameSetManDsd2( void * pMan ); +extern ABC_DLL void Abc_FrameSetInv( Vec_Int_t * vInv ); extern ABC_DLL int Abc_FrameCheckPoConst( Abc_Frame_t * p, int iPoNum ); |