From 265e3e5cd4781aca3dad54985afc651172f9d735 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 28 Mar 2012 10:13:42 -0700 Subject: [PATCH] Moving Vec_Set_t to the vector directory. --- abclib.dsp | 8 ++++---- src/{sat/bsat => misc/vec}/vecSet.h | 0 src/sat/bsat/satProof.c | 2 +- src/sat/bsat/satSolver.h | 2 +- src/sat/bsat/satSolver2.h | 2 +- src/sat/bsat/satTruth.c | 2 +- 6 files changed, 8 insertions(+), 8 deletions(-) rename src/{sat/bsat => misc/vec}/vecSet.h (100%) diff --git a/abclib.dsp b/abclib.dsp index 59a73aff4..871580252 100644 --- a/abclib.dsp +++ b/abclib.dsp @@ -1265,10 +1265,6 @@ SOURCE=.\src\sat\bsat\satUtil.c SOURCE=.\src\sat\bsat\satVec.h # End Source File -# Begin Source File - -SOURCE=.\src\sat\bsat\vecSet.h -# End Source File # End Group # Begin Group "proof" @@ -2535,6 +2531,10 @@ SOURCE=.\src\misc\vec\vecPtr.h # End Source File # Begin Source File +SOURCE=.\src\misc\vec\vecSet.h +# End Source File +# Begin Source File + SOURCE=.\src\misc\vec\vecStr.h # End Source File # Begin Source File diff --git a/src/sat/bsat/vecSet.h b/src/misc/vec/vecSet.h similarity index 100% rename from src/sat/bsat/vecSet.h rename to src/misc/vec/vecSet.h diff --git a/src/sat/bsat/satProof.c b/src/sat/bsat/satProof.c index 8fbac191b..f56c20cc9 100644 --- a/src/sat/bsat/satProof.c +++ b/src/sat/bsat/satProof.c @@ -20,9 +20,9 @@ #include "satSolver2.h" #include "src/misc/vec/vec.h" +#include "src/misc/vec/vecSet.h" #include "src/aig/aig/aig.h" #include "satTruth.h" -#include "vecSet.h" ABC_NAMESPACE_IMPL_START diff --git a/src/sat/bsat/satSolver.h b/src/sat/bsat/satSolver.h index de1022274..25b756efc 100644 --- a/src/sat/bsat/satSolver.h +++ b/src/sat/bsat/satSolver.h @@ -29,7 +29,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #include #include "satVec.h" -#include "vecSet.h" +#include "src/misc/vec/vecSet.h" ABC_NAMESPACE_HEADER_START diff --git a/src/sat/bsat/satSolver2.h b/src/sat/bsat/satSolver2.h index ffbae964c..07a03c9fb 100644 --- a/src/sat/bsat/satSolver2.h +++ b/src/sat/bsat/satSolver2.h @@ -29,7 +29,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #include #include "satVec.h" -#include "vecSet.h" +#include "src/misc/vec/vecSet.h" ABC_NAMESPACE_HEADER_START diff --git a/src/sat/bsat/satTruth.c b/src/sat/bsat/satTruth.c index dabb404f8..b2e7dda9e 100644 --- a/src/sat/bsat/satTruth.c +++ b/src/sat/bsat/satTruth.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "satTruth.h" -#include "vecSet.h" +#include "src/misc/vec/vecSet.h" ABC_NAMESPACE_IMPL_START