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);