diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-07-16 13:46:41 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-07-16 13:46:41 -0700 |
| commit | 62180f357678df2be0b678bec33ac8e8b36945b8 (patch) | |
| tree | 01106a736f20dd0feabd5c95a077464d8140f07a /src/base/abci/abc.c | |
| parent | 6e5a797a6d7551af06c0a0ebf721161ba2b6f44d (diff) | |
| download | abc-62180f357678df2be0b678bec33ac8e8b36945b8.tar.gz abc-62180f357678df2be0b678bec33ac8e8b36945b8.tar.bz2 abc-62180f357678df2be0b678bec33ac8e8b36945b8.zip | |
Command to move CI/CO names.
Diffstat (limited to 'src/base/abci/abc.c')
| -rw-r--r-- | src/base/abci/abc.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 13813c61..02264b16 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -584,6 +584,9 @@ extern int Abc_CommandNChooseK ( Abc_Frame_t * pAbc, int argc, cha extern Aig_Man_t * Abc_NtkToDar( Abc_Ntk_t * pNtk, int fExors, int fRegisters ); extern Abc_Ntk_t * Abc_NtkFromAigPhase( Aig_Man_t * pMan ); +extern Vec_Ptr_t * Abc_NtkCollectCiNames( Abc_Ntk_t * pNtk ); +extern Vec_Ptr_t * Abc_NtkCollectCoNames( Abc_Ntk_t * pNtk ); + //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// @@ -30482,8 +30485,6 @@ usage: int Abc_CommandAbc9Get( Abc_Frame_t * pAbc, int argc, char ** argv ) { extern Aig_Man_t * Abc_NtkToDarChoices( Abc_Ntk_t * pNtk ); - extern Vec_Ptr_t * Abc_NtkCollectCiNames( Abc_Ntk_t * pNtk ); - extern Vec_Ptr_t * Abc_NtkCollectCoNames( Abc_Ntk_t * pNtk ); Abc_Ntk_t * pStrash; Aig_Man_t * pAig; Gia_Man_t * pGia, * pTemp; |