From 2014ccb1e375e0becf59e359abe6ed54cb266a8e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E6=BD=98=E9=B8=BF=E6=B4=8B?=
 <panhongyang@homdeMacBook-Pro.local>
Date: Mon, 27 Nov 2023 19:55:07 +0800
Subject: [PATCH] update convert for AIG to ABC

---
 src/store.hpp | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/src/store.hpp b/src/store.hpp
index 246da2f..2ed6838 100644
--- a/src/store.hpp
+++ b/src/store.hpp
@@ -552,31 +552,36 @@ ALICE_CONVERT(pabc::Abc_Ntk_t *, element, aig_network) {
 ALICE_CONVERT(xmg_network, element, pabc::Abc_Ntk_t *) {
   xmg_network xmg = element;
   pabc::Abc_Ntk_t *pNtk = phyLS::mockturtle2abc_x(xmg);
-  return pNtk;
+  pabc::Abc_Ntk_t *pNtkLogic = pabc::Abc_NtkToLogic(pNtk);
+  return pNtkLogic;
 }
 
 ALICE_CONVERT(aig_network, element, pabc::Abc_Ntk_t *) {
   aig_network aig = element;
   pabc::Abc_Ntk_t *pNtk = phyLS::mockturtle2abc_a(aig);
-  return pNtk;
+  pabc::Abc_Ntk_t *pNtkLogic = pabc::Abc_NtkToLogic(pNtk);
+  return pNtkLogic;
 }
 
 ALICE_CONVERT(mig_network, element, pabc::Abc_Ntk_t *) {
   mig_network mig = element;
   pabc::Abc_Ntk_t *pNtk = phyLS::mockturtle2abc_m(mig);
-  return pNtk;
+  pabc::Abc_Ntk_t *pNtkLogic = pabc::Abc_NtkToLogic(pNtk);
+  return pNtkLogic;
 }
 
 ALICE_CONVERT(xag_network, element, pabc::Abc_Ntk_t *) {
   xag_network xag = element;
   pabc::Abc_Ntk_t *pNtk = phyLS::mockturtle2abc_g(xag);
-  return pNtk;
+  pabc::Abc_Ntk_t *pNtkLogic = pabc::Abc_NtkToLogic(pNtk);
+  return pNtkLogic;
 }
 
 ALICE_CONVERT(klut_network, element, pabc::Abc_Ntk_t *) {
   klut_network klut = element;
   pabc::Abc_Ntk_t *pNtk = phyLS::mockturtle2abc_l(klut);
-  return pNtk;
+  pabc::Abc_Ntk_t *pNtkLogic = pabc::Abc_NtkToLogic(pNtk);
+  return pNtkLogic;
 }
 
 /* ABC Gia */