diff options
Diffstat (limited to 'src/aig/saig')
28 files changed, 59 insertions, 59 deletions
diff --git a/src/aig/saig/saig.h b/src/aig/saig/saig.h index 8752082f..ec33b3eb 100644 --- a/src/aig/saig/saig.h +++ b/src/aig/saig/saig.h @@ -26,8 +26,8 @@ /// INCLUDES /// //////////////////////////////////////////////////////////////////////// -#include "src/aig/aig/aig.h" -#include "src/aig/gia/giaAbs.h" +#include "aig/aig/aig.h" +#include "aig/gia/giaAbs.h" ABC_NAMESPACE_HEADER_START diff --git a/src/aig/saig/saigAbsCba.c b/src/aig/saig/saigAbsCba.c index 5a73a4d0..8f2cafaa 100644 --- a/src/aig/saig/saigAbsCba.c +++ b/src/aig/saig/saigAbsCba.c @@ -19,8 +19,8 @@ ***********************************************************************/ #include "saig.h" -#include "src/aig/gia/giaAig.h" -#include "src/aig/ioa/ioa.h" +#include "aig/gia/giaAig.h" +#include "aig/ioa/ioa.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigAbsPba.c b/src/aig/saig/saigAbsPba.c index 9a10edb6..34e1decf 100644 --- a/src/aig/saig/saigAbsPba.c +++ b/src/aig/saig/saigAbsPba.c @@ -19,9 +19,9 @@ ***********************************************************************/ #include "saig.h" -#include "src/sat/cnf/cnf.h" -#include "src/sat/bsat/satSolver.h" -#include "src/aig/gia/giaAig.h" +#include "sat/cnf/cnf.h" +#include "sat/bsat/satSolver.h" +#include "aig/gia/giaAig.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigAbsStart.c b/src/aig/saig/saigAbsStart.c index 77517c18..51033dee 100644 --- a/src/aig/saig/saigAbsStart.c +++ b/src/aig/saig/saigAbsStart.c @@ -19,10 +19,10 @@ ***********************************************************************/ #include "saig.h" -#include "src/proof/ssw/ssw.h" -#include "src/proof/fra/fra.h" -#include "src/proof/bbr/bbr.h" -#include "src/proof/pdr/pdr.h" +#include "proof/ssw/ssw.h" +#include "proof/fra/fra.h" +#include "proof/bbr/bbr.h" +#include "proof/pdr/pdr.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigAbsVfa.c b/src/aig/saig/saigAbsVfa.c index e991ac35..2c3ebbff 100644 --- a/src/aig/saig/saigAbsVfa.c +++ b/src/aig/saig/saigAbsVfa.c @@ -19,8 +19,8 @@ ***********************************************************************/ #include "saig.h" -#include "src/sat/cnf/cnf.h" -#include "src/sat/bsat/satSolver.h" +#include "sat/cnf/cnf.h" +#include "sat/bsat/satSolver.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigBmc.c b/src/aig/saig/saigBmc.c index 021ad5d0..f88d3162 100644 --- a/src/aig/saig/saigBmc.c +++ b/src/aig/saig/saigBmc.c @@ -19,9 +19,9 @@ ***********************************************************************/ #include "saig.h" -#include "src/proof/fra/fra.h" -#include "src/sat/cnf/cnf.h" -#include "src/sat/bsat/satStore.h" +#include "proof/fra/fra.h" +#include "sat/cnf/cnf.h" +#include "sat/bsat/satStore.h" ABC_NAMESPACE_IMPL_START @@ -167,7 +167,7 @@ Aig_Man_t * Saig_ManFramesBmcLimit( Aig_Man_t * pAig, int nFrames, int nSizeMax ABC_NAMESPACE_IMPL_END -#include "src/misc/util/utilMem.h" +#include "misc/util/utilMem.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigBmc2.c b/src/aig/saig/saigBmc2.c index 8ff9a7a7..92e701a1 100644 --- a/src/aig/saig/saigBmc2.c +++ b/src/aig/saig/saigBmc2.c @@ -19,9 +19,9 @@ ***********************************************************************/ #include "saig.h" -#include "src/sat/cnf/cnf.h" -#include "src/sat/bsat/satStore.h" -#include "src/proof/ssw/ssw.h" +#include "sat/cnf/cnf.h" +#include "sat/bsat/satStore.h" +#include "proof/ssw/ssw.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigBmc3.c b/src/aig/saig/saigBmc3.c index 12e982cc..973112b2 100644 --- a/src/aig/saig/saigBmc3.c +++ b/src/aig/saig/saigBmc3.c @@ -19,9 +19,9 @@ ***********************************************************************/ #include "saig.h" -#include "src/proof/fra/fra.h" -#include "src/sat/cnf/cnf.h" -#include "src/sat/bsat/satStore.h" +#include "proof/fra/fra.h" +#include "sat/cnf/cnf.h" +#include "sat/bsat/satStore.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigCexMin.c b/src/aig/saig/saigCexMin.c index e50ba4c7..f0fca2c4 100644 --- a/src/aig/saig/saigCexMin.c +++ b/src/aig/saig/saigCexMin.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "saig.h" -#include "src/aig/ioa/ioa.h" +#include "aig/ioa/ioa.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigConstr.c b/src/aig/saig/saigConstr.c index 6b90f2c1..6c258505 100644 --- a/src/aig/saig/saigConstr.c +++ b/src/aig/saig/saigConstr.c @@ -19,10 +19,10 @@ ***********************************************************************/ #include "saig.h" -#include "src/sat/cnf/cnf.h" -#include "src/sat/bsat/satSolver.h" -#include "src/bool/kit/kit.h" -#include "src/aig/ioa/ioa.h" +#include "sat/cnf/cnf.h" +#include "sat/bsat/satSolver.h" +#include "bool/kit/kit.h" +#include "aig/ioa/ioa.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigConstr2.c b/src/aig/saig/saigConstr2.c index 85e79e3f..1d842b3c 100644 --- a/src/aig/saig/saigConstr2.c +++ b/src/aig/saig/saigConstr2.c @@ -19,10 +19,10 @@ ***********************************************************************/ #include "saig.h" -#include "src/sat/cnf/cnf.h" -#include "src/sat/bsat/satSolver.h" -#include "src/bool/kit/kit.h" -#include "src/misc/bar/bar.h" +#include "sat/cnf/cnf.h" +#include "sat/bsat/satSolver.h" +#include "bool/kit/kit.h" +#include "misc/bar/bar.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigGlaCba.c b/src/aig/saig/saigGlaCba.c index d39ff944..162795b0 100644 --- a/src/aig/saig/saigGlaCba.c +++ b/src/aig/saig/saigGlaCba.c @@ -19,8 +19,8 @@ ***********************************************************************/ #include "saig.h" -#include "src/sat/bsat/satSolver.h" -#include "src/sat/cnf/cnf.h" +#include "sat/bsat/satSolver.h" +#include "sat/cnf/cnf.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigGlaPba.c b/src/aig/saig/saigGlaPba.c index e039ed75..14f47c5c 100644 --- a/src/aig/saig/saigGlaPba.c +++ b/src/aig/saig/saigGlaPba.c @@ -19,8 +19,8 @@ ***********************************************************************/ #include "saig.h" -#include "src/sat/bsat/satSolver.h" -#include "src/sat/bsat/satStore.h" +#include "sat/bsat/satSolver.h" +#include "sat/bsat/satStore.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigGlaPba2.c b/src/aig/saig/saigGlaPba2.c index 42850e01..5e745f4c 100644 --- a/src/aig/saig/saigGlaPba2.c +++ b/src/aig/saig/saigGlaPba2.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "saig.h" -#include "src/sat/bsat/satSolver2.h" +#include "sat/bsat/satSolver2.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigHaig.c b/src/aig/saig/saigHaig.c index d06dc758..7cb34c5d 100644 --- a/src/aig/saig/saigHaig.c +++ b/src/aig/saig/saigHaig.c @@ -19,8 +19,8 @@ ***********************************************************************/ #include "saig.h" -#include "src/sat/bsat/satSolver.h" -#include "src/sat/cnf/cnf.h" +#include "sat/bsat/satSolver.h" +#include "sat/cnf/cnf.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigInd.c b/src/aig/saig/saigInd.c index 39ec734a..f9cccae8 100644 --- a/src/aig/saig/saigInd.c +++ b/src/aig/saig/saigInd.c @@ -19,8 +19,8 @@ ***********************************************************************/ #include "saig.h" -#include "src/sat/cnf/cnf.h" -#include "src/sat/bsat/satSolver.h" +#include "sat/cnf/cnf.h" +#include "sat/bsat/satSolver.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigIso.c b/src/aig/saig/saigIso.c index be97aa74..1c319af7 100644 --- a/src/aig/saig/saigIso.c +++ b/src/aig/saig/saigIso.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/aig/ioa/ioa.h" +#include "aig/ioa/ioa.h" #include "saig.h" ABC_NAMESPACE_IMPL_START @@ -575,7 +575,7 @@ Aig_Man_t * Saig_ManIsoReduce( Aig_Man_t * pAig, Vec_Ptr_t ** pvPosEquivs, int f } -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" /**Function************************************************************* diff --git a/src/aig/saig/saigMiter.c b/src/aig/saig/saigMiter.c index f3f6f279..8ebb81dd 100644 --- a/src/aig/saig/saigMiter.c +++ b/src/aig/saig/saigMiter.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "saig.h" -#include "src/proof/fra/fra.h" +#include "proof/fra/fra.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigOutDec.c b/src/aig/saig/saigOutDec.c index d059a935..13c4ad74 100644 --- a/src/aig/saig/saigOutDec.c +++ b/src/aig/saig/saigOutDec.c @@ -19,8 +19,8 @@ ***********************************************************************/ #include "saig.h" -#include "src/sat/cnf/cnf.h" -#include "src/sat/bsat/satSolver.h" +#include "sat/cnf/cnf.h" +#include "sat/bsat/satSolver.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigRefSat.c b/src/aig/saig/saigRefSat.c index d99320ce..fc03e182 100644 --- a/src/aig/saig/saigRefSat.c +++ b/src/aig/saig/saigRefSat.c @@ -19,8 +19,8 @@ ***********************************************************************/ #include "saig.h" -#include "src/sat/cnf/cnf.h" -#include "src/sat/bsat/satSolver.h" +#include "sat/cnf/cnf.h" +#include "sat/bsat/satSolver.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigRetMin.c b/src/aig/saig/saigRetMin.c index 161fce0a..ff3e45df 100644 --- a/src/aig/saig/saigRetMin.c +++ b/src/aig/saig/saigRetMin.c @@ -20,10 +20,10 @@ #include "saig.h" -#include "src/opt/nwk/nwk.h" -#include "src/sat/cnf/cnf.h" -#include "src/sat/bsat/satSolver.h" -#include "src/sat/bsat/satStore.h" +#include "opt/nwk/nwk.h" +#include "sat/cnf/cnf.h" +#include "sat/bsat/satSolver.h" +#include "sat/bsat/satStore.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigSimExt.c b/src/aig/saig/saigSimExt.c index 36f3d903..1a5ec7e5 100644 --- a/src/aig/saig/saigSimExt.c +++ b/src/aig/saig/saigSimExt.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "saig.h" -#include "src/proof/ssw/ssw.h" +#include "proof/ssw/ssw.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigSimExt2.c b/src/aig/saig/saigSimExt2.c index 335c4034..ca46c0b3 100644 --- a/src/aig/saig/saigSimExt2.c +++ b/src/aig/saig/saigSimExt2.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "saig.h" -#include "src/proof/ssw/ssw.h" +#include "proof/ssw/ssw.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigSimFast.c b/src/aig/saig/saigSimFast.c index e54e58ac..6b669eb9 100644 --- a/src/aig/saig/saigSimFast.c +++ b/src/aig/saig/saigSimFast.c @@ -20,7 +20,7 @@ #include "saig.h" -#include "src/base/main/main.h" +#include "base/main/main.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigSimSeq.c b/src/aig/saig/saigSimSeq.c index ee4085b1..f71b74cb 100644 --- a/src/aig/saig/saigSimSeq.c +++ b/src/aig/saig/saigSimSeq.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "saig.h" -#include "src/proof/ssw/ssw.h" +#include "proof/ssw/ssw.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigStrSim.c b/src/aig/saig/saigStrSim.c index 2feaba1b..85297abc 100644 --- a/src/aig/saig/saigStrSim.c +++ b/src/aig/saig/saigStrSim.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "saig.h" -#include "src/proof/ssw/ssw.h" +#include "proof/ssw/ssw.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigSwitch.c b/src/aig/saig/saigSwitch.c index 8f4f962f..b7e6ba8f 100644 --- a/src/aig/saig/saigSwitch.c +++ b/src/aig/saig/saigSwitch.c @@ -20,7 +20,7 @@ #include "saig.h" -#include "src/base/main/main.h" +#include "base/main/main.h" ABC_NAMESPACE_IMPL_START diff --git a/src/aig/saig/saigTrans.c b/src/aig/saig/saigTrans.c index 55c9772a..5e7b719b 100644 --- a/src/aig/saig/saigTrans.c +++ b/src/aig/saig/saigTrans.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "saig.h" -#include "src/proof/fra/fra.h" +#include "proof/fra/fra.h" ABC_NAMESPACE_IMPL_START |