summaryrefslogtreecommitdiffstats
path: root/src/base/io
diff options
context:
space:
mode:
Diffstat (limited to 'src/base/io')
-rw-r--r--src/base/io/io.c6
-rw-r--r--src/base/io/ioAbc.h4
-rw-r--r--src/base/io/ioReadAiger.c4
-rw-r--r--src/base/io/ioReadBblif.c4
-rw-r--r--src/base/io/ioReadBlif.c4
-rw-r--r--src/base/io/ioReadBlifAig.c4
-rw-r--r--src/base/io/ioReadBlifMv.c8
-rw-r--r--src/base/io/ioReadVerilog.c2
-rw-r--r--src/base/io/ioUtil.c2
-rw-r--r--src/base/io/ioWriteAiger.c8
-rw-r--r--src/base/io/ioWriteBblif.c2
-rw-r--r--src/base/io/ioWriteBlif.c8
-rw-r--r--src/base/io/ioWriteBlifMv.c4
-rw-r--r--src/base/io/ioWriteBook.c4
-rw-r--r--src/base/io/ioWriteCnf.c2
-rw-r--r--src/base/io/ioWriteDot.c4
-rw-r--r--src/base/io/ioWriteVerilog.c4
17 files changed, 37 insertions, 37 deletions
diff --git a/src/base/io/io.c b/src/base/io/io.c
index 27e41540..55965642 100644
--- a/src/base/io/io.c
+++ b/src/base/io/io.c
@@ -19,8 +19,8 @@
***********************************************************************/
#include "ioAbc.h"
-#include "src/base/main/mainInt.h"
-#include "src/aig/saig/saig.h"
+#include "base/main/mainInt.h"
+#include "aig/saig/saig.h"
ABC_NAMESPACE_IMPL_START
@@ -2023,7 +2023,7 @@ usage:
ABC_NAMESPACE_IMPL_END
-#include "src/proof/fra/fra.h"
+#include "proof/fra/fra.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/base/io/ioAbc.h b/src/base/io/ioAbc.h
index 14d688f0..a5f56bfb 100644
--- a/src/base/io/ioAbc.h
+++ b/src/base/io/ioAbc.h
@@ -26,8 +26,8 @@
/// INCLUDES ///
////////////////////////////////////////////////////////////////////////
-#include "src/base/abc/abc.h"
-#include "src/misc/extra/extra.h"
+#include "base/abc/abc.h"
+#include "misc/extra/extra.h"
////////////////////////////////////////////////////////////////////////
/// PARAMETERS ///
diff --git a/src/base/io/ioReadAiger.c b/src/base/io/ioReadAiger.c
index 8ff32ac9..c063f337 100644
--- a/src/base/io/ioReadAiger.c
+++ b/src/base/io/ioReadAiger.c
@@ -26,8 +26,8 @@
#include <string.h>
#include <assert.h>
-#include "src/misc/bzlib/bzlib.h"
-#include "src/misc/zlib/zlib.h"
+#include "misc/bzlib/bzlib.h"
+#include "misc/zlib/zlib.h"
#include "ioAbc.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/base/io/ioReadBblif.c b/src/base/io/ioReadBblif.c
index ee7c5ee7..b3a34cc1 100644
--- a/src/base/io/ioReadBblif.c
+++ b/src/base/io/ioReadBblif.c
@@ -19,8 +19,8 @@
***********************************************************************/
#include "ioAbc.h"
-#include "src/bool/dec/dec.h"
-#include "src/misc/bbl/bblif.h"
+#include "bool/dec/dec.h"
+#include "misc/bbl/bblif.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/base/io/ioReadBlif.c b/src/base/io/ioReadBlif.c
index b97cc1e7..592bee4a 100644
--- a/src/base/io/ioReadBlif.c
+++ b/src/base/io/ioReadBlif.c
@@ -19,8 +19,8 @@
***********************************************************************/
#include "ioAbc.h"
-#include "src/base/main/main.h"
-#include "src/map/mio/mio.h"
+#include "base/main/main.h"
+#include "map/mio/mio.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/base/io/ioReadBlifAig.c b/src/base/io/ioReadBlifAig.c
index 4bdb035e..ed4e4643 100644
--- a/src/base/io/ioReadBlifAig.c
+++ b/src/base/io/ioReadBlifAig.c
@@ -18,8 +18,8 @@
***********************************************************************/
-#include "src/base/abc/abc.h"
-#include "src/misc/vec/vecPtr.h"
+#include "base/abc/abc.h"
+#include "misc/vec/vecPtr.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/base/io/ioReadBlifMv.c b/src/base/io/ioReadBlifMv.c
index 127c4537..32fa5a68 100644
--- a/src/base/io/ioReadBlifMv.c
+++ b/src/base/io/ioReadBlifMv.c
@@ -18,8 +18,8 @@
***********************************************************************/
-#include "src/base/abc/abc.h"
-#include "src/misc/vec/vecPtr.h"
+#include "base/abc/abc.h"
+#include "misc/vec/vecPtr.h"
#include "ioAbc.h"
ABC_NAMESPACE_IMPL_START
@@ -2029,8 +2029,8 @@ Io_MvVar_t * Abc_NtkMvVarDup( Abc_Ntk_t * pNtk, Io_MvVar_t * pVar )
ABC_NAMESPACE_IMPL_END
-#include "src/map/mio/mio.h"
-#include "src/base/main/main.h"
+#include "map/mio/mio.h"
+#include "base/main/main.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/base/io/ioReadVerilog.c b/src/base/io/ioReadVerilog.c
index da74d8d9..92083580 100644
--- a/src/base/io/ioReadVerilog.c
+++ b/src/base/io/ioReadVerilog.c
@@ -19,7 +19,7 @@
***********************************************************************/
#include "ioAbc.h"
-#include "src/base/ver/ver.h"
+#include "base/ver/ver.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/base/io/ioUtil.c b/src/base/io/ioUtil.c
index dbaa9138..86291710 100644
--- a/src/base/io/ioUtil.c
+++ b/src/base/io/ioUtil.c
@@ -19,7 +19,7 @@
***********************************************************************/
#include "ioAbc.h"
-#include "src/base/main/main.h"
+#include "base/main/main.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/base/io/ioWriteAiger.c b/src/base/io/ioWriteAiger.c
index ef2be673..20150839 100644
--- a/src/base/io/ioWriteAiger.c
+++ b/src/base/io/ioWriteAiger.c
@@ -26,8 +26,8 @@
#include <string.h>
#include <assert.h>
-#include "src/misc/bzlib/bzlib.h"
-#include "src/misc/zlib/zlib.h"
+#include "misc/bzlib/bzlib.h"
+#include "misc/zlib/zlib.h"
#include "ioAbc.h"
@@ -784,8 +784,8 @@ void Io_WriteAiger( Abc_Ntk_t * pNtk, char * pFileName, int fWriteSymbols, int f
}
-#include "src/aig/gia/giaAig.h"
-#include "src/aig/saig/saig.h"
+#include "aig/gia/giaAig.h"
+#include "aig/saig/saig.h"
/**Function*************************************************************
diff --git a/src/base/io/ioWriteBblif.c b/src/base/io/ioWriteBblif.c
index 09bb1da9..9e74b94e 100644
--- a/src/base/io/ioWriteBblif.c
+++ b/src/base/io/ioWriteBblif.c
@@ -19,7 +19,7 @@
***********************************************************************/
#include "ioAbc.h"
-#include "src/misc/bbl/bblif.h"
+#include "misc/bbl/bblif.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/base/io/ioWriteBlif.c b/src/base/io/ioWriteBlif.c
index eff37870..54be8434 100644
--- a/src/base/io/ioWriteBlif.c
+++ b/src/base/io/ioWriteBlif.c
@@ -19,10 +19,10 @@
***********************************************************************/
#include "ioAbc.h"
-#include "src/base/main/main.h"
-#include "src/map/mio/mio.h"
-#include "src/bool/kit/kit.h"
-#include "src/map/if/if.h"
+#include "base/main/main.h"
+#include "map/mio/mio.h"
+#include "bool/kit/kit.h"
+#include "map/if/if.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/base/io/ioWriteBlifMv.c b/src/base/io/ioWriteBlifMv.c
index fd054d5f..5d4ea46d 100644
--- a/src/base/io/ioWriteBlifMv.c
+++ b/src/base/io/ioWriteBlifMv.c
@@ -19,8 +19,8 @@
***********************************************************************/
#include "ioAbc.h"
-#include "src/base/main/main.h"
-#include "src/map/mio/mio.h"
+#include "base/main/main.h"
+#include "map/mio/mio.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/base/io/ioWriteBook.c b/src/base/io/ioWriteBook.c
index ae717c8d..92f49d62 100644
--- a/src/base/io/ioWriteBook.c
+++ b/src/base/io/ioWriteBook.c
@@ -20,8 +20,8 @@
#include <math.h>
-#include "src/base/main/main.h"
-#include "src/map/mio/mio.h"
+#include "base/main/main.h"
+#include "map/mio/mio.h"
#include "ioAbc.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/base/io/ioWriteCnf.c b/src/base/io/ioWriteCnf.c
index d5d377cc..19978060 100644
--- a/src/base/io/ioWriteCnf.c
+++ b/src/base/io/ioWriteCnf.c
@@ -19,7 +19,7 @@
***********************************************************************/
#include "ioAbc.h"
-#include "src/sat/bsat/satSolver.h"
+#include "sat/bsat/satSolver.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/base/io/ioWriteDot.c b/src/base/io/ioWriteDot.c
index 9a9bcd82..1110e70e 100644
--- a/src/base/io/ioWriteDot.c
+++ b/src/base/io/ioWriteDot.c
@@ -19,8 +19,8 @@
***********************************************************************/
#include "ioAbc.h"
-#include "src/base/main/main.h"
-#include "src/map/mio/mio.h"
+#include "base/main/main.h"
+#include "map/mio/mio.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/base/io/ioWriteVerilog.c b/src/base/io/ioWriteVerilog.c
index 511eb9f0..ae233879 100644
--- a/src/base/io/ioWriteVerilog.c
+++ b/src/base/io/ioWriteVerilog.c
@@ -19,8 +19,8 @@
***********************************************************************/
#include "ioAbc.h"
-#include "src/base/main/main.h"
-#include "src/map/mio/mio.h"
+#include "base/main/main.h"
+#include "map/mio/mio.h"
ABC_NAMESPACE_IMPL_START
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 17:25:27 +0000