diff options
| author | Tobias Wiersema <tobias.wiersema@uni-paderborn.de> | 2021-08-19 18:01:38 +0200 |
|---|---|---|
| committer | Tobias Wiersema <tobias.wiersema@uni-paderborn.de> | 2021-08-19 18:01:38 +0200 |
| commit | b82a7f46777e73c89b9e8db3a391d3a93aa5b562 (patch) | |
| tree | 9039f59a2d63cf2e0bcd2fde76055117f26804f8 /src/base/wlc | |
| parent | d55e8fab82fa3d3e05725c27eb799e7669ee0d69 (diff) | |
| download | abc-b82a7f46777e73c89b9e8db3a391d3a93aa5b562.tar.gz abc-b82a7f46777e73c89b9e8db3a391d3a93aa5b562.tar.bz2 abc-b82a7f46777e73c89b9e8db3a391d3a93aa5b562.zip | |
Add comment to Wlc_NtkGetInv about vNamesIn's role
Diffstat (limited to 'src/base/wlc')
| -rw-r--r-- | src/base/wlc/wlcAbc.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/wlc/wlcAbc.c b/src/base/wlc/wlcAbc.c index be254bb2..8b7dbfa7 100644 --- a/src/base/wlc/wlcAbc.c +++ b/src/base/wlc/wlcAbc.c @@ -166,6 +166,8 @@ Abc_Ntk_t * Wlc_NtkGetInv( Wlc_Ntk_t * pNtk, Vec_Int_t * vInv, Vec_Ptr_t * vName if ( Entry == 0 ) continue; pMainObj = Abc_NtkCreatePi( pMainNtk ); + // If vNamesIn is given, take names from there for as many entries as possible + // otherwise generate names from counter if (vNamesIn != NULL && i < Vec_PtrSize(vNamesIn)) { Abc_ObjAssignName( pMainObj, (char *)Vec_PtrEntry(vNamesIn, i), NULL ); } |