gecoder-with-gecode 0.9.0 → 0.9.1

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

@@ -0,0 +1,263 @@
+# Doxyfile 1.5.2
+
+#---------------------------------------------------------------------------
+# Project related configuration options
+#---------------------------------------------------------------------------
+DOXYFILE_ENCODING      = UTF-8
+PROJECT_NAME           = qecode
+PROJECT_NUMBER         = 2.0
+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.2.0/contribs/qecode/Implicative.cc

@@ -0,0 +1,267 @@
+/****   , [ Implicative.cc ], 
+Copyright (c) 2008 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 "Implicative.hh"
+
+Implicative::Implicative(int ns, bool* quant, int* nv) {
+    n=0;
+    for (int i=0;i<ns;i++) {
+        n += nv[i];
+    }
+    nbSpaces=ns;
+    v=new void*[n];
+    type_of_v = new VarType[n];
+    Quantifiers = quant;
+    whichSpaceOwns=new int[n];
+    nbVarBySpace=new int[nbSpaces];
+    rules=new MySpace*[ns];
+    nbVarBySpace[0]=nv[0];
+    rules[0]=new MySpace(nbVarBySpace[0]);
+    for (int i=1;i<nbSpaces;i++) {
+        nbVarBySpace[i]=nbVarBySpace[i-1]+nv[i];
+        rules[i]=new MySpace(nbVarBySpace[i]);
+    }
+    goal=new MySpace(n);
+    for(unsigned int i=0;i<n;i++) {
+        int lespace=0;
+        while (nbVarBySpace[lespace]<=i) lespace++;
+        whichSpaceOwns[i]=lespace;
+    }
+    
+    
+    varInitialised=new bool[n];
+    for (unsigned int i=0;i<n;i++) varInitialised[i]=false;
+    currentDeclareSpace=0;
+
+    optim = new Opts[nbSpaces];
+    for (int i=0;i<nbSpaces;i++) 
+        optim[i].opt_type = 0;
+}
+
+
+
+Implicative::~Implicative() {
+    for (int i=0;i<nbSpaces;i++) {
+            delete rules[i];
+    }    
+    
+        delete goal;
+    delete [] rules;
+}
+
+
+int Implicative::spaces() {
+    return nbSpaces;
+}
+
+
+void Implicative::QIntVar(int var,int min,int max) {
+    if (varInitialised[var]) {
+        cout<<"Variable "<<var<<"  Already created !!"<<endl;
+        abort();
+    }
+    
+    for (int i=whichSpaceOwns[var];i<nbSpaces;i++) {
+        rules[i]->v[var] = new IntVar(rules[i],min,max);
+        rules[i]->type_of_v[var] = VTYPE_INT;
+    }
+    goal->v[var] = new IntVar(goal,min,max);
+    goal->type_of_v[var] = VTYPE_INT;
+    varInitialised[var]=true;
+    type_of_v[var]=VTYPE_INT;
+}
+
+
+void Implicative::QIntVar(int var,IntSet dom) {
+    if (varInitialised[var]) {
+        cout<<"Variable "<<var<<"  Already created !!"<<endl;
+        abort();
+    }
+    
+    for (int i=whichSpaceOwns[var];i<nbSpaces;i++) {
+        rules[i]->v[var] = new IntVar(rules[i],dom);
+        rules[i]->type_of_v[var] = VTYPE_INT;
+    }
+    goal->v[var] = new IntVar(goal,dom);
+    goal->type_of_v[var] = VTYPE_INT;
+    varInitialised[var]=true;
+    type_of_v[var]=VTYPE_INT;
+}
+
+
+void Implicative::QBoolVar(int var) {
+    if (varInitialised[var]) {
+        cout<<"Variable "<<var<<" Already created !!"<<endl;
+        abort();
+    }
+    
+    for (int i=whichSpaceOwns[var];i<nbSpaces;i++) {
+        rules[i]->v[var] = new BoolVar(rules[i],0,1);
+        rules[i]->type_of_v[var]=VTYPE_BOOL;
+    }
+    goal->v[var] = new BoolVar(goal,0,1);
+    goal->type_of_v[var]=VTYPE_BOOL;
+    varInitialised[var]=true;
+    type_of_v[var]=VTYPE_BOOL;
+}
+
+MySpace* Implicative::space() {
+    if (currentDeclareSpace<nbSpaces)
+        return rules[currentDeclareSpace];
+    if (currentDeclareSpace==nbSpaces)
+        return goal;
+    return NULL;
+}
+
+
+IntVar Implicative::var(int n) {
+    if (!varInitialised[n]) {
+        cout<<"Variable "<<n<<" not initialized !"<<endl;
+        abort();
+    }
+    if (type_of_v[n] != VTYPE_INT) {
+        cout<<"Variable "<<n<<" is not INT"<<endl;
+        abort();
+    }
+    return *(static_cast<IntVar*>(space()->v[n]));
+}
+
+
+BoolVar Implicative::bvar(int n) {
+    if (!varInitialised[n]) {
+        cout<<"Variable "<<n<<" not initialized !"<<endl;
+        abort();
+    }
+    if (type_of_v[n] != VTYPE_BOOL){
+        cout<<"Variable "<<n<<" is not BOOL"<<endl;
+        abort();
+    }
+    return *(static_cast<BoolVar*>(space()->v[n]));
+}
+
+
+int Implicative::nextScope() {
+    if (currentDeclareSpace == -1) return -1;
+    currentDeclareSpace++;
+    if (currentDeclareSpace>nbSpaces) return -1;
+    return currentDeclareSpace;
+}
+
+void Implicative::makeStructure() {
+    for (unsigned int i=0;i<n;i++) {
+        if (varInitialised[i] == false) {
+            cout<<"Can't make structure : variable "<<i<<" not initialised"<<endl;
+            abort();
+        }
+    }
+    
+    for (int i=0;i<nbSpaces;i++) {
+        if (!Quantifiers[i])
+            if (optim[i].vars.empty())
+                optimize(i,0,getExistential( (i==0)?0:nbVarBySpace[i-1]));
+    }
+}
+
+
+OptVar* Implicative::getAggregate(int scope, OptVar* opt, Aggregator* agg) {
+    if (!Quantifiers[scope]) {cout<<"Try to get aggregate on existential scope"<<endl;abort();} // aggregateur sur existentiel
+    if (opt->getScope() < scope) {cout<<"aggregated variable out of aggregator scope"<<endl;abort();} // Variable aggr�g�e avant aggregateur
+    for (int i=scope+1; i<opt->getScope();i++) // Universelle entre aggregateur et variable aggr�g�e
+        if (Quantifiers[i]) 
+        {cout<<"Universal scope between variable and aggregator"<<endl;abort();}
+    
+    UnivOptVar* zeopt = new UnivOptVar(scope,opt,agg);
+    optim[scope].vars.push_back(zeopt);
+    return zeopt;
+}
+
+
+OptVar* Implicative::getExistential(int var) {
+    if (Quantifiers[whichSpaceOwns[var]]) {cout<<"can't create existOptVar : variable "<<var<<" is universal"<<endl;abort();} // Var est universelle
+    ExistOptVar* opt = new ExistOptVar(var,whichSpaceOwns[var]);
+    return opt;
+}
+
+
+void Implicative::optimize(int scope, int optType,OptVar* var) {
+    if (var->getScope() < scope) {cout<<"optvar out of optimizing scope"<<endl;abort();} // Variable � optimiser avant d�cideur
+    for (int i=scope; i<var->getScope();i++) {
+        if (Quantifiers[i])  // universelle entre variable et d�cideur
+        { cout<<"universal scope between variable and optimizing scope"<<endl;abort();}
+    }
+//    cout<<"I add an optVar* for scope "<<scope<<endl;
+    optim[scope].vars.clear();
+    optim[scope].vars.push_back(var);
+    optim[scope].opt_type=optType;
+}
+
+
+bool Implicative::qt_of_var(int v) {
+    return Quantifiers[whichSpaceOwns[v]];
+}
+
+
+MySpace* Implicative::getSpace(int scope) {
+    if (scope<0) {
+        cout<<"I return NULL coz of bad scope value"<<endl;
+        return NULL;
+    }
+    if (scope>nbSpaces) {
+        cout<<"I return NULL coz of bad scope value"<<endl;
+        return NULL;
+    }
+    if (scope==nbSpaces) {
+        if (goal->status() == SS_FAILED) {
+            cout<<"I return NULL coz goal is failed"<<endl;
+            return NULL;
+        }
+//        cout<<"I return the goal"<<endl;
+        return static_cast<MySpace*>(goal->clone());
+    }
+    if (rules[scope]->status() == SS_FAILED) {
+        cout<<"I return NULL coz scope "<<scope<<" is failed"<<endl;
+        return NULL;
+    }
+//    cout<<"I return the rule "<<scope<<endl;
+    return (static_cast<MySpace*>(rules[scope]->clone()));
+}
+
+
+MySpace* Implicative::getGoal() {
+        if (goal->status() == SS_FAILED) return NULL;
+        return static_cast<MySpace*>(goal->clone());
+}
+
+
+int Implicative::getOptType(int scope) {
+    if (Quantifiers[scope]) {cout<<"Try to get OptType on universal scope"<<endl;abort();}
+    return optim[scope].opt_type;
+}
+
+
+OptVar* Implicative::getOptVar(int scope) {
+    if (Quantifiers[scope]) abort();
+//    if (optim[scope].vars.size() == 0) cout<<"no optvar to return, ca va planter...";
+//    cout<<"getoptvar returns optvar* of scope "<<scope;
+    return static_cast<OptVar*>(optim[scope].vars[0]);
+}
+