gecoder-with-gecode 0.9.0 → 0.9.1

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

@@ -1,263 +0,0 @@
-# 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

@@ -1,82 +0,0 @@
-/*********************************************************[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

@@ -1,37 +0,0 @@
-/*********************************************************[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

@@ -1,162 +0,0 @@
-# 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