Commit 10729d50 by Alan Mishchenko

Modified Python API iso_eq_classes to be eq_classes.

parent eee8ceb0
...@@ -296,7 +296,7 @@ static PyObject* VecInt_To_PyList(Vec_Int_t* v) ...@@ -296,7 +296,7 @@ static PyObject* VecInt_To_PyList(Vec_Int_t* v)
return pylist; return pylist;
} }
PyObject* iso_eq_classes() PyObject* eq_classes()
{ {
Abc_Frame_t* pAbc = Abc_FrameGetGlobalFrame(); Abc_Frame_t* pAbc = Abc_FrameGetGlobalFrame();
Vec_Ptr_t *vPoEquivs = Abc_FrameReadPoEquivs(pAbc); Vec_Ptr_t *vPoEquivs = Abc_FrameReadPoEquivs(pAbc);
...@@ -642,7 +642,7 @@ int _cex_n_pis(Abc_Cex_t* pCex); ...@@ -642,7 +642,7 @@ int _cex_n_pis(Abc_Cex_t* pCex);
int _cex_get_po(Abc_Cex_t* pCex); int _cex_get_po(Abc_Cex_t* pCex);
int _cex_get_frame(Abc_Cex_t* pCex); int _cex_get_frame(Abc_Cex_t* pCex);
PyObject* iso_eq_classes(); PyObject* eq_classes();
void pyabc_internal_set_command_callback( PyObject* callback ); void pyabc_internal_set_command_callback( PyObject* callback );
void pyabc_internal_register_command( char * sGroup, char * sName, int fChanges ); void pyabc_internal_register_command( char * sGroup, char * sName, int fChanges );
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment