diff options
-rw-r--r-- | abclib.dsp | 8 | ||||
-rw-r--r-- | src/misc/vec/vecSet.h (renamed from src/sat/bsat/vecSet.h) | 0 | ||||
-rw-r--r-- | src/sat/bsat/satProof.c | 2 | ||||
-rw-r--r-- | src/sat/bsat/satSolver.h | 2 | ||||
-rw-r--r-- | src/sat/bsat/satSolver2.h | 2 | ||||
-rw-r--r-- | src/sat/bsat/satTruth.c | 2 |
6 files changed, 8 insertions, 8 deletions
@@ -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 index d508bf2f..d508bf2f 100644 --- a/src/sat/bsat/vecSet.h +++ b/src/misc/vec/vecSet.h diff --git a/src/sat/bsat/satProof.c b/src/sat/bsat/satProof.c index 8fbac191..f56c20cc 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 de102227..25b756ef 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 <assert.h> #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 ffbae964..07a03c9f 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 <assert.h> #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 dabb404f..b2e7dda9 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 |