diff options
Diffstat (limited to 'src/base/abci')
69 files changed, 233 insertions, 233 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 03eb8d21..b3f4d559 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -18,37 +18,37 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/base/main/main.h" -#include "src/base/main/mainInt.h" -#include "src/proof/fraig/fraig.h" -#include "src/opt/fxu/fxu.h" -#include "src/opt/cut/cut.h" -#include "src/map/fpga/fpga.h" -#include "src/map/if/if.h" -#include "src/opt/sim/sim.h" -#include "src/opt/res/res.h" -#include "src/opt/lpk/lpk.h" -#include "src/aig/gia/giaAig.h" -#include "src/opt/dar/dar.h" -#include "src/opt/mfs/mfs.h" -#include "src/proof/fra/fra.h" -#include "src/aig/saig/saig.h" -#include "src/proof/int/int.h" -#include "src/proof/dch/dch.h" -#include "src/proof/ssw/ssw.h" -#include "src/opt/cgt/cgt.h" -#include "src/bool/kit/kit.h" -#include "src/map/amap/amap.h" -#include "src/opt/ret/retInt.h" -#include "src/sat/cnf/cnf.h" -#include "src/proof/cec/cec.h" -#include "src/proof/pdr/pdr.h" -#include "src/misc/tim/tim.h" -#include "src/proof/llb/llb.h" -#include "src/proof/bbr/bbr.h" -#include "src/map/cov/cov.h" -#include "src/base/cmd/cmd.h" +#include "base/abc/abc.h" +#include "base/main/main.h" +#include "base/main/mainInt.h" +#include "proof/fraig/fraig.h" +#include "opt/fxu/fxu.h" +#include "opt/cut/cut.h" +#include "map/fpga/fpga.h" +#include "map/if/if.h" +#include "opt/sim/sim.h" +#include "opt/res/res.h" +#include "opt/lpk/lpk.h" +#include "aig/gia/giaAig.h" +#include "opt/dar/dar.h" +#include "opt/mfs/mfs.h" +#include "proof/fra/fra.h" +#include "aig/saig/saig.h" +#include "proof/int/int.h" +#include "proof/dch/dch.h" +#include "proof/ssw/ssw.h" +#include "opt/cgt/cgt.h" +#include "bool/kit/kit.h" +#include "map/amap/amap.h" +#include "opt/ret/retInt.h" +#include "sat/cnf/cnf.h" +#include "proof/cec/cec.h" +#include "proof/pdr/pdr.h" +#include "misc/tim/tim.h" +#include "proof/llb/llb.h" +#include "proof/bbr/bbr.h" +#include "map/cov/cov.h" +#include "base/cmd/cmd.h" #ifdef _WIN32 //#include <io.h> diff --git a/src/base/abci/abcAttach.c b/src/base/abci/abcAttach.c index 6408b54f..ad435d6d 100644 --- a/src/base/abci/abcAttach.c +++ b/src/base/abci/abcAttach.c @@ -18,9 +18,9 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/base/main/main.h" -#include "src/map/mio/mio.h" +#include "base/abc/abc.h" +#include "base/main/main.h" +#include "map/mio/mio.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcAuto.c b/src/base/abci/abcAuto.c index 7b4d7694..3d723b1c 100644 --- a/src/base/abci/abcAuto.c +++ b/src/base/abci/abcAuto.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/misc/extra/extraBdd.h" +#include "base/abc/abc.h" +#include "misc/extra/extraBdd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcBalance.c b/src/base/abci/abcBalance.c index 8317558d..2c391e89 100644 --- a/src/base/abci/abcBalance.c +++ b/src/base/abci/abcBalance.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcBidec.c b/src/base/abci/abcBidec.c index 507b7355..22564195 100644 --- a/src/base/abci/abcBidec.c +++ b/src/base/abci/abcBidec.c @@ -18,9 +18,9 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/bool/bdc/bdc.h" -#include "src/bool/kit/kit.h" +#include "base/abc/abc.h" +#include "bool/bdc/bdc.h" +#include "bool/kit/kit.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcBm.c b/src/base/abci/abcBm.c index 19c8e9ff..741c6a9e 100644 --- a/src/base/abci/abcBm.c +++ b/src/base/abci/abcBm.c @@ -27,10 +27,10 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/opt/sim/sim.h" -#include "src/sat/bsat/satSolver.h" -#include "src/misc/extra/extraBdd.h" +#include "base/abc/abc.h" +#include "opt/sim/sim.h" +#include "sat/bsat/satSolver.h" +#include "misc/extra/extraBdd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcBmc.c b/src/base/abci/abcBmc.c index 6ea4435c..ec04df51 100644 --- a/src/base/abci/abcBmc.c +++ b/src/base/abci/abcBmc.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/aig/ivy/ivy.h" +#include "base/abc/abc.h" +#include "aig/ivy/ivy.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcCas.c b/src/base/abci/abcCas.c index 51ab4130..f9fae27f 100644 --- a/src/base/abci/abcCas.c +++ b/src/base/abci/abcCas.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/misc/extra/extraBdd.h" +#include "base/abc/abc.h" +#include "misc/extra/extraBdd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcCascade.c b/src/base/abci/abcCascade.c index 60f7294f..bb6e1d4b 100644 --- a/src/base/abci/abcCascade.c +++ b/src/base/abci/abcCascade.c @@ -18,9 +18,9 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/bdd/reo/reo.h" -#include "src/misc/extra/extraBdd.h" +#include "base/abc/abc.h" +#include "bdd/reo/reo.h" +#include "misc/extra/extraBdd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcCollapse.c b/src/base/abci/abcCollapse.c index e6a6db79..6d3fbbce 100644 --- a/src/base/abci/abcCollapse.c +++ b/src/base/abci/abcCollapse.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/misc/extra/extraBdd.h" +#include "base/abc/abc.h" +#include "misc/extra/extraBdd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcCut.c b/src/base/abci/abcCut.c index 918ee2ab..bf64ce99 100644 --- a/src/base/abci/abcCut.c +++ b/src/base/abci/abcCut.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/opt/cut/cut.h" +#include "base/abc/abc.h" +#include "opt/cut/cut.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index 82b3d916..bd299425 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -18,22 +18,22 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/base/main/main.h" -#include "src/aig/gia/giaAig.h" -#include "src/opt/dar/dar.h" -#include "src/sat/cnf/cnf.h" -#include "src/proof/fra/fra.h" -#include "src/proof/fraig/fraig.h" -#include "src/proof/int/int.h" -#include "src/proof/dch/dch.h" -#include "src/proof/ssw/ssw.h" -#include "src/opt/cgt/cgt.h" -#include "src/proof/bbr/bbr.h" -#include "src/aig/gia/gia.h" -#include "src/proof/cec/cec.h" -#include "src/opt/csw/csw.h" -#include "src/proof/pdr/pdr.h" +#include "base/abc/abc.h" +#include "base/main/main.h" +#include "aig/gia/giaAig.h" +#include "opt/dar/dar.h" +#include "sat/cnf/cnf.h" +#include "proof/fra/fra.h" +#include "proof/fraig/fraig.h" +#include "proof/int/int.h" +#include "proof/dch/dch.h" +#include "proof/ssw/ssw.h" +#include "opt/cgt/cgt.h" +#include "proof/bbr/bbr.h" +#include "aig/gia/gia.h" +#include "proof/cec/cec.h" +#include "opt/csw/csw.h" +#include "proof/pdr/pdr.h" ABC_NAMESPACE_IMPL_START @@ -1833,7 +1833,7 @@ Abc_Ntk_t * Abc_NtkDarLcorrNew( Abc_Ntk_t * pNtk, int nVarsMax, int nConfMax, in /* #include <signal.h> -#include "src/misc/util/utilMem.h" +#include "misc/util/utilMem.h" static void sigfunc( int signo ) { if (signo == SIGINT) { @@ -3991,8 +3991,8 @@ int Abc_NtkDarReach( Abc_Ntk_t * pNtk, Saig_ParBbr_t * pPars ) ABC_NAMESPACE_IMPL_END -#include "src/map/amap/amap.h" -#include "src/map/mio/mio.h" +#include "map/amap/amap.h" +#include "map/mio/mio.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcDebug.c b/src/base/abci/abcDebug.c index ebed2efa..7dae346c 100644 --- a/src/base/abci/abcDebug.c +++ b/src/base/abci/abcDebug.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/base/io/ioAbc.h" +#include "base/abc/abc.h" +#include "base/io/ioAbc.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcDress.c b/src/base/abci/abcDress.c index 745dcac0..2a453b63 100644 --- a/src/base/abci/abcDress.c +++ b/src/base/abci/abcDress.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/base/io/ioAbc.h" +#include "base/abc/abc.h" +#include "base/io/ioAbc.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcDress2.c b/src/base/abci/abcDress2.c index 84bf1229..9f8cc568 100644 --- a/src/base/abci/abcDress2.c +++ b/src/base/abci/abcDress2.c @@ -18,9 +18,9 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/aig/aig/aig.h" -#include "src/proof/dch/dch.h" +#include "base/abc/abc.h" +#include "aig/aig/aig.h" +#include "proof/dch/dch.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcDsd.c b/src/base/abci/abcDsd.c index c4086ce7..24496145 100644 --- a/src/base/abci/abcDsd.c +++ b/src/base/abci/abcDsd.c @@ -18,9 +18,9 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/misc/extra/extraBdd.h" -#include "src/bdd/dsd/dsd.h" +#include "base/abc/abc.h" +#include "misc/extra/extraBdd.h" +#include "bdd/dsd/dsd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcExtract.c b/src/base/abci/abcExtract.c index e718c8ce..1b247841 100644 --- a/src/base/abci/abcExtract.c +++ b/src/base/abci/abcExtract.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcFpga.c b/src/base/abci/abcFpga.c index 4d6b2978..965bd5f8 100644 --- a/src/base/abci/abcFpga.c +++ b/src/base/abci/abcFpga.c @@ -18,9 +18,9 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/map/fpga/fpgaInt.h" -#include "src/misc/extra/extraBdd.h" +#include "base/abc/abc.h" +#include "map/fpga/fpgaInt.h" +#include "misc/extra/extraBdd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcFpgaFast.c b/src/base/abci/abcFpgaFast.c index 1c5693fd..21399f3d 100644 --- a/src/base/abci/abcFpgaFast.c +++ b/src/base/abci/abcFpgaFast.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/aig/ivy/ivy.h" +#include "base/abc/abc.h" +#include "aig/ivy/ivy.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcFraig.c b/src/base/abci/abcFraig.c index 23004df2..60b8d662 100644 --- a/src/base/abci/abcFraig.c +++ b/src/base/abci/abcFraig.c @@ -18,9 +18,9 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/proof/fraig/fraig.h" -#include "src/base/main/main.h" +#include "base/abc/abc.h" +#include "proof/fraig/fraig.h" +#include "base/main/main.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcFxu.c b/src/base/abci/abcFxu.c index 2470a1d1..9cf2e31a 100644 --- a/src/base/abci/abcFxu.c +++ b/src/base/abci/abcFxu.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/opt/fxu/fxu.h" +#include "base/abc/abc.h" +#include "opt/fxu/fxu.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcGen.c b/src/base/abci/abcGen.c index 4f3ef5bc..fb6f8b27 100644 --- a/src/base/abci/abcGen.c +++ b/src/base/abci/abcGen.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" ABC_NAMESPACE_IMPL_START @@ -660,7 +660,7 @@ void Abc_GenOneHotIntervals( char * pFileName, int nPis, int nRegs, Vec_Ptr_t * ABC_NAMESPACE_IMPL_END -#include "src/aig/aig/aig.h" +#include "aig/aig/aig.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcHaig.c b/src/base/abci/abcHaig.c index 073defd0..d6c0ddad 100644 --- a/src/base/abci/abcHaig.c +++ b/src/base/abci/abcHaig.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcIf.c b/src/base/abci/abcIf.c index 0a4b9d56..01d156e1 100644 --- a/src/base/abci/abcIf.c +++ b/src/base/abci/abcIf.c @@ -18,11 +18,11 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/base/main/main.h" -#include "src/map/if/if.h" -#include "src/bool/kit/kit.h" -#include "src/aig/aig/aig.h" +#include "base/abc/abc.h" +#include "base/main/main.h" +#include "map/if/if.h" +#include "bool/kit/kit.h" +#include "aig/aig/aig.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcIfMux.c b/src/base/abci/abcIfMux.c index 545adafb..69098b4f 100644 --- a/src/base/abci/abcIfMux.c +++ b/src/base/abci/abcIfMux.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/map/if/if.h" +#include "base/abc/abc.h" +#include "map/if/if.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcIfif.c b/src/base/abci/abcIfif.c index 33f1299c..d8cfa541 100644 --- a/src/base/abci/abcIfif.c +++ b/src/base/abci/abcIfif.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/map/if/if.h" +#include "base/abc/abc.h" +#include "map/if/if.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcIvy.c b/src/base/abci/abcIvy.c index 8df8d150..2d53a1ee 100644 --- a/src/base/abci/abcIvy.c +++ b/src/base/abci/abcIvy.c @@ -18,14 +18,14 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/bool/dec/dec.h" -#include "src/proof/fra/fra.h" -#include "src/aig/ivy/ivy.h" -#include "src/proof/fraig/fraig.h" -#include "src/map/mio/mio.h" -#include "src/aig/aig/aig.h" -#include "src/misc/extra/extraBdd.h" +#include "base/abc/abc.h" +#include "bool/dec/dec.h" +#include "proof/fra/fra.h" +#include "aig/ivy/ivy.h" +#include "proof/fraig/fraig.h" +#include "map/mio/mio.h" +#include "aig/aig/aig.h" +#include "misc/extra/extraBdd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcLog.c b/src/base/abci/abcLog.c index d2dddaa2..64f5d548 100644 --- a/src/base/abci/abcLog.c +++ b/src/base/abci/abcLog.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/aig/gia/gia.h" +#include "base/abc/abc.h" +#include "aig/gia/gia.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcLut.c b/src/base/abci/abcLut.c index 1653918f..66db8e97 100644 --- a/src/base/abci/abcLut.c +++ b/src/base/abci/abcLut.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/opt/cut/cut.h" +#include "base/abc/abc.h" +#include "opt/cut/cut.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcLutmin.c b/src/base/abci/abcLutmin.c index bdeb53ff..b4856779 100644 --- a/src/base/abci/abcLutmin.c +++ b/src/base/abci/abcLutmin.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/misc/extra/extraBdd.h" +#include "base/abc/abc.h" +#include "misc/extra/extraBdd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcMap.c b/src/base/abci/abcMap.c index 988da5c2..4b76a541 100644 --- a/src/base/abci/abcMap.c +++ b/src/base/abci/abcMap.c @@ -18,10 +18,10 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/base/main/main.h" -#include "src/map/mio/mio.h" -#include "src/map/mapper/mapper.h" +#include "base/abc/abc.h" +#include "base/main/main.h" +#include "map/mio/mio.h" +#include "map/mapper/mapper.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcMeasure.c b/src/base/abci/abcMeasure.c index a366b830..72dba1a0 100644 --- a/src/base/abci/abcMeasure.c +++ b/src/base/abci/abcMeasure.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/bool/kit/kit.h" +#include "base/abc/abc.h" +#include "bool/kit/kit.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcMerge.c b/src/base/abci/abcMerge.c index cc606488..52fa817b 100644 --- a/src/base/abci/abcMerge.c +++ b/src/base/abci/abcMerge.c @@ -18,9 +18,9 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/aig/aig/aig.h" -#include "src/opt/nwk/nwkMerge.h" +#include "base/abc/abc.h" +#include "aig/aig/aig.h" +#include "opt/nwk/nwkMerge.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcMffc.c b/src/base/abci/abcMffc.c index 3a911c67..f55b3b52 100644 --- a/src/base/abci/abcMffc.c +++ b/src/base/abci/abcMffc.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcMini.c b/src/base/abci/abcMini.c index 0af87d36..22f33909 100644 --- a/src/base/abci/abcMini.c +++ b/src/base/abci/abcMini.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcMiter.c b/src/base/abci/abcMiter.c index 66734c04..feeaa617 100644 --- a/src/base/abci/abcMiter.c +++ b/src/base/abci/abcMiter.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcMulti.c b/src/base/abci/abcMulti.c index c8247b28..8e4bbf28 100644 --- a/src/base/abci/abcMulti.c +++ b/src/base/abci/abcMulti.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/misc/extra/extraBdd.h" +#include "base/abc/abc.h" +#include "misc/extra/extraBdd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcMv.c b/src/base/abci/abcMv.c index 5f612b62..d589c3e7 100644 --- a/src/base/abci/abcMv.c +++ b/src/base/abci/abcMv.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/misc/extra/extraBdd.h" +#include "base/abc/abc.h" +#include "misc/extra/extraBdd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcNpnSave.c b/src/base/abci/abcNpnSave.c index b99b1e52..55603c6b 100644 --- a/src/base/abci/abcNpnSave.c +++ b/src/base/abci/abcNpnSave.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/aig/aig/aig.h" +#include "base/abc/abc.h" +#include "aig/aig/aig.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcNtbdd.c b/src/base/abci/abcNtbdd.c index 2fac9497..0fc8c36c 100644 --- a/src/base/abci/abcNtbdd.c +++ b/src/base/abci/abcNtbdd.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/misc/extra/extraBdd.h" +#include "base/abc/abc.h" +#include "misc/extra/extraBdd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcOdc.c b/src/base/abci/abcOdc.c index ff85035b..31f64732 100644 --- a/src/base/abci/abcOdc.c +++ b/src/base/abci/abcOdc.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcOrder.c b/src/base/abci/abcOrder.c index a3f66a63..fb837848 100644 --- a/src/base/abci/abcOrder.c +++ b/src/base/abci/abcOrder.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcPart.c b/src/base/abci/abcPart.c index 163c81b9..a92decc1 100644 --- a/src/base/abci/abcPart.c +++ b/src/base/abci/abcPart.c @@ -18,9 +18,9 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/base/main/main.h" -#include "src/base/cmd/cmd.h" +#include "base/abc/abc.h" +#include "base/main/main.h" +#include "base/cmd/cmd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c index afedabc2..0ec73fde 100644 --- a/src/base/abci/abcPrint.c +++ b/src/base/abci/abcPrint.c @@ -19,13 +19,13 @@ ***********************************************************************/ #include <math.h> -#include "src/base/abc/abc.h" -#include "src/bool/dec/dec.h" -#include "src/base/main/main.h" -#include "src/map/mio/mio.h" -#include "src/aig/aig/aig.h" -#include "src/map/if/if.h" -#include "src/misc/extra/extraBdd.h" +#include "base/abc/abc.h" +#include "bool/dec/dec.h" +#include "base/main/main.h" +#include "map/mio/mio.h" +#include "aig/aig/aig.h" +#include "map/if/if.h" +#include "misc/extra/extraBdd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcProve.c b/src/base/abci/abcProve.c index 0322b587..c61777fa 100644 --- a/src/base/abci/abcProve.c +++ b/src/base/abci/abcProve.c @@ -20,9 +20,9 @@ #include <math.h> -#include "src/base/abc/abc.h" -#include "src/proof/fraig/fraig.h" -#include "src/misc/extra/extraBdd.h" +#include "base/abc/abc.h" +#include "proof/fraig/fraig.h" +#include "misc/extra/extraBdd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcQbf.c b/src/base/abci/abcQbf.c index 2fec2a07..0b53bc8a 100644 --- a/src/base/abci/abcQbf.c +++ b/src/base/abci/abcQbf.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcQuant.c b/src/base/abci/abcQuant.c index 0951795f..e6f0ccea 100644 --- a/src/base/abci/abcQuant.c +++ b/src/base/abci/abcQuant.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcReach.c b/src/base/abci/abcReach.c index 216dc2d2..e0fb4e51 100644 --- a/src/base/abci/abcReach.c +++ b/src/base/abci/abcReach.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/misc/extra/extraBdd.h" +#include "base/abc/abc.h" +#include "misc/extra/extraBdd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcRec.c b/src/base/abci/abcRec.c index dd4beebd..83780233 100644 --- a/src/base/abci/abcRec.c +++ b/src/base/abci/abcRec.c @@ -18,9 +18,9 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/map/if/if.h" -#include "src/bool/kit/kit.h" +#include "base/abc/abc.h" +#include "map/if/if.h" +#include "bool/kit/kit.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcReconv.c b/src/base/abci/abcReconv.c index 4a5be4a2..56c2251a 100644 --- a/src/base/abci/abcReconv.c +++ b/src/base/abci/abcReconv.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/misc/extra/extraBdd.h" +#include "base/abc/abc.h" +#include "misc/extra/extraBdd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcRefactor.c b/src/base/abci/abcRefactor.c index 22b88d28..cfc7bd39 100644 --- a/src/base/abci/abcRefactor.c +++ b/src/base/abci/abcRefactor.c @@ -18,9 +18,9 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/bool/dec/dec.h" -#include "src/misc/extra/extraBdd.h" +#include "base/abc/abc.h" +#include "bool/dec/dec.h" +#include "misc/extra/extraBdd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcRenode.c b/src/base/abci/abcRenode.c index a3891fda..9fd6d0eb 100644 --- a/src/base/abci/abcRenode.c +++ b/src/base/abci/abcRenode.c @@ -18,11 +18,11 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/bdd/reo/reo.h" -#include "src/map/if/if.h" -#include "src/bool/kit/kit.h" -#include "src/misc/extra/extraBdd.h" +#include "base/abc/abc.h" +#include "bdd/reo/reo.h" +#include "map/if/if.h" +#include "bool/kit/kit.h" +#include "misc/extra/extraBdd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcReorder.c b/src/base/abci/abcReorder.c index 5fd041ae..4f8d50fa 100644 --- a/src/base/abci/abcReorder.c +++ b/src/base/abci/abcReorder.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/bdd/reo/reo.h" +#include "base/abc/abc.h" +#include "bdd/reo/reo.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcRestruct.c b/src/base/abci/abcRestruct.c index 4be177f7..51af25c6 100644 --- a/src/base/abci/abcRestruct.c +++ b/src/base/abci/abcRestruct.c @@ -18,11 +18,11 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/bool/dec/dec.h" -#include "src/opt/cut/cut.h" -#include "src/misc/extra/extraBdd.h" -#include "src/bdd/dsd/dsd.h" +#include "base/abc/abc.h" +#include "bool/dec/dec.h" +#include "opt/cut/cut.h" +#include "misc/extra/extraBdd.h" +#include "bdd/dsd/dsd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcResub.c b/src/base/abci/abcResub.c index 8ae4795a..3c970c9f 100644 --- a/src/base/abci/abcResub.c +++ b/src/base/abci/abcResub.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/bool/dec/dec.h" +#include "base/abc/abc.h" +#include "bool/dec/dec.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcRewrite.c b/src/base/abci/abcRewrite.c index a1e19405..9ce83e5f 100644 --- a/src/base/abci/abcRewrite.c +++ b/src/base/abci/abcRewrite.c @@ -18,9 +18,9 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/opt/rwr/rwr.h" -#include "src/bool/dec/dec.h" +#include "base/abc/abc.h" +#include "opt/rwr/rwr.h" +#include "bool/dec/dec.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcRr.c b/src/base/abci/abcRr.c index 83b7e85e..86bc40ed 100644 --- a/src/base/abci/abcRr.c +++ b/src/base/abci/abcRr.c @@ -18,9 +18,9 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/proof/fraig/fraig.h" -#include "src/opt/sim/sim.h" +#include "base/abc/abc.h" +#include "proof/fraig/fraig.h" +#include "opt/sim/sim.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcSat.c b/src/base/abci/abcSat.c index a10be364..c9987d70 100644 --- a/src/base/abci/abcSat.c +++ b/src/base/abci/abcSat.c @@ -18,11 +18,11 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/base/main/main.h" -#include "src/base/cmd/cmd.h" -#include "src/sat/bsat/satSolver.h" -#include "src/misc/extra/extraBdd.h" +#include "base/abc/abc.h" +#include "base/main/main.h" +#include "base/cmd/cmd.h" +#include "sat/bsat/satSolver.h" +#include "misc/extra/extraBdd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcScorr.c b/src/base/abci/abcScorr.c index 60199b33..f224a0fd 100644 --- a/src/base/abci/abcScorr.c +++ b/src/base/abci/abcScorr.c @@ -18,13 +18,13 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/base/io/ioAbc.h" -#include "src/aig/saig/saig.h" -#include "src/proof/ssw/ssw.h" -#include "src/aig/gia/gia.h" -#include "src/proof/cec/cec.h" -#include "src/aig/gia/giaAig.h" +#include "base/abc/abc.h" +#include "base/io/ioAbc.h" +#include "aig/saig/saig.h" +#include "proof/ssw/ssw.h" +#include "aig/gia/gia.h" +#include "proof/cec/cec.h" +#include "aig/gia/giaAig.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcSense.c b/src/base/abci/abcSense.c index 3bcbc205..790793d9 100644 --- a/src/base/abci/abcSense.c +++ b/src/base/abci/abcSense.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/proof/fraig/fraig.h" +#include "base/abc/abc.h" +#include "proof/fraig/fraig.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcSpeedup.c b/src/base/abci/abcSpeedup.c index 2c3ebca0..320f6aa5 100644 --- a/src/base/abci/abcSpeedup.c +++ b/src/base/abci/abcSpeedup.c @@ -18,10 +18,10 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/base/main/main.h" -#include "src/map/if/if.h" -#include "src/aig/aig/aig.h" +#include "base/abc/abc.h" +#include "base/main/main.h" +#include "map/if/if.h" +#include "aig/aig/aig.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcStrash.c b/src/base/abci/abcStrash.c index 5bb93ada..b53a27e4 100644 --- a/src/base/abci/abcStrash.c +++ b/src/base/abci/abcStrash.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/bool/dec/dec.h" +#include "base/abc/abc.h" +#include "bool/dec/dec.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcSweep.c b/src/base/abci/abcSweep.c index 453dd9ba..4b53f7e1 100644 --- a/src/base/abci/abcSweep.c +++ b/src/base/abci/abcSweep.c @@ -18,10 +18,10 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/base/main/main.h" -#include "src/proof/fraig/fraig.h" -#include "src/misc/extra/extraBdd.h" +#include "base/abc/abc.h" +#include "base/main/main.h" +#include "proof/fraig/fraig.h" +#include "misc/extra/extraBdd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcSymm.c b/src/base/abci/abcSymm.c index 29927563..bf6a987b 100644 --- a/src/base/abci/abcSymm.c +++ b/src/base/abci/abcSymm.c @@ -18,9 +18,9 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/opt/sim/sim.h" -#include "src/misc/extra/extraBdd.h" +#include "base/abc/abc.h" +#include "opt/sim/sim.h" +#include "misc/extra/extraBdd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcTiming.c b/src/base/abci/abcTiming.c index f0cccdca..87c0e2b3 100644 --- a/src/base/abci/abcTiming.c +++ b/src/base/abci/abcTiming.c @@ -18,9 +18,9 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/base/main/main.h" -#include "src/map/mio/mio.h" +#include "base/abc/abc.h" +#include "base/main/main.h" +#include "map/mio/mio.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcUnate.c b/src/base/abci/abcUnate.c index 870b462b..1bd05cd6 100644 --- a/src/base/abci/abcUnate.c +++ b/src/base/abci/abcUnate.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/misc/extra/extraBdd.h" +#include "base/abc/abc.h" +#include "misc/extra/extraBdd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcUnreach.c b/src/base/abci/abcUnreach.c index 72514029..2a203c96 100644 --- a/src/base/abci/abcUnreach.c +++ b/src/base/abci/abcUnreach.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/misc/extra/extraBdd.h" +#include "base/abc/abc.h" +#include "misc/extra/extraBdd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcVerify.c b/src/base/abci/abcVerify.c index 9b88cb8a..8367d23c 100644 --- a/src/base/abci/abcVerify.c +++ b/src/base/abci/abcVerify.c @@ -18,15 +18,15 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/base/main/main.h" -#include "src/base/cmd/cmd.h" -#include "src/proof/fraig/fraig.h" -#include "src/opt/sim/sim.h" -#include "src/aig/aig/aig.h" -#include "src/aig/saig/saig.h" -#include "src/aig/gia/gia.h" -#include "src/proof/ssw/ssw.h" +#include "base/abc/abc.h" +#include "base/main/main.h" +#include "base/cmd/cmd.h" +#include "proof/fraig/fraig.h" +#include "opt/sim/sim.h" +#include "aig/aig/aig.h" +#include "aig/saig/saig.h" +#include "aig/gia/gia.h" +#include "proof/ssw/ssw.h" ABC_NAMESPACE_IMPL_START diff --git a/src/base/abci/abcXsim.c b/src/base/abci/abcXsim.c index 23bbbe1a..33f8544d 100644 --- a/src/base/abci/abcXsim.c +++ b/src/base/abci/abcXsim.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/aig/gia/gia.h" +#include "base/abc/abc.h" +#include "aig/gia/gia.h" ABC_NAMESPACE_IMPL_START |