diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-11 19:30:52 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-11 19:30:52 -0700 |
| commit | 0d09071f141cf1a7d48493c66e329f00dbfe5e91 (patch) | |
| tree | d810b02b0dd96e4f180b67044ae68fc397624b3e /src/python | |
| parent | b949436f4c99157397e16b23c3693fb5a99bd557 (diff) | |
| download | abc-0d09071f141cf1a7d48493c66e329f00dbfe5e91.tar.gz abc-0d09071f141cf1a7d48493c66e329f00dbfe5e91.tar.bz2 abc-0d09071f141cf1a7d48493c66e329f00dbfe5e91.zip | |
Adding new Python API 'is_func_iso2'.
Diffstat (limited to 'src/python')
| -rw-r--r-- | src/python/pyabc.i | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/src/python/pyabc.i b/src/python/pyabc.i index e3bad4bc..0e7b9312 100644 --- a/src/python/pyabc.i +++ b/src/python/pyabc.i @@ -394,7 +394,20 @@ int is_func_iso( int iCo1, int iCo2 ) return 0; } - return Abc_NtkFunctionalIso( pNtk, iCo1, iCo2 ); + return Abc_NtkFunctionalIso( pNtk, iCo1, iCo2, 0 ); +} + +int is_func_iso2( int iCo1, int iCo2 ) +{ + Abc_Frame_t* pAbc = Abc_FrameGetGlobalFrame(); + Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc); + + if ( !pNtk ) + { + return 0; + } + + return Abc_NtkFunctionalIso( pNtk, iCo1, iCo2, 1 ); } void _pyabc_array_clear() @@ -755,6 +768,7 @@ int _cex_get_frame(Abc_Cex_t* pCex); PyObject* eq_classes(); PyObject* co_supp(int iCo); int is_func_iso(int iCo1, int iCo2); +int is_func_iso2(int iCo1, int iCo2); void _pyabc_array_clear(); void _pyabc_array_push(int i); |