From 557448400ebaf0f4666665bd8bc87954e3c2a976 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 25 Jan 2013 10:25:34 +0700
Subject: Added new Python API is_const_po( int iPoNum ), which returns 0/1 if
 current network is an AIG and the given PO has const 0/1 function.

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

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

diff --git a/src/python/pyabc.i b/src/python/pyabc.i
index bb8cc3ca..01d14379 100644
--- a/src/python/pyabc.i
+++ b/src/python/pyabc.i
@@ -195,6 +195,12 @@ int n_phases()
     return pNtk ? Abc_NtkPhaseFrameNum(pNtk) : 1;
 }
 
+int is_const_po( int iPoNum )
+{
+    Abc_Frame_t* pAbc = Abc_FrameGetGlobalFrame();
+    return Abc_FrameCheckPoConst( pAbc, iPoNum );
+}
+
 Abc_Cex_t* _cex_get()
 {
     Abc_Frame_t* pAbc = Abc_FrameGetGlobalFrame();
@@ -626,6 +632,7 @@ int  cex_po();
 int  cex_frame();
 
 int  n_phases();
+int  is_const_po( int iPoNum );
 
 Abc_Cex_t* _cex_get();
 int _cex_get_vec_len();
-- 
cgit v1.2.3