dep-selector-libgecode 1.0.0.alpha.0

data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/configure.ac

@@ -0,0 +1,44 @@
+dnl
+dnl Author:
+dnl   Jeremie Vautard
+dnl
+dnl Copyright:
+dnl   UniversitŽ d'Orleans, 2005
+dnl
+dnl Largely inspired from the map configure.ac file by GrŽgoire Dooms
+dnl ***********************************************************[configure.ac]
+dnl Copyright (c) 2007, Universite d'Orleans - Jeremie Vautard.
+dnl
+dnl Permission is hereby granted, free of charge, to any person obtaining a copy
+dnl of this software and associated documentation files (the "Software"), to deal
+dnl in the Software without restriction, including without limitation the rights
+dnl to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+dnl copies of the Software, and to permit persons to whom the Software is
+dnl furnished to do so, subject to the following conditions:
+dnl 
+dnl The above copyright notice and this permission notice shall be included in
+dnl all copies or substantial portions of the Software.
+dnl 
+dnl THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+dnl IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+dnl FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+dnl AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+dnl LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+dnl OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+dnl THE SOFTWARE.
+dnl *************************************************************************
+
+
+AC_REVISION([$Revision$])
+AC_PREREQ(2.53)
+AC_INIT(QECODE, 1.2, jeremie.vautard@univ-orleans.fr)
+AC_CONFIG_SRCDIR(qecode.hh)
+
+dnl the names of the generated dlls
+AC_SUBST(QECODE,     "qecode")
+
+../../config.status --file Makefile.in:Makefile.in.in
+
+AC_CONFIG_COMMANDS([Makefile.in]) 
+AC_CONFIG_FILES([Makefile])
+AC_OUTPUT

data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/myDom.cc

@@ -0,0 +1,59 @@
+/*****************************************************************[myDom.cc]
+Copyright (c) 2007, Universite d'Orleans - Jeremie Vautard.
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.
+*****************************************************************************/
+#ifndef QECODE_MYDOM
+#define QECODE_MYDOM
+#include "gecode/minimodel.hh"
+using namespace Gecode;
+using namespace Gecode::Int;
+using namespace std;
+
+void myAntidom_int(Space* home, IntVar x, const IntSet& is, IntConLevel) {
+    if (home->failed()) return;
+    IntView xv(x);
+    IntSetRanges ris(is);
+    GECODE_ME_FAIL(home,xv.minus_r(home,ris));
+}
+
+void myAntidom_bool(Space* home, BoolVar x, const IntSet& is, IntConLevel) {
+    if (home->failed()) return;
+    BoolView xv(x);
+    IntSetRanges ris(is);
+    GECODE_ME_FAIL(home,xv.minus_r(home,ris));
+}
+
+/*
+void myDom_int(Space* home, IntVar x, const IntSet& is, IntConLevel) {
+    if (home->failed()) return;
+    IntView xv(x);
+    IntSetRanges ris(is);
+    GECODE_ME_FAIL(home,xv.inter_r(home,ris));
+}
+
+void myDom_bool(Space* home, BoolVar x, const IntSet& is, IntConLevel) {
+    if (home->failed()) return;
+    BoolView xv(x);
+    IntSetRanges ris(is);
+    GECODE_ME_FAIL(home,xv.inter_r(home,ris));
+}
+*/
+
+#endif

data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/myspace.cc

