diff options
Diffstat (limited to 'src/python')
-rw-r--r-- | src/python/pyabc.i | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/python/pyabc.i b/src/python/pyabc.i index 208235a4..e3bad4bc 100644 --- a/src/python/pyabc.i +++ b/src/python/pyabc.i @@ -384,6 +384,19 @@ PyObject* co_supp( int iCo ) return co_supp; } +int is_func_iso( 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 ); +} + void _pyabc_array_clear() { Abc_Frame_t* pAbc = Abc_FrameGetGlobalFrame(); @@ -741,6 +754,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); void _pyabc_array_clear(); void _pyabc_array_push(int i); |