Moving Vec_Set_t to the vector directory.

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

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
 

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 <assert.h>
 
 #include "satVec.h"
-#include "vecSet.h"
+#include "src/misc/vec/vecSet.h"
 
 ABC_NAMESPACE_HEADER_START
 

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 <assert.h>
 
 #include "satVec.h"
-#include "vecSet.h"
+#include "src/misc/vec/vecSet.h"
 
 ABC_NAMESPACE_HEADER_START
 

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