@@ -0,0 +1,119 @@
+/*****************************************************************[myspace.cc]
+Copyright (c) 2007, Universite d'Orleans - Jeremie Vautard, Marco Benedetti,
+Arnaud Lallouet.
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.
+*****************************************************************************/
+#include "./myspace.hh"
+#include <iostream>
+
+
+using namespace std;
+
+MySpace::MySpace(unsigned int nv) : Space() {
+  //  cout <<"Space with "<<nv<<" variables"<<endl;
+    n=nv;
+    v=new void*[nv];
+    type_of_v=new VarType[nv];
+}
+
+
+MySpace::~MySpace() {
+    for (int i=0;i<n;i++)
+        switch (type_of_v[i]) {
+            case VTYPE_INT : 
+                delete static_cast<IntVar*>(v[i]);
+                break;
+            case VTYPE_BOOL : 
+                delete static_cast<BoolVar*>(v[i]);
+                break;
+            default :
+                cout<<"Unsupported variable type"<<endl;
+                abort();
+        }
+    
+    delete[] v;
+    delete[] type_of_v;
+}
+
+
+MySpace::MySpace(bool share,MySpace& ms) : Space(share,ms) {
+  n=ms.n;
+    v=new void*[n];
+    type_of_v=new VarType[n];
+    for (int i=0;i<n;i++) {
+        type_of_v[i] = ms.type_of_v[i];
+        switch (type_of_v[i]) {
+            case VTYPE_INT :
+                v[i] = new IntVar(*(static_cast<IntVar*>(ms.v[i])));
+                (static_cast<IntVar*>(v[i]))->update(*this,share,*(static_cast<IntVar*>(ms.v[i])));
+                break;
+            case VTYPE_BOOL :
+                v[i] = new BoolVar(*(static_cast<BoolVar*>(ms.v[i])));
+                (static_cast<BoolVar*>(v[i]))->update(*this,share,*(static_cast<BoolVar*>(ms.v[i])));
+                break;
+            default:
+                cout<<"Unsupported variable type"<<endl;
+                abort();
+        }
+    }
+}
+
+
+MySpace* MySpace::copy(bool share) {return new MySpace(share,*this);}
+
+IntVarArgs MySpace::getIntVars(unsigned int idMax) {
+    int cpt=0;
+    int i=0;
+    if (n<idMax) idMax=n;
+    
+    for (int i=0;i<idMax;i++) {
+        if (type_of_v[i]==VTYPE_INT) cpt++;
+    }
+    IntVarArgs ret(cpt);
+    cpt=0;
+    for (i=0;i<idMax;i++) {
+        if (type_of_v[i]==VTYPE_INT) {
+            ret[cpt]=*(static_cast<IntVar*>(v[i]));
+            cpt++;
+        }
+    }
+    
+    return ret;
+}
+
+BoolVarArgs MySpace::getBoolVars(unsigned int idMax) {
+    int cpt=0;
+    int i=0;
+    if (n<idMax) idMax=n;
+    
+    for (int i=0;i<idMax;i++) {
+        if (type_of_v[i]==VTYPE_BOOL) cpt++;
+    }
+    BoolVarArgs ret(cpt);
+    cpt=0;
+    for (i=0;i<idMax;i++) {
+        if (type_of_v[i]==VTYPE_BOOL) {
+            ret[cpt]=*(static_cast<BoolVar*>(v[i]));
+            cpt++;
+        }
+    }
+    
+    return ret;
+}

data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/myspace.hh

@@ -0,0 +1,79 @@
+/*****************************************************************[myspace.hh]
+ Copyright (c) 2007, Universite d'Orleans - Jeremie Vautard, Marco Benedetti,
+ Arnaud Lallouet.
+ 
+ Permission is hereby granted, free of charge, to any person obtaining a copy
+ of this software and associated documentation files (the "Software"), to deal
+ in the Software without restriction, including without limitation the rights
+ to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ copies of the Software, and to permit persons to whom the Software is
+ furnished to do so, subject to the following conditions:
+ 
+ The above copyright notice and this permission notice shall be included in
+ all copies or substantial portions of the Software.
+ 
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+ THE SOFTWARE.
+ *****************************************************************************/
+#ifndef __QECODE_MYSPACE__
+#define __QECODE_MYSPACE__
+
+#include "qecode.hh"
+#include <vector>
+#include "gecode/minimodel.hh"
+#include "vartype.hh"
+
+using namespace Gecode;
+using namespace Gecode::Int;
+
+/** \brief A simple extension of Gecode::Space class
+ *
+ *  A simple extension of the Space class from Gecode, in order to have access to the variables it contains.
+ */
+
+class QECODE_VTABLE_EXPORT MySpace : public Space {
+	
+	protected :
+	unsigned int n;
+	
+public:
+	/** \brief This array contains all the variables this space contains.
+	 */
+	void** v;
+	
+	/** \brief This array indicates the type of each variable
+	 */
+	VarType* type_of_v;
+	
+	/** \brief Constructor of a space with a fixed number of variables
+	 *
+	 * Builds a space which will contain  nv variables (the variables themselves are however not declared).
+	 *  @param nv the number of variable the space must contain.
+	 */
+	QECODE_EXPORT MySpace(unsigned int nv);
+	QECODE_EXPORT int nbVars() {return n;}
+	QECODE_EXPORT MySpace(bool share,MySpace& ms);
+	QECODE_EXPORT virtual MySpace* copy(bool share);
+	QECODE_EXPORT virtual ~MySpace();
+	QECODE_EXPORT int getValue(unsigned int i); ///< returns the value of variable i. If boolean : 0 or 1 (false / true).
+	
+	/** \brief Returns the integer variables before idMax
+	 *
+	 * Returns an IntVarArgs containing all the integer variables of index inferior than parameter idMax
+	 */
+	QECODE_EXPORT IntVarArgs getIntVars(unsigned int idMax);
+	
+	/** \brief Returns the boolean variables before idMax
+	 *
+	 * Returns a BoolVarArgs containing all the boolean variables of index inferior than parameter idMax
+	 */
+	QECODE_EXPORT BoolVarArgs getBoolVars(unsigned int idMax);
+	
+};
+
+#endif

