diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-07-22 19:59:29 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-07-22 19:59:29 -0700 |
| commit | 7732b9a2f48ca92229bb1d5df92d65596c25af9c (patch) | |
| tree | 5662a021b9c72d5458707f1c4db033eb05d3e068 /src/base/main | |
| parent | ae6716b064c842f45109a88e84dca71fe4cc311f (diff) | |
| download | abc-7732b9a2f48ca92229bb1d5df92d65596c25af9c.tar.gz abc-7732b9a2f48ca92229bb1d5df92d65596c25af9c.tar.bz2 abc-7732b9a2f48ca92229bb1d5df92d65596c25af9c.zip | |
Procedure to return seq equivalences.
Diffstat (limited to 'src/base/main')
| -rw-r--r-- | src/base/main/abcapis.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/base/main/abcapis.h b/src/base/main/abcapis.h index af7888e1..9ac2036a 100644 --- a/src/base/main/abcapis.h +++ b/src/base/main/abcapis.h @@ -98,6 +98,9 @@ extern ABC_DLL int * Abc_FrameReadBoxes( Abc_Frame_t * pAbc ); extern ABC_DLL int Abc_FrameReadProbStatus( Abc_Frame_t * pAbc ); extern ABC_DLL void * Abc_FrameReadCex( Abc_Frame_t * pAbc ); +// procedure to return sequential equivalences +extern ABC_DLL int * Abc_FrameReadMiniAigEquivClasses( Abc_Frame_t * pAbc ); + ABC_NAMESPACE_HEADER_END #endif |