From b82a7f46777e73c89b9e8db3a391d3a93aa5b562 Mon Sep 17 00:00:00 2001 From: Tobias Wiersema Date: Thu, 19 Aug 2021 18:01:38 +0200 Subject: Add comment to Wlc_NtkGetInv about vNamesIn's role --- src/base/wlc/wlcAbc.c | 2 ++ 1 file changed, 2 insertions(+) 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 ); } -- cgit v1.2.3