From 0d09071f141cf1a7d48493c66e329f00dbfe5e91 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 11 Jul 2015 19:30:52 -0700 Subject: Adding new Python API 'is_func_iso2'. --- src/python/pyabc.i | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) (limited to 'src/python') 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); -- cgit v1.2.3