luke/abc
1
0
Fork 0
mirror of https://github.com/YosysHQ/abc.git synced 2026-08-30 01:29:01 +02:00
Code Issues Packages Projects Releases Wiki Activity

Adding new Python API 'is_func_iso'.

Browse Source
This commit is contained in:
Alan Mishchenko
2015-07-11 16:49:06 -07:00
parent 05ca4afb77
commit b949436f4c
5 changed files with 129 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/python/pyabc.i
+14
View File
@@ -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);