gecoder-with-gecode 0.7.1 → 0.8.0

data/ext/gecode-2.1.1/contribs/qecode/Doxyfile

@@ -0,0 +1,263 @@
+# Doxyfile 1.5.2
+
+#---------------------------------------------------------------------------
+# Project related configuration options
+#---------------------------------------------------------------------------
+DOXYFILE_ENCODING      = UTF-8
+PROJECT_NAME           = qecode
+PROJECT_NUMBER         = 1.2
+OUTPUT_DIRECTORY       = ./doc
+CREATE_SUBDIRS         = NO
+OUTPUT_LANGUAGE        = English
+BRIEF_MEMBER_DESC      = YES
+REPEAT_BRIEF           = YES
+ABBREVIATE_BRIEF       = "The $name class" \
+                         "The $name widget" \
+                         "The $name file" \
+                         is \
+                         provides \
+                         specifies \
+                         contains \
+                         represents \
+                         a \
+                         an \
+                         the
+ALWAYS_DETAILED_SEC    = NO
+INLINE_INHERITED_MEMB  = NO
+FULL_PATH_NAMES        = YES
+STRIP_FROM_PATH        = /Applications/
+STRIP_FROM_INC_PATH    = 
+SHORT_NAMES            = NO
+JAVADOC_AUTOBRIEF      = NO
+MULTILINE_CPP_IS_BRIEF = NO
+DETAILS_AT_TOP         = NO
+INHERIT_DOCS           = YES
+SEPARATE_MEMBER_PAGES  = NO
+TAB_SIZE               = 9
+ALIASES                = 
+OPTIMIZE_OUTPUT_FOR_C  = NO
+OPTIMIZE_OUTPUT_JAVA   = NO
+BUILTIN_STL_SUPPORT    = NO
+CPP_CLI_SUPPORT        = NO
+DISTRIBUTE_GROUP_DOC   = NO
+SUBGROUPING            = YES
+#---------------------------------------------------------------------------
+# Build related configuration options
+#---------------------------------------------------------------------------
+EXTRACT_ALL            = YES
+EXTRACT_PRIVATE        = YES
+EXTRACT_STATIC         = YES
+EXTRACT_LOCAL_CLASSES  = YES
+EXTRACT_LOCAL_METHODS  = NO
+HIDE_UNDOC_MEMBERS     = NO
+HIDE_UNDOC_CLASSES     = NO
+HIDE_FRIEND_COMPOUNDS  = NO
+HIDE_IN_BODY_DOCS      = NO
+INTERNAL_DOCS          = NO
+CASE_SENSE_NAMES       = NO
+HIDE_SCOPE_NAMES       = NO
+SHOW_INCLUDE_FILES     = YES
+INLINE_INFO            = YES
+SORT_MEMBER_DOCS       = YES
+SORT_BRIEF_DOCS        = NO
+SORT_BY_SCOPE_NAME     = NO
+GENERATE_TODOLIST      = YES
+GENERATE_TESTLIST      = YES
+GENERATE_BUGLIST       = YES
+GENERATE_DEPRECATEDLIST= YES
+ENABLED_SECTIONS       = 
+MAX_INITIALIZER_LINES  = 30
+SHOW_USED_FILES        = YES
+SHOW_DIRECTORIES       = NO
+FILE_VERSION_FILTER    = 
+#---------------------------------------------------------------------------
+# configuration options related to warning and progress messages
+#---------------------------------------------------------------------------
+QUIET                  = NO
+WARNINGS               = YES
+WARN_IF_UNDOCUMENTED   = YES
+WARN_IF_DOC_ERROR      = YES
+WARN_NO_PARAMDOC       = NO
+WARN_FORMAT            = "$file:$line: $text"
+WARN_LOGFILE           = 
+#---------------------------------------------------------------------------
+# configuration options related to the input files
+#---------------------------------------------------------------------------
+INPUT                  = .
+INPUT_ENCODING         = UTF-8
+FILE_PATTERNS          = *.c \
+                         *.cc \
+                         *.cxx \
+                         *.cpp \
+                         *.c++ \
+                         *.d \
+                         *.java \
+                         *.ii \
+                         *.ixx \
+                         *.ipp \
+                         *.i++ \
+                         *.inl \
+                         *.h \
+                         *.hh \
+                         *.hxx \
+                         *.hpp \
+                         *.h++ \
+                         *.idl \
+                         *.odl \
+                         *.cs \
+                         *.php \
+                         *.php3 \
+                         *.inc \
+                         *.m \
+                         *.mm \
+                         *.dox \
+                         *.py
+RECURSIVE              = YES
+EXCLUDE                = 
+EXCLUDE_SYMLINKS       = NO
+EXCLUDE_PATTERNS       = 
+EXCLUDE_SYMBOLS        = 
+EXAMPLE_PATH           = 
+EXAMPLE_PATTERNS       = *
+EXAMPLE_RECURSIVE      = NO
+IMAGE_PATH             = 
+INPUT_FILTER           = 
+FILTER_PATTERNS        = 
+FILTER_SOURCE_FILES    = NO
+#---------------------------------------------------------------------------
+# configuration options related to source browsing
+#---------------------------------------------------------------------------
+SOURCE_BROWSER         = YES
+INLINE_SOURCES         = NO
+STRIP_CODE_COMMENTS    = YES
+REFERENCED_BY_RELATION = YES
+REFERENCES_RELATION    = YES
+REFERENCES_LINK_SOURCE = YES
+USE_HTAGS              = NO
+VERBATIM_HEADERS       = YES
+#---------------------------------------------------------------------------
+# configuration options related to the alphabetical class index
+#---------------------------------------------------------------------------
+ALPHABETICAL_INDEX     = YES
+COLS_IN_ALPHA_INDEX    = 5
+IGNORE_PREFIX          = 
+#---------------------------------------------------------------------------
+# configuration options related to the HTML output
+#---------------------------------------------------------------------------
+GENERATE_HTML          = YES
+HTML_OUTPUT            = html
+HTML_FILE_EXTENSION    = .html
+HTML_HEADER            = 
+HTML_FOOTER            = 
+HTML_STYLESHEET        = 
+HTML_ALIGN_MEMBERS     = YES
+GENERATE_HTMLHELP      = NO
+CHM_FILE               = 
+HHC_LOCATION           = 
+GENERATE_CHI           = NO
+BINARY_TOC             = NO
+TOC_EXPAND             = NO
+DISABLE_INDEX          = NO
+ENUM_VALUES_PER_LINE   = 4
+GENERATE_TREEVIEW      = NO
+TREEVIEW_WIDTH         = 250
+#---------------------------------------------------------------------------
+# configuration options related to the LaTeX output
+#---------------------------------------------------------------------------
+GENERATE_LATEX         = NO
+LATEX_OUTPUT           = latex
+LATEX_CMD_NAME         = latex
+MAKEINDEX_CMD_NAME     = makeindex
+COMPACT_LATEX          = NO
+PAPER_TYPE             = a4wide
+EXTRA_PACKAGES         = 
+LATEX_HEADER           = 
+PDF_HYPERLINKS         = NO
+USE_PDFLATEX           = NO
+LATEX_BATCHMODE        = NO
+LATEX_HIDE_INDICES     = NO
+#---------------------------------------------------------------------------
+# configuration options related to the RTF output
+#---------------------------------------------------------------------------
+GENERATE_RTF           = NO
+RTF_OUTPUT             = rtf
+COMPACT_RTF            = NO
+RTF_HYPERLINKS         = NO
+RTF_STYLESHEET_FILE    = 
+RTF_EXTENSIONS_FILE    = 
+#---------------------------------------------------------------------------
+# configuration options related to the man page output
+#---------------------------------------------------------------------------
+GENERATE_MAN           = NO
+MAN_OUTPUT             = man
+MAN_EXTENSION          = .3
+MAN_LINKS              = NO
+#---------------------------------------------------------------------------
+# configuration options related to the XML output
+#---------------------------------------------------------------------------
+GENERATE_XML           = NO
+XML_OUTPUT             = xml
+XML_SCHEMA             = 
+XML_DTD                = 
+XML_PROGRAMLISTING     = YES
+#---------------------------------------------------------------------------
+# configuration options for the AutoGen Definitions output
+#---------------------------------------------------------------------------
+GENERATE_AUTOGEN_DEF   = NO
+#---------------------------------------------------------------------------
+# configuration options related to the Perl module output
+#---------------------------------------------------------------------------
+GENERATE_PERLMOD       = NO
+PERLMOD_LATEX          = NO
+PERLMOD_PRETTY         = YES
+PERLMOD_MAKEVAR_PREFIX = 
+#---------------------------------------------------------------------------
+# Configuration options related to the preprocessor   
+#---------------------------------------------------------------------------
+ENABLE_PREPROCESSING   = YES
+MACRO_EXPANSION        = NO
+EXPAND_ONLY_PREDEF     = NO
+SEARCH_INCLUDES        = YES
+INCLUDE_PATH           = 
+INCLUDE_FILE_PATTERNS  = 
+PREDEFINED             = 
+EXPAND_AS_DEFINED      = 
+SKIP_FUNCTION_MACROS   = YES
+#---------------------------------------------------------------------------
+# Configuration::additions related to external references   
+#---------------------------------------------------------------------------
+TAGFILES               = 
+GENERATE_TAGFILE       = 
+ALLEXTERNALS           = NO
+EXTERNAL_GROUPS        = YES
+PERL_PATH              = /usr/bin/perl
+#---------------------------------------------------------------------------
+# Configuration options related to the dot tool   
+#---------------------------------------------------------------------------
+CLASS_DIAGRAMS         = NO
+MSCGEN_PATH            = /Applications/Doxygen.app/Contents/Resources/
+HIDE_UNDOC_RELATIONS   = YES
+HAVE_DOT               = YES
+CLASS_GRAPH            = YES
+COLLABORATION_GRAPH    = YES
+GROUP_GRAPHS           = YES
+UML_LOOK               = NO
+TEMPLATE_RELATIONS     = NO
+INCLUDE_GRAPH          = YES
+INCLUDED_BY_GRAPH      = YES
+CALL_GRAPH             = NO
+CALLER_GRAPH           = NO
+GRAPHICAL_HIERARCHY    = YES
+DIRECTORY_GRAPH        = YES
+DOT_IMAGE_FORMAT       = png
+DOT_PATH               = /Applications/Doxygen.app/Contents/Resources/
+DOTFILE_DIRS           = 
+DOT_GRAPH_MAX_NODES    = 50
+DOT_TRANSPARENT        = NO
+DOT_MULTI_TARGETS      = NO
+GENERATE_LEGEND        = YES
+DOT_CLEANUP            = YES
+#---------------------------------------------------------------------------
+# Configuration::additions related to the search engine   
+#---------------------------------------------------------------------------
+SEARCHENGINE           = NO

data/ext/gecode-2.1.1/contribs/qecode/FirstFailValueHeuristic.cc

@@ -0,0 +1,82 @@
+/*********************************************************[firstfailvalueheuristic.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 "FirstFailValueHeuristic.hh"
+
+int** FirstFailValue::subSet(Implicative* home,int var,int* nbRanges) {
+    switch (home->type_of_v[var]) {
+        case VTYPE_INT : {
+            IntVar* curVar = getIntVar(home,whichSpaceOwns(home,var),var);
+            for (int scope=whichSpaceOwns(home,var)+1;scope<nbSpaces(home);scope++) {
+                if (!scopeDefined(home,scope)) {
+                    int zeValue = getIntVar(home,whichSpaceOwns(home,var),var)->min();
+                    *nbRanges = 1;
+                    int** ret = new int*[2];
+                    ret[0]=new int[1];
+                    ret[1]=new int[1];
+                    ret[0][0]=zeValue;
+                    ret[1][0]=zeValue;
+                    return ret;
+                }
+                
+                IntVarValues it(*curVar);
+                for (;it();++it) {
+                    int val = it.val();
+                    if (!getIntVar(home,scope,var)->in(val)) {
+                        int zeValue = val;
+                        *nbRanges = 1;
+                        int** ret = new int*[2];
+                        ret[0]=new int[1];
+                        ret[1]=new int[1];
+                        ret[0][0]=zeValue;
+                        ret[1][0]=zeValue;
+                        return ret;
+                    }
+                }
+            }
+            
+            int zeValue = getIntVar(home,whichSpaceOwns(home,var),var)->min();
+            *nbRanges = 1;
+            int** ret = new int*[2];
+            ret[0]=new int[1];
+            ret[1]=new int[1];
+            ret[0][0]=zeValue;
+            ret[1][0]=zeValue;
+            return ret;
+        }
+            break;
+        case VTYPE_BOOL: {
+            int zeValue = getBoolVar(home,whichSpaceOwns(home,var),var)->min();
+            *nbRanges = 1;
+            int** ret = new int*[2];
+            ret[0]=new int[1];
+            ret[1]=new int[1];
+            ret[0][0]=zeValue;
+            ret[1][0]=zeValue;
+            return ret;
+        }
+    break;
+            
+    }
+}
+

data/ext/gecode-2.1.1/contribs/qecode/FirstFailValueHeuristic.hh

@@ -0,0 +1,37 @@
+/*********************************************************[firstfailvalueheuristic.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_FIRSTFAILVAL
+#define QECODE_FIRSTFAILVAL
+#include "qecode.hh"
+#include "valueHeuristic.hh"
+
+
+class QECODE_VTABLE_EXPORT FirstFailValue : public valueHeuristic {
+public:
+    QECODE_EXPORT virtual int** subSet(Implicative* home,int var,int* nbRanges);
+    QECODE_EXPORT virtual ~FirstFailValue() {}
+};
+
+#endif

data/ext/gecode-2.1.1/contribs/qecode/Makefile.in.in

@@ -0,0 +1,162 @@
+# Qecode Makefile
+# Largely inspired from the map makefile by Gregoire Dooms
+#
+# Jeremie Vautard, Universite d'Orleans
+
+#
+gecode_top_srcdir = ../../$(top_srcdir)
+gecode_top_builddir = ../..
+
+qecode_top_srcdir = $(gecode_top_srcdir)/contribs/qecode
+qecode_top_builddir = .
+
+KERNELDLL := $(KERNELDLL:%=../../%)
+INTDLL := $(INTDLL:%=../../%)
+MMDLL := $(MMDLL:%=../../%)
+SUPPORTDLL := $(SUPPORTDLL:%=../../%)
+SUPPORTOBJ := $(SUPPORTOBJ:%=../../%)
+
+
+ifeq "$(LIBPREFIX)" "$(LINKPREFIX)"
+LINKSET:=../../$(LINKSET)
+LINKSUPPORT:=../../$(LINKSUPPORT)
+LINKKERNEL:=../../$(LINKKERNEL)
+LINKINT:=../../$(LINKINT)
+LINKMM:=../../$(LINKMM)
+LINKSEARCH:=../../$(LINKSEARCH)
+LINKALL := $(LINKMM) $(LINKSET) $(LINKINT) $(LINKSEARCH) $(LINKKERNEL)
+else
+EXTRALINKFLAGS := -L../..
+endif
+
+#
+# QECODE COMPONENTS
+#
+
+QECODESRC0 = implicative.cc warner.cc extensivecomparator.cc NaiveValueHeuristics.cc qecore.cc qsolver.cc SDFVariableHeuristic.cc FirstFailValueHeuristic.cc myspace.cc
+QECODEHDR0 = 
+
+
+QECODESRC	= $(QECODESRC0)
+QECODEHDR	= qecode.hh $(QECODEHDR0)
+QECODEOBJ	= $(QECODESRC:%.cc=%$(OBJSUFFIX))
+QECODEFLAGS	= \
+	-I$(gecode_top_srcdir) -I$(gecode_top_builddir) \
+	-I$(qecode_top_srcdir) -I$(qecode_top_builddir) \
+	-L$(gecode_top_builddir) -L$(qecode_top_builddir)
+QECODEDLL	= $(LIBPREFIX)@QECODE@$(DLLSUFFIX)
+QECODESTATICLIB	= $(LIBPREFIX)@QECODE@$(STATICLIBSUFFIX)
+QECODELIB	= $(LIBPREFIX)@QECODE@$(LIBSUFFIX)
+LINKQECODE	= $(LINKPREFIX)@QECODE@$(LINKSUFFIX)
+
+LINKALL := $(LINKALL) $(LINKQECODE)
+
+ALLLIB :=  $(ALLLIB) $(QECODELIB) 
+
+
+ifeq "@BUILDDLL@" "yes"
+DLLTARGETS = $(QECODEDLL)
+else
+DLTARGETS= 
+endif
+
+ifeq "@BUILDSTATIC@" "yes"
+STATICTARGETS = \
+	$(QECODESTATICLIB)
+else
+STATICTARGETS=
+endif
+
+LIBTARGETS= $(DLLTARGETS) $(STATICTARGETS)
+
+
+all : $(LIBTARGETS) 
+
+#
+# Object targets
+#
+
+%$(OBJSUFFIX): $(qecode_top_srcdir)/%.cc
+	$(CXX) $(CXXFLAGS)  $(QECODEFLAGS) \
+	@COMPILEOBJ@$@ @CXXIN@ $<
+%$(SBJSUFFIX): $(qecode_top_srcdir)/%.cc
+	$(CXX) $(CXXFLAGS)   $(QECODEFLAGS) \
+	@COMPILESBJ@$@ @CXXIN@ $<
+
+
+
+
+#
+# DLL Targets
+#
+
+ifeq "$(DLLSUFFIX)" "$(LIBSUFFIX)"
+#linux
+$(QECODEDLL): $(QECODEOBJ) $(KERNELDLL) $(INTDLL) $(SUPPORTDLL) $(MMDLL)
+	$(CXX) $(DLLFLAGS) $(QECODEOBJ)  $(QECODEFLAGS) \
+		@DLLPATH@ $(LINKKERNEL) $(LINKINT) $(LINKMM) $(LINKSUPPORT) \
+		@LINKOUTPUT@$(QECODEDLL)
+	$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX))
+	$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
+else
+#win
+$(QECODEDLL) $(QECODELIB): $(QECODEOBJ) $(KERNELDLL) $(INTDLL) $(SUPPORTDLL) $(MMDLL)
+	$(CXX) $(DLLFLAGS) $(QECODEOBJ)  $(QECODEFLAGS)\
+		@DLLPATH@ $(LINKKERNEL) $(LINKINT) $(LINKMM) $(LINKSUPPORT)  \
+		@LINKOUTPUT@$(QECODEDLL)
+endif
+
+
+#
+# Static libraries
+#
+
+$(QECODESTATICLIB): $(QECODEOBJ)
+	$(AR) $(ARFLAGS) $@ $(QECODEOBJ)
+	$(RANLIB) $@
+
+# 
+# EXE targets
+#
+#
+
+
+#for linux: ?
+CXXFLAGS := $(CXXFLAGS) $(QECODEFLAGS) 
+
+#
+# Autoconf
+#
+
+$(qecode_top_srcdir)/configure: $(qecode_top_srcdir)/configure.ac 
+	(cd $(qecode_top_srcdir) && autoconf)
+config.status: $(qecode_top_srcdir)/configure
+	../../config.status --recheck
+	./config.status --recheck
+# use the sustitutions from gecode to generate the Makefile.in
+Makefile.in: $(qecode_top_srcdir)/Makefile.in.in ../../config.status 
+	../../config.status \
+	  --file Makefile.in:$(qecode_top_srcdir)/Makefile.in.in
+
+# use the sustitutions from configure to generate the Makefile
+Makefile: Makefile.in ./config.status 
+	./config.status --file ./Makefile:./Makefile.in
+
+
+.PHONY: clean veryclean distclean
+clean:
+	$(RMF) $(QECODEOBJ) $(QECODESBJ)
+
+veryclean: clean
+	$(RMF) $(LIBTARGETS)
+	$(RMF) $(LIBTARGETS:%$(DLLSUFFIX)=%.exp) $(LIBTARGETS:%$(DLLSUFFIX)=%.lib)
+	$(RMF) $(LIBTARGETS:%$(DLLSUFFIX)=%.ilk) $(LIBTARGETS:%$(DLLSUFFIX)=%.pdb)
+	$(RMF) $(QECODEDLL)
+
+distclean: veryclean
+	$(RMF) config.log config.status
+
+.PHONY: doc
+doc: $(QECODEHDR) $(QECODESRC) 
+	mkdir -p doc/html
+	doxygen doxygen.conf