From b949436f4c99157397e16b23c3693fb5a99bd557 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 11 Jul 2015 16:49:06 -0700
Subject: Adding new Python API 'is_func_iso'.

---
 src/python/pyabc.i | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'src/python/pyabc.i')

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);
-- 
cgit v1.2.3