diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-25 10:25:34 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-25 10:25:34 +0700 |
| commit | 557448400ebaf0f4666665bd8bc87954e3c2a976 (patch) | |
| tree | 334a36292cd550b9542fc1c416fc6b8d42e8e457 /src/python/pyabc.i | |
| parent | fde8c8b2d09d218d42d46976f9bfd426d72e075e (diff) | |
| download | abc-557448400ebaf0f4666665bd8bc87954e3c2a976.tar.gz abc-557448400ebaf0f4666665bd8bc87954e3c2a976.tar.bz2 abc-557448400ebaf0f4666665bd8bc87954e3c2a976.zip | |
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.
Diffstat (limited to 'src/python/pyabc.i')
| -rw-r--r-- | src/python/pyabc.i | 7 |
1 files changed, 7 insertions, 0 deletions
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(); |