summaryrefslogtreecommitdiffstats
path: root/src/map
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-07-07 20:14:12 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2012-07-07 20:14:12 -0700
commit1c33107cbb50705272682c2637d8faaeab4be61a (patch)
tree188bb58cb82f744407af2ee78b38a7aa37fd9336 /src/map
parentb0ef0aaf0055d35f3836be18997dfd350e36054d (diff)
downloadabc-1c33107cbb50705272682c2637d8faaeab4be61a.tar.gz
abc-1c33107cbb50705272682c2637d8faaeab4be61a.tar.bz2
abc-1c33107cbb50705272682c2637d8faaeab4be61a.zip
Updating project settings to have simpler include paths.
Diffstat (limited to 'src/map')
-rw-r--r--src/map/amap/amapCore.c2
-rw-r--r--src/map/amap/amapInt.h2
-rw-r--r--src/map/amap/amapParse.c4
-rw-r--r--src/map/amap/amapPerm.c2
-rw-r--r--src/map/amap/amapRead.c2
-rw-r--r--src/map/amap/amapRule.c2
-rw-r--r--src/map/cov/cov.h2
-rw-r--r--src/map/cov/covInt.h2
-rw-r--r--src/map/fpga/fpga.c2
-rw-r--r--src/map/fpga/fpgaCreate.c2
-rw-r--r--src/map/fpga/fpgaInt.h2
-rw-r--r--src/map/fpga/fpgaTruth.c2
-rw-r--r--src/map/if/if.h6
-rw-r--r--src/map/if/ifDec07.c4
-rw-r--r--src/map/if/ifDec08.c4
-rw-r--r--src/map/if/ifDec10.c4
-rw-r--r--src/map/if/ifDec16.c2
-rw-r--r--src/map/if/ifTime.c2
-rw-r--r--src/map/mapper/mapper.c6
-rw-r--r--src/map/mapper/mapperInt.h6
-rw-r--r--src/map/mio/mio.c6
-rw-r--r--src/map/mio/mioInt.h6
-rw-r--r--src/map/mio/mioRead.c2
-rw-r--r--src/map/mio/mioUtils.c2
-rw-r--r--src/map/super/super.c4
-rw-r--r--src/map/super/superInt.h10
26 files changed, 45 insertions, 45 deletions
diff --git a/src/map/amap/amapCore.c b/src/map/amap/amapCore.c
index 507dcc5e..c4ae817a 100644
--- a/src/map/amap/amapCore.c
+++ b/src/map/amap/amapCore.c
@@ -19,7 +19,7 @@
***********************************************************************/
#include "amapInt.h"
-#include "src/base/main/main.h"
+#include "base/main/main.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/map/amap/amapInt.h b/src/map/amap/amapInt.h
index 86e3e18f..a9a593c0 100644
--- a/src/map/amap/amapInt.h
+++ b/src/map/amap/amapInt.h
@@ -26,7 +26,7 @@
/// INCLUDES ///
////////////////////////////////////////////////////////////////////////
-#include "src/aig/aig/aig.h"
+#include "aig/aig/aig.h"
#include "amap.h"
////////////////////////////////////////////////////////////////////////
diff --git a/src/map/amap/amapParse.c b/src/map/amap/amapParse.c
index 2242fa7a..d81411bc 100644
--- a/src/map/amap/amapParse.c
+++ b/src/map/amap/amapParse.c
@@ -19,8 +19,8 @@
***********************************************************************/
#include "amapInt.h"
-#include "src/aig/hop/hop.h"
-#include "src/bool/kit/kit.h"
+#include "aig/hop/hop.h"
+#include "bool/kit/kit.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/map/amap/amapPerm.c b/src/map/amap/amapPerm.c
index 1ba91890..9a3cf4a8 100644
--- a/src/map/amap/amapPerm.c
+++ b/src/map/amap/amapPerm.c
@@ -19,7 +19,7 @@
***********************************************************************/
#include "amapInt.h"
-#include "src/bool/kit/kit.h"
+#include "bool/kit/kit.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/map/amap/amapRead.c b/src/map/amap/amapRead.c
index 471438d5..bf308c08 100644
--- a/src/map/amap/amapRead.c
+++ b/src/map/amap/amapRead.c
@@ -19,7 +19,7 @@
***********************************************************************/
#include "amapInt.h"
-#include "src/base/io/ioAbc.h"
+#include "base/io/ioAbc.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/map/amap/amapRule.c b/src/map/amap/amapRule.c
index 78016f4f..772c346d 100644
--- a/src/map/amap/amapRule.c
+++ b/src/map/amap/amapRule.c
@@ -19,7 +19,7 @@
***********************************************************************/
#include "amapInt.h"
-#include "src/bool/kit/kit.h"
+#include "bool/kit/kit.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/map/cov/cov.h b/src/map/cov/cov.h
index 135fee8c..d32e1c4c 100644
--- a/src/map/cov/cov.h
+++ b/src/map/cov/cov.h
@@ -21,7 +21,7 @@
#ifndef ABC__map__cov__cov_h
#define ABC__map__cov__cov_h
-#include "src/base/abc/abc.h"
+#include "base/abc/abc.h"
#include "covInt.h"
diff --git a/src/map/cov/covInt.h b/src/map/cov/covInt.h
index 5a75a8f3..9df3e948 100644
--- a/src/map/cov/covInt.h
+++ b/src/map/cov/covInt.h
@@ -21,7 +21,7 @@
#ifndef ABC__map__cov__covInt_h
#define ABC__map__cov__covInt_h
-#include "src/base/abc/abc.h"
+#include "base/abc/abc.h"
ABC_NAMESPACE_HEADER_START
diff --git a/src/map/fpga/fpga.c b/src/map/fpga/fpga.c
index 94a84ffd..cf88e90b 100644
--- a/src/map/fpga/fpga.c
+++ b/src/map/fpga/fpga.c
@@ -17,7 +17,7 @@
***********************************************************************/
#include "fpgaInt.h"
-#include "src/base/main/main.h"
+#include "base/main/main.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/map/fpga/fpgaCreate.c b/src/map/fpga/fpgaCreate.c
index e3079ad7..7fa5158e 100644
--- a/src/map/fpga/fpgaCreate.c
+++ b/src/map/fpga/fpgaCreate.c
@@ -17,7 +17,7 @@
***********************************************************************/
#include "fpgaInt.h"
-#include "src/base/main/main.h"
+#include "base/main/main.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/map/fpga/fpgaInt.h b/src/map/fpga/fpgaInt.h
index f2c482af..0d18b7f4 100644
--- a/src/map/fpga/fpgaInt.h
+++ b/src/map/fpga/fpgaInt.h
@@ -27,7 +27,7 @@
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
-#include "src/misc/extra/extra.h"
+#include "misc/extra/extra.h"
#include "fpga.h"
ABC_NAMESPACE_HEADER_START
diff --git a/src/map/fpga/fpgaTruth.c b/src/map/fpga/fpgaTruth.c
index d41b1184..2965f9f6 100644
--- a/src/map/fpga/fpgaTruth.c
+++ b/src/map/fpga/fpgaTruth.c
@@ -17,7 +17,7 @@
***********************************************************************/
#include "fpgaInt.h"
-#include "src/bdd/cudd/cudd.h"
+#include "bdd/cudd/cudd.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/map/if/if.h b/src/map/if/if.h
index 0654c05b..bebcd3ef 100644
--- a/src/map/if/if.h
+++ b/src/map/if/if.h
@@ -31,9 +31,9 @@
#include <string.h>
#include <assert.h>
-#include "src/misc/vec/vec.h"
-#include "src/misc/mem/mem.h"
-#include "src/misc/tim/tim.h"
+#include "misc/vec/vec.h"
+#include "misc/mem/mem.h"
+#include "misc/tim/tim.h"
diff --git a/src/map/if/ifDec07.c b/src/map/if/ifDec07.c
index 8593d6ec..f5a21884 100644
--- a/src/map/if/ifDec07.c
+++ b/src/map/if/ifDec07.c
@@ -19,8 +19,8 @@
***********************************************************************/
#include "if.h"
-#include "src/misc/extra/extra.h"
-#include "src/bool/kit/kit.h"
+#include "misc/extra/extra.h"
+#include "bool/kit/kit.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/map/if/ifDec08.c b/src/map/if/ifDec08.c
index 15d26abf..9731a825 100644
--- a/src/map/if/ifDec08.c
+++ b/src/map/if/ifDec08.c
@@ -19,8 +19,8 @@
***********************************************************************/
#include "if.h"
-#include "src/misc/extra/extra.h"
-#include "src/bool/kit/kit.h"
+#include "misc/extra/extra.h"
+#include "bool/kit/kit.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/map/if/ifDec10.c b/src/map/if/ifDec10.c
index 917f9f53..29f926ad 100644
--- a/src/map/if/ifDec10.c
+++ b/src/map/if/ifDec10.c
@@ -19,8 +19,8 @@
***********************************************************************/
#include "if.h"
-#include "src/misc/extra/extra.h"
-#include "src/bool/kit/kit.h"
+#include "misc/extra/extra.h"
+#include "bool/kit/kit.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/map/if/ifDec16.c b/src/map/if/ifDec16.c
index d189da89..42383a0d 100644
--- a/src/map/if/ifDec16.c
+++ b/src/map/if/ifDec16.c
@@ -19,7 +19,7 @@
***********************************************************************/
#include "if.h"
-#include "src/bool/kit/kit.h"
+#include "bool/kit/kit.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/map/if/ifTime.c b/src/map/if/ifTime.c
index 0b86093b..ac0d2cb4 100644
--- a/src/map/if/ifTime.c
+++ b/src/map/if/ifTime.c
@@ -19,7 +19,7 @@
***********************************************************************/
#include "if.h"
-#include "src/bool/kit/kit.h"
+#include "bool/kit/kit.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/map/mapper/mapper.c b/src/map/mapper/mapper.c
index 87a0d4b8..20a6ab6e 100644
--- a/src/map/mapper/mapper.c
+++ b/src/map/mapper/mapper.c
@@ -16,9 +16,9 @@
***********************************************************************/
-#include "src/base/abc/abc.h"
-#include "src/base/main/mainInt.h"
-#include "src/map/mio/mio.h"
+#include "base/abc/abc.h"
+#include "base/main/mainInt.h"
+#include "map/mio/mio.h"
#include "mapperInt.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/map/mapper/mapperInt.h b/src/map/mapper/mapperInt.h
index 95c5b0c7..5afbcca7 100644
--- a/src/map/mapper/mapperInt.h
+++ b/src/map/mapper/mapperInt.h
@@ -28,10 +28,10 @@
#include <stdlib.h>
#include <string.h>
#include <float.h>
-#include "src/base/main/main.h"
-#include "src/map/mio/mio.h"
+#include "base/main/main.h"
+#include "map/mio/mio.h"
#include "mapper.h"
-#include "src/misc/extra/extraBdd.h"
+#include "misc/extra/extraBdd.h"
ABC_NAMESPACE_HEADER_START
diff --git a/src/map/mio/mio.c b/src/map/mio/mio.c
index 619168c2..bdb618c1 100644
--- a/src/map/mio/mio.c
+++ b/src/map/mio/mio.c
@@ -22,10 +22,10 @@
#include <unistd.h>
#endif
-#include "src/base/main/main.h"
+#include "base/main/main.h"
#include "mio.h"
-#include "src/map/mapper/mapper.h"
-#include "src/map/amap/amap.h"
+#include "map/mapper/mapper.h"
+#include "map/amap/amap.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/map/mio/mioInt.h b/src/map/mio/mioInt.h
index a253ac63..3e843366 100644
--- a/src/map/mio/mioInt.h
+++ b/src/map/mio/mioInt.h
@@ -28,9 +28,9 @@
#include <stdlib.h>
#include <string.h>
#include <assert.h>
-#include "src/misc/vec/vec.h"
-#include "src/misc/mem/mem.h"
-#include "src/misc/st/st.h"
+#include "misc/vec/vec.h"
+#include "misc/mem/mem.h"
+#include "misc/st/st.h"
#include "mio.h"
ABC_NAMESPACE_HEADER_START
diff --git a/src/map/mio/mioRead.c b/src/map/mio/mioRead.c
index d4e7fcd0..ea755b47 100644
--- a/src/map/mio/mioRead.c
+++ b/src/map/mio/mioRead.c
@@ -18,7 +18,7 @@
#include <ctype.h>
#include "mioInt.h"
-#include "src/base/io/ioAbc.h"
+#include "base/io/ioAbc.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/map/mio/mioUtils.c b/src/map/mio/mioUtils.c
index fac32873..36dd1291 100644
--- a/src/map/mio/mioUtils.c
+++ b/src/map/mio/mioUtils.c
@@ -17,7 +17,7 @@
***********************************************************************/
#include "mioInt.h"
-#include "src/base/main/main.h"
+#include "base/main/main.h"
#include "exp.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/map/super/super.c b/src/map/super/super.c
index 7976958e..28fffa6e 100644
--- a/src/map/super/super.c
+++ b/src/map/super/super.c
@@ -17,8 +17,8 @@
***********************************************************************/
#include "superInt.h"
-#include "src/base/main/mainInt.h"
-#include "src/map/mio/mio.h"
+#include "base/main/mainInt.h"
+#include "map/mio/mio.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/map/super/superInt.h b/src/map/super/superInt.h
index 5df87fac..a808eb64 100644
--- a/src/map/super/superInt.h
+++ b/src/map/super/superInt.h
@@ -24,11 +24,11 @@
/// INCLUDES ///
////////////////////////////////////////////////////////////////////////
-#include "src/base/abc/abc.h"
-#include "src/base/main/mainInt.h"
-#include "src/misc/mvc/mvc.h"
-#include "src/map/mio/mio.h"
-#include "src/misc/st/stmm.h"
+#include "base/abc/abc.h"
+#include "base/main/mainInt.h"
+#include "misc/mvc/mvc.h"
+#include "map/mio/mio.h"
+#include "misc/st/stmm.h"
#include "super.h"
ABC_NAMESPACE_HEADER_START
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 20:15:14 +0000