data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qecode.hh

@@ -0,0 +1,56 @@
+/****   , [ qecode.hh ], 
+Copyright (c) 2007 Universite d'Orleans - Jeremie Vautard 
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.
+ *************************************************************************/
+
+#ifndef __QECODE_HH__
+#define __QECODE_HH__
+
+#include "gecode/kernel.hh"
+
+#if !defined(GECODE_STATIC_LIBS) && \
+(defined(__CYGWIN__) || defined(__MINGW32__) || defined(_MSC_VER))
+
+#define QECODE_VTABLE_EXPORT
+
+#ifdef GECODE_BUILD_QECODE
+#define QECODE_EXPORT __declspec( dllexport )
+#else
+#define QECODE_EXPORT __declspec( dllimport )
+#endif
+
+#else
+
+#ifdef GECODE_GCC_HAS_CLASS_VISIBILITY
+
+#define QECODE_VTABLE_EXPORT __attribute__ ((visibility("default")))
+#define QECODE_EXPORT __attribute__ ((visibility("default")))
+
+#else
+#define QECODE_VTABLE_EXPORT
+#define QECODE_EXPORT
+
+#endif
+#endif
+
+#define QECODE_EXISTENTIAL false
+#define QECODE_UNIVERSAL true
+
+#endif

data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_parallel.cc

@@ -0,0 +1,41 @@
+/************************************************************ qsolver_parallel.cc
+ Copyright (c) 2010 Universite d'Orleans - Jeremie Vautard 
+ 
+ Permission is hereby granted, free of charge, to any person obtaining a copy
+ of this software and associated documentation files (the "Software"), to deal
+ in the Software without restriction, including without limitation the rights
+ to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ copies of the Software, and to permit persons to whom the Software is
+ furnished to do so, subject to the following conditions:
+ 
+ The above copyright notice and this permission notice shall be included in
+ all copies or substantial portions of the Software.
+ 
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+ THE SOFTWARE.
+ *************************************************************************/
+
+#include "qsolver_parallel.hh"
+
+QCSP_Parallel_Solver::QCSP_Parallel_Solver(Qcop* sp,WorkComparator* c,unsigned int nbWorkers) : wm(sp,c) {
+	workers = new QWorker*[nbWorkers];
+	nw = nbWorkers;
+	for (unsigned int i=0;i<nbWorkers;i++) 
+	  workers[i] = new QWorker(&wm);
+}
+
+Strategy QCSP_Parallel_Solver::solve() {
+  for (unsigned int i=0;i<nw;i++) {
+		Thread::run(workers[i]);
+		//		Thread::sleep(200);
+	}
+	while (!wm.isFinished()) {
+		Thread::sleep(1000);
+	}
+	return wm.getResult();
+}

data/ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_parallel.hh

@@ -0,0 +1,43 @@
+/************************************************************ qsolver_parallel.hh
+ Copyright (c) 2010 Universite d'Orleans - Jeremie Vautard 
+ 
+ Permission is hereby granted, free of charge, to any person obtaining a copy
+ of this software and associated documentation files (the "Software"), to deal
+ in the Software without restriction, including without limitation the rights
+ to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ copies of the Software, and to permit persons to whom the Software is
+ furnished to do so, subject to the following conditions:
+ 
+ The above copyright notice and this permission notice shall be included in
+ all copies or substantial portions of the Software.
+ 
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+ THE SOFTWARE.
+ *************************************************************************/
+
+#include "QCOPPlus.hh"
+#include "WorkManager.hh"
+#include "Worker.hh"
+#include <iostream>
+#include <cstdlib>
+#include "Strategy.hh"
+#include "qecode.hh"
+
+
+class QECODE_VTABLE_EXPORT QCSP_Parallel_Solver {
+	
+	private : 
+	WorkManager wm;
+	QWorker** workers;
+	unsigned int nw;
+	
+	public :
+	
+	QECODE_EXPORT QCSP_Parallel_Solver(Qcop* sp,WorkComparator* c,unsigned int nbWorkers);
+	QECODE_EXPORT Strategy solve();
+};