diff options
Diffstat (limited to 'src/misc')
37 files changed, 42 insertions, 42 deletions
diff --git a/src/misc/bar/bar.c b/src/misc/bar/bar.c index 6610b415..211fe93e 100644 --- a/src/misc/bar/bar.c +++ b/src/misc/bar/bar.c @@ -22,8 +22,8 @@ #include <stdlib.h> #include <string.h> -#include "src/misc/util/abc_global.h" -#include "src/base/main/main.h" +#include "misc/util/abc_global.h" +#include "base/main/main.h" #include "bar.h" ABC_NAMESPACE_IMPL_START diff --git a/src/misc/bbl/bblif.c b/src/misc/bbl/bblif.c index eefff9f7..4ed1ef1f 100644 --- a/src/misc/bbl/bblif.c +++ b/src/misc/bbl/bblif.c @@ -23,7 +23,7 @@ #include <string.h> #include <assert.h> -#include "src/misc/util/abc_global.h" +#include "misc/util/abc_global.h" #include "bblif.h" ABC_NAMESPACE_IMPL_START diff --git a/src/misc/bzlib/bzlib.h b/src/misc/bzlib/bzlib.h index 30487828..a1bca0bc 100644 --- a/src/misc/bzlib/bzlib.h +++ b/src/misc/bzlib/bzlib.h @@ -96,7 +96,7 @@ typedef #endif #include <stdio.h> -#include "src/misc/util/abc_global.h" +#include "misc/util/abc_global.h" ABC_NAMESPACE_HEADER_START diff --git a/src/misc/extra/extra.h b/src/misc/extra/extra.h index 2f04e781..7b2a6f7a 100644 --- a/src/misc/extra/extra.h +++ b/src/misc/extra/extra.h @@ -43,7 +43,7 @@ #include <string.h> #include <assert.h> -#include "src/misc/st/st.h" +#include "misc/st/st.h" ABC_NAMESPACE_HEADER_START diff --git a/src/misc/extra/extraBdd.h b/src/misc/extra/extraBdd.h index fcd10320..8341f53d 100644 --- a/src/misc/extra/extraBdd.h +++ b/src/misc/extra/extraBdd.h @@ -43,9 +43,9 @@ #include <string.h> #include <assert.h> -#include "src/misc/st/st.h" -#include "src/bdd/cudd/cuddInt.h" -#include "src/misc/extra/extra.h" +#include "misc/st/st.h" +#include "bdd/cudd/cuddInt.h" +#include "misc/extra/extra.h" ABC_NAMESPACE_HEADER_START diff --git a/src/misc/extra/extraUtilProgress.c b/src/misc/extra/extraUtilProgress.c index 47b33196..98e6681c 100644 --- a/src/misc/extra/extraUtilProgress.c +++ b/src/misc/extra/extraUtilProgress.c @@ -20,7 +20,7 @@ #include <stdio.h> #include "extra.h" -#include "src/base/main/main.h" +#include "base/main/main.h" ABC_NAMESPACE_IMPL_START diff --git a/src/misc/extra/extraUtilReader.c b/src/misc/extra/extraUtilReader.c index 44fc080b..732402d4 100644 --- a/src/misc/extra/extraUtilReader.c +++ b/src/misc/extra/extraUtilReader.c @@ -20,7 +20,7 @@ #include <stdio.h> #include "extra.h" -#include "src/misc/vec/vec.h" +#include "misc/vec/vec.h" ABC_NAMESPACE_IMPL_START diff --git a/src/misc/hash/hash.h b/src/misc/hash/hash.h index 6e6c637c..3f945351 100644 --- a/src/misc/hash/hash.h +++ b/src/misc/hash/hash.h @@ -29,7 +29,7 @@ /// INCLUDES /// //////////////////////////////////////////////////////////////////////// -#include "src/misc/util/abc_global.h" +#include "misc/util/abc_global.h" #include "hashInt.h" #include "hashFlt.h" diff --git a/src/misc/hash/hashFlt.h b/src/misc/hash/hashFlt.h index c5776b46..0cd13d46 100644 --- a/src/misc/hash/hashFlt.h +++ b/src/misc/hash/hashFlt.h @@ -27,7 +27,7 @@ //////////////////////////////////////////////////////////////////////// #include <stdio.h> -#include "src/misc/extra/extra.h" +#include "misc/extra/extra.h" ABC_NAMESPACE_HEADER_START diff --git a/src/misc/hash/hashInt.h b/src/misc/hash/hashInt.h index 81a338fc..8e0d6f0b 100644 --- a/src/misc/hash/hashInt.h +++ b/src/misc/hash/hashInt.h @@ -27,7 +27,7 @@ //////////////////////////////////////////////////////////////////////// #include <stdio.h> -#include "src/misc/extra/extra.h" +#include "misc/extra/extra.h" ABC_NAMESPACE_HEADER_START diff --git a/src/misc/hash/hashPtr.h b/src/misc/hash/hashPtr.h index 72e2f394..b2399747 100644 --- a/src/misc/hash/hashPtr.h +++ b/src/misc/hash/hashPtr.h @@ -27,7 +27,7 @@ //////////////////////////////////////////////////////////////////////// #include <stdio.h> -#include "src/misc/extra/extra.h" +#include "misc/extra/extra.h" ABC_NAMESPACE_HEADER_START diff --git a/src/misc/mem/mem.h b/src/misc/mem/mem.h index 0f04c160..4c0aa038 100644 --- a/src/misc/mem/mem.h +++ b/src/misc/mem/mem.h @@ -21,7 +21,7 @@ #ifndef ABC__aig__mem__mem_h #define ABC__aig__mem__mem_h -#include "src/misc/util/abc_global.h" +#include "misc/util/abc_global.h" ABC_NAMESPACE_HEADER_START diff --git a/src/misc/mvc/mvc.h b/src/misc/mvc/mvc.h index 94b9acd9..0106ce8f 100644 --- a/src/misc/mvc/mvc.h +++ b/src/misc/mvc/mvc.h @@ -25,7 +25,7 @@ //////////////////////////////////////////////////////////////////////// #include <stdio.h> -#include "src/misc/extra/extra.h" +#include "misc/extra/extra.h" ABC_NAMESPACE_HEADER_START diff --git a/src/misc/nm/nmInt.h b/src/misc/nm/nmInt.h index 4463b276..19d688f1 100644 --- a/src/misc/nm/nmInt.h +++ b/src/misc/nm/nmInt.h @@ -26,8 +26,8 @@ /// INCLUDES /// //////////////////////////////////////////////////////////////////////// -#include "src/misc/extra/extra.h" -#include "src/misc/vec/vec.h" +#include "misc/extra/extra.h" +#include "misc/vec/vec.h" #include "nm.h" //////////////////////////////////////////////////////////////////////// diff --git a/src/misc/st/st.h b/src/misc/st/st.h index 50a8440e..2cdebcec 100644 --- a/src/misc/st/st.h +++ b/src/misc/st/st.h @@ -15,7 +15,7 @@ #define ABC__misc__st__st_h #define ST_INCLUDED -#include "src/misc/util/abc_global.h" +#include "misc/util/abc_global.h" ABC_NAMESPACE_HEADER_START diff --git a/src/misc/st/stmm.c b/src/misc/st/stmm.c index dc883a67..b7f5b87e 100644 --- a/src/misc/st/stmm.c +++ b/src/misc/st/stmm.c @@ -8,7 +8,7 @@ * */ #include <stdio.h> -#include "src/misc/extra/extra.h" +#include "misc/extra/extra.h" #include "stmm.h" ABC_NAMESPACE_IMPL_START diff --git a/src/misc/st/stmm.h b/src/misc/st/stmm.h index 1853ce36..87daea19 100644 --- a/src/misc/st/stmm.h +++ b/src/misc/st/stmm.h @@ -14,7 +14,7 @@ #ifndef ABC__misc__st__stmm_h #define ABC__misc__st__stmm_h -#include "src/misc/util/abc_global.h" +#include "misc/util/abc_global.h" ABC_NAMESPACE_HEADER_START diff --git a/src/misc/tim/tim.c b/src/misc/tim/tim.c index c56bfaaf..4e60c216 100644 --- a/src/misc/tim/tim.c +++ b/src/misc/tim/tim.c @@ -23,8 +23,8 @@ #include <string.h> #include <assert.h> -#include "src/misc/vec/vec.h" -#include "src/misc/mem/mem.h" +#include "misc/vec/vec.h" +#include "misc/mem/mem.h" #include "tim.h" ABC_NAMESPACE_IMPL_START diff --git a/src/misc/util/utilBridge.c b/src/misc/util/utilBridge.c index e48b54df..6180948e 100644 --- a/src/misc/util/utilBridge.c +++ b/src/misc/util/utilBridge.c @@ -23,7 +23,7 @@ #include <stdlib.h> #include <assert.h> -#include "src/aig/gia/gia.h" +#include "aig/gia/gia.h" ABC_NAMESPACE_IMPL_START diff --git a/src/misc/util/utilNam.c b/src/misc/util/utilNam.c index 9615b81f..7b8ea738 100644 --- a/src/misc/util/utilNam.c +++ b/src/misc/util/utilNam.c @@ -25,7 +25,7 @@ #include <assert.h> #include "abc_global.h" -#include "src/misc/vec/vec.h" +#include "misc/vec/vec.h" #include "utilNam.h" ABC_NAMESPACE_IMPL_START diff --git a/src/misc/vec/vec.h b/src/misc/vec/vec.h index c02cafeb..ec3a70b8 100644 --- a/src/misc/vec/vec.h +++ b/src/misc/vec/vec.h @@ -26,7 +26,7 @@ /// INCLUDES /// //////////////////////////////////////////////////////////////////////// -#include "src/misc/util/abc_global.h" +#include "misc/util/abc_global.h" #include "vecInt.h" #include "vecFlt.h" diff --git a/src/misc/zlib/adler32.c b/src/misc/zlib/adler32.c index 10208ab4..2015a327 100644 --- a/src/misc/zlib/adler32.c +++ b/src/misc/zlib/adler32.c @@ -8,7 +8,7 @@ #include <stdio.h> #include <stdlib.h> #include <string.h> -#include "src/misc/util/abc_global.h" +#include "misc/util/abc_global.h" #include "zutil.h" diff --git a/src/misc/zlib/crc32.c b/src/misc/zlib/crc32.c index 6c33b549..46c97008 100644 --- a/src/misc/zlib/crc32.c +++ b/src/misc/zlib/crc32.c @@ -29,7 +29,7 @@ #include <stdio.h> #include <stdlib.h> #include <string.h> -#include "src/misc/util/abc_global.h" +#include "misc/util/abc_global.h" #include "zutil.h" /* for STDC and FAR definitions */ diff --git a/src/misc/zlib/deflate.c b/src/misc/zlib/deflate.c index e47050bd..04dcbf09 100644 --- a/src/misc/zlib/deflate.c +++ b/src/misc/zlib/deflate.c @@ -52,7 +52,7 @@ #include <stdio.h> #include <stdlib.h> #include <string.h> -#include "src/misc/util/abc_global.h" +#include "misc/util/abc_global.h" #include "deflate.h" diff --git a/src/misc/zlib/gzclose.c b/src/misc/zlib/gzclose.c index 6cd8dc3d..4e796f6c 100644 --- a/src/misc/zlib/gzclose.c +++ b/src/misc/zlib/gzclose.c @@ -6,7 +6,7 @@ #include <stdio.h> #include <stdlib.h> #include <string.h> -#include "src/misc/util/abc_global.h" +#include "misc/util/abc_global.h" #include "gzguts.h" diff --git a/src/misc/zlib/gzguts.h b/src/misc/zlib/gzguts.h index f95db6c2..80961a54 100644 --- a/src/misc/zlib/gzguts.h +++ b/src/misc/zlib/gzguts.h @@ -61,7 +61,7 @@ #endif #include <stdio.h> -#include "src/misc/util/abc_global.h" +#include "misc/util/abc_global.h" ABC_NAMESPACE_HEADER_START diff --git a/src/misc/zlib/gzlib.c b/src/misc/zlib/gzlib.c index 4d6fdfd0..743dccb6 100644 --- a/src/misc/zlib/gzlib.c +++ b/src/misc/zlib/gzlib.c @@ -6,7 +6,7 @@ #include <stdio.h> #include <stdlib.h> #include <string.h> -#include "src/misc/util/abc_global.h" +#include "misc/util/abc_global.h" #include "gzguts.h" diff --git a/src/misc/zlib/gzread.c b/src/misc/zlib/gzread.c index 6a4d13b6..71a6f462 100644 --- a/src/misc/zlib/gzread.c +++ b/src/misc/zlib/gzread.c @@ -6,7 +6,7 @@ #include <stdio.h> #include <stdlib.h> #include <string.h> -#include "src/misc/util/abc_global.h" +#include "misc/util/abc_global.h" #include "gzguts.h" diff --git a/src/misc/zlib/gzwrite.c b/src/misc/zlib/gzwrite.c index f7482615..44e116de 100644 --- a/src/misc/zlib/gzwrite.c +++ b/src/misc/zlib/gzwrite.c @@ -6,7 +6,7 @@ #include <stdio.h> #include <stdlib.h> #include <string.h> -#include "src/misc/util/abc_global.h" +#include "misc/util/abc_global.h" #include "gzguts.h" diff --git a/src/misc/zlib/infback.c b/src/misc/zlib/infback.c index 7163f99d..7559f7fd 100644 --- a/src/misc/zlib/infback.c +++ b/src/misc/zlib/infback.c @@ -13,7 +13,7 @@ #include <stdio.h> #include <stdlib.h> #include <string.h> -#include "src/misc/util/abc_global.h" +#include "misc/util/abc_global.h" #include "zutil.h" #include "inftrees.h" diff --git a/src/misc/zlib/inffast.c b/src/misc/zlib/inffast.c index fbdf94d0..a44d180e 100644 --- a/src/misc/zlib/inffast.c +++ b/src/misc/zlib/inffast.c @@ -6,7 +6,7 @@ #include <stdio.h> #include <stdlib.h> #include <string.h> -#include "src/misc/util/abc_global.h" +#include "misc/util/abc_global.h" #include "zutil.h" #include "inftrees.h" diff --git a/src/misc/zlib/inflate.c b/src/misc/zlib/inflate.c index 04feb237..449779a9 100644 --- a/src/misc/zlib/inflate.c +++ b/src/misc/zlib/inflate.c @@ -83,7 +83,7 @@ #include <stdio.h> #include <stdlib.h> #include <string.h> -#include "src/misc/util/abc_global.h" +#include "misc/util/abc_global.h" #include "zutil.h" #include "inftrees.h" diff --git a/src/misc/zlib/inftrees.c b/src/misc/zlib/inftrees.c index a73e58a8..f3835cfc 100644 --- a/src/misc/zlib/inftrees.c +++ b/src/misc/zlib/inftrees.c @@ -6,7 +6,7 @@ #include <stdio.h> #include <stdlib.h> #include <string.h> -#include "src/misc/util/abc_global.h" +#include "misc/util/abc_global.h" #include "zutil.h" #include "inftrees.h" diff --git a/src/misc/zlib/trees.c b/src/misc/zlib/trees.c index a7365594..b61bae81 100644 --- a/src/misc/zlib/trees.c +++ b/src/misc/zlib/trees.c @@ -37,7 +37,7 @@ #include <stdio.h> #include <stdlib.h> #include <string.h> -#include "src/misc/util/abc_global.h" +#include "misc/util/abc_global.h" #include "deflate.h" diff --git a/src/misc/zlib/uncompr.c b/src/misc/zlib/uncompr.c index cf021273..fedb3ed2 100644 --- a/src/misc/zlib/uncompr.c +++ b/src/misc/zlib/uncompr.c @@ -8,7 +8,7 @@ #include <stdio.h> #include <stdlib.h> #include <string.h> -#include "src/misc/util/abc_global.h" +#include "misc/util/abc_global.h" #define ZLIB_INTERNAL #include "zlib.h" diff --git a/src/misc/zlib/zlib.h b/src/misc/zlib/zlib.h index 0fd12170..46c1a1ae 100644 --- a/src/misc/zlib/zlib.h +++ b/src/misc/zlib/zlib.h @@ -39,7 +39,7 @@ #include <unistd.h> #endif -#include "src/misc/util/abc_global.h" +#include "misc/util/abc_global.h" #include "zconf.h" diff --git a/src/misc/zlib/zutil.c b/src/misc/zlib/zutil.c index b74b21ea..fbf67f1b 100644 --- a/src/misc/zlib/zutil.c +++ b/src/misc/zlib/zutil.c @@ -8,7 +8,7 @@ #include <stdio.h> #include <stdlib.h> #include <string.h> -#include "src/misc/util/abc_global.h" +#include "misc/util/abc_global.h" #include "zutil.h" |