diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-11 16:49:06 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-11 16:49:06 -0700 |
| commit | b949436f4c99157397e16b23c3693fb5a99bd557 (patch) | |
| tree | 7b15b5005db8a12b8afbf757d7abbe648eb84f66 /src/python/pyabc.i | |
| parent | 05ca4afb770ffffca62e913f4e2fd4fd56085281 (diff) | |
| download | abc-b949436f4c99157397e16b23c3693fb5a99bd557.tar.gz abc-b949436f4c99157397e16b23c3693fb5a99bd557.tar.bz2 abc-b949436f4c99157397e16b23c3693fb5a99bd557.zip | |
Adding new Python API 'is_func_iso'.
Diffstat (limited to 'src/python/pyabc.i')
| -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); |