gecoder-with-gecode 0.9.0 → 0.9.1

data/ext/gecode-2.1.1/gecode/support/symbol.icc

@@ -1,130 +0,0 @@
-/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
-/*
- *  Main authors:
- *     Guido Tack <tack@gecode.org>
- *
- *  Contributing authors:
- *     Christian Schulte <schulte@gecode.org>
- *
- *  Copyright:
- *     Guido Tack, 2007
- *     Christian Schulte, 2007
- *
- *  Last modified:
- *     $Date: 2008-01-13 17:49:17 +0100 (Sun, 13 Jan 2008) $ by $Author: tack $
- *     $Revision: 5864 $
- *
- *  This file is part of Gecode, the generic constraint
- *  development environment:
- *     http://www.gecode.org
- *
- *  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 <iostream>
-
-namespace Gecode { namespace Support {
-  
-  /** \brief Immutable Symbols
-    *
-    */
-  class GECODE_SUPPORT_EXPORT Symbol {
-  private:
-    
-    /** \brief Reference-counted Symbol objects
-      *
-      */
-    class SO {
-    public:
-      /// Duplicate string \a s
-      static char* strdup(const char* s);
-      /// The reference count
-      unsigned int use_cnt;
-      /// Reference counting: cancel subscription
-      bool cancel(void);
-      /// Reference counting: subscribe to an SO
-      void subscribe(void);
-
-      /// The actual Symbol
-      char* s;
-      /// Whether the SO owns the Symbol
-      bool own;
-
-      /// Construct from a given Symbol \a s0, which is copied if \a copy is true.
-      SO(const char* s0, bool copy);
-      /// Append \a s0
-      void append(SO* s0);
-      /// Compare with \a other for equality
-      bool eq(const SO* other) const;
-      /// Compare with \a other for equality
-      bool eq(const char* other) const;
-      /// Return size of the Symbol
-      unsigned int size(void) const;
-      /// Hash value according to modulo \a M
-      int hash(int m) const;
-      /// Output to \a os
-      std::ostream& print(std::ostream& os) const;
-      /// Allocate memory from heap
-      static void* operator new(size_t s);
-      /// Free memory allocated from heap
-      static void  operator delete(void* p);
-    };
-
-    /// The Symbol object
-    SO* so;
-  public:
-    /// Construct empty Symbol
-    Symbol(void);
-    /// Construct Symbol from \a s0, make a copy if \a copy is true.
-    Symbol(const char* s0, bool copy = false);
-    /// Copy constructor
-    Symbol(const Symbol& s0);
-    /// Assignment operator
-    const Symbol& operator=(const Symbol& s0);
-    /// Test if this Symbol is equal to \a s0
-    bool operator==(const Symbol& s0) const;
-    /// Test if this Symbol is equal to \a s0
-    bool operator==(const char* s0) const;
-    /// Return if Symbol is empty
-    bool empty(void) const;
-    /// Return a copy
-    Symbol copy(void) const;
-    /// Concatenate with \a s
-    Symbol& operator+=(const Symbol& s);
-    /// Hash value according to modulo \a M
-    int hash(int m) const;
-    /// Print this Symbol to \a os
-    std::ostream& print(std::ostream& os) const;    
-    /// Return the Symbol as string
-    std::string toString(void) const;
-    /// Destructor
-    GECODE_MSC_VIRTUAL ~Symbol(void);
-  };
-  
-}}
-
-forceinline
-std::ostream&
-operator<<(std::ostream& os, const Gecode::Support::Symbol& x) {
-  return x.print(os);
-}
-
-// STATISTICS: support-any

data/ext/gecode-2.1.1/misc/gecode-gist.pc.in

@@ -1,45 +0,0 @@
-# Package Information for pkg-config
-
-#  Main authors:
-#     Guido Tack <tack@gecode.org>
-#
-#  Copyright:
-#     Guido Tack, 2005
-#
-#  Last modified:
-#     $Date: 2007-11-14 11:19:19 +0100 (Mi, 14 Nov 2007) $ by $Author: tack $
-#     $Revision: 5299 $
-#
-#  This file is part of Gecode, the generic constraint
-#  development environment:
-#     http://www.gecode.org
-#
-#  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.
-
-prefix=@cygpathprefix@
-exec_prefix=@exec_prefix@
-libdir=@libdir@
-includedir=@includedir@
-
-Name: Gecode Gist
-Description: Generic Constraint Development Environment Gist
-Version: @VERSION@
-Libs: @MINUSLDIR@ @LINKLIBDIR@@LINKPREFIX@@GIST@@LINKSUFFIX@ @LINKLIBDIR@@LINKPREFIX@@CPLTSET@@LINKSUFFIX@ @LINKLIBDIR@@LINKPREFIX@@SET@@LINKSUFFIX@ @LINKLIBDIR@@LINKPREFIX@@INT@@LINKSUFFIX@ @LINKLIBDIR@@LINKPREFIX@@SUPPORT@@LINKSUFFIX@ @LINKLIBDIR@@LINKPREFIX@@KERNEL@@LINKSUFFIX@ 
-Cflags: -I${includedir} @PKG_CONFIG_CXXFLAGS@

data/ext/gecode-2.1.1/misc/gecode-minimodel.pc.in

@@ -1,45 +0,0 @@
-# Package Information for pkg-config
-
-#  Main authors:
-#     Guido Tack <tack@gecode.org>
-#
-#  Copyright:
-#     Guido Tack, 2005
-#
-#  Last modified:
-#     $Date: 2008-02-28 10:33:11 +0100 (Thu, 28 Feb 2008) $ by $Author: tack $
-#     $Revision: 6342 $
-#
-#  This file is part of Gecode, the generic constraint
-#  development environment:
-#     http://www.gecode.org
-#
-#  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.
-
-prefix=@cygpathprefix@
-exec_prefix=@exec_prefix@
-libdir=@libdir@
-includedir=@includedir@
-
-Name: Gecode Minimodel
-Description: Generic Constraint Development Environment Minimodel
-Version: @VERSION@
-Libs: @MINUSLDIR@ @LINKLIBDIR@@LINKPREFIX@@MM@@LINKSUFFIX@  @LINKLIBDIR@@LINKPREFIX@@KERNEL@@LINKSUFFIX@  @LINKLIBDIR@@LINKPREFIX@@SUPPORT@@LINKSUFFIX@
-Cflags: -I${includedir} @PKG_CONFIG_CXXFLAGS@

data/ext/gecode-2.1.1/misc/gecode-search.pc.in

@@ -1,45 +0,0 @@
-# Package Information for pkg-config
-
-#  Main authors:
-#     Guido Tack <tack@gecode.org>
-#
-#  Copyright:
-#     Guido Tack, 2005
-#
-#  Last modified:
-#     $Date: 2007-10-31 12:37:23 +0100 (Wed, 31 Oct 2007) $ by $Author: tack $
-#     $Revision: 5175 $
-#
-#  This file is part of Gecode, the generic constraint
-#  development environment:
-#     http://www.gecode.org
-#
-#  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.
-
-prefix=@cygpathprefix@
-exec_prefix=@exec_prefix@
-libdir=@libdir@
-includedir=@includedir@
-
-Name: Gecode Search Engines
-Description: Generic Constraint Development Environment Search Engines
-Version: @VERSION@
-Libs: @MINUSLDIR@ @LINKLIBDIR@@LINKPREFIX@@SUPPORT@@LINKSUFFIX@ @LINKLIBDIR@@LINKPREFIX@@KERNEL@@LINKSUFFIX@ @LINKLIBDIR@@LINKPREFIX@@SEARCH@@LINKSUFFIX@
-Cflags: -I${includedir} @PKG_CONFIG_CXXFLAGS@

data/ext/gecode-2.1.1/misc/gecode-serialization.pc.in

@@ -1,45 +0,0 @@
-# Package Information for pkg-config
-
-#  Main authors:
-#     Guido Tack <tack@gecode.org>
-#
-#  Copyright:
-#     Guido Tack, 2005
-#
-#  Last modified:
-#     $Date: 2007-11-04 14:14:31 +0100 (Sun, 04 Nov 2007) $ by $Author: schulte $
-#     $Revision: 5196 $
-#
-#  This file is part of Gecode, the generic constraint
-#  development environment:
-#     http://www.gecode.org
-#
-#  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.
-
-prefix=@cygpathprefix@
-exec_prefix=@exec_prefix@
-libdir=@libdir@
-includedir=@includedir@
-
-Name: Gecode Serialization
-Description: Generic Constraint Development Environment Minimodel
-Version: @VERSION@
-Libs: @MINUSLDIR@ @LINKLIBDIR@@LINKPREFIX@@SUPPORT@@LINKSUFFIX@ @LINKLIBDIR@@LINKPREFIX@@KERNEL@@LINKSUFFIX@ @LINKLIBDIR@@LINKPREFIX@@SER@@LINKSUFFIX@
-Cflags: -I${includedir} @PKG_CONFIG_CXXFLAGS@

data/ext/gecode-2.1.1/misc/gecode.pc.in

@@ -1,45 +0,0 @@
-# Package Information for pkg-config
-
-#  Main authors:
-#     Guido Tack <tack@gecode.org>
-#
-#  Copyright:
-#     Guido Tack, 2005
-#
-#  Last modified:
-#     $Date: 2007-11-14 11:19:19 +0100 (Wed, 14 Nov 2007) $ by $Author: tack $
-#     $Revision: 5299 $
-#
-#  This file is part of Gecode, the generic constraint
-#  development environment:
-#     http://www.gecode.org
-#
-#  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.
-
-prefix=@cygpathprefix@
-exec_prefix=@exec_prefix@
-libdir=@libdir@
-includedir=@includedir@
-
-Name: Gecode
-Description: Generic Constraint Development Environment
-Version: @VERSION@
-Libs: @MINUSLDIR@ @LINKLIBDIR@@LINKPREFIX@@CPLTSET@@LINKSUFFIX@ @LINKLIBDIR@@LINKPREFIX@@SET@@LINKSUFFIX@ @LINKLIBDIR@@LINKPREFIX@@INT@@LINKSUFFIX@ @LINKLIBDIR@@LINKPREFIX@@KERNEL@@LINKSUFFIX@ @LINKLIBDIR@@LINKPREFIX@@SUPPORT@@LINKSUFFIX@
-Cflags: -I${includedir} @PKG_CONFIG_CXXFLAGS@

data/ext/gecode-2.1.1/misc/genstatistics.perl

@@ -1,178 +0,0 @@
-#!/usr/bin/perl
-#
-#  Main authors:
-#     Christian Schulte <schulte@gecode.org>
-#
-#  Copyright:
-#     Christian Schulte, 2005
-#
-#  Last modified:
-#     $Date: 2008-02-28 00:31:18 +0100 (Thu, 28 Feb 2008) $ by $Author: schulte $
-#     $Revision: 6336 $
-#
-#  This file is part of Gecode, the generic constraint
-#  development environment:
-#     http://www.gecode.org
-#
-#  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.
-#
-#
-
-#
-# Get statistics for all files
-#
-
-$i = 0;
-
-while ($file = @ARGV[$i++]) {
-  open(FILE,"<$file");
-  my $module = "UNKNOWN";
-  my $cat    = "UNKNOWN";
-  my $n_blank;
-  my $n_comment;
-  my $n_code;
-  my $n_class;
-  while ($l = <FILE>) {
-    if ($l =~ /\/\/ STATISTICS: ([A-Za-z]+)-([A-Za-z]+)/) {
-      $module = $1;
-      $cat    = $2;
-    }
-    if ($l =~ /^[ \t]*$/) {
-      $n_blank += 1;
-    } elsif ($l =~ /^[ \t]*\/\//) {
-      $n_comment += 1;
-    } elsif ($l =~ /\/\*/) {
-      $n_comment += 1;
-      while (!($l =~ /\*\//) && ($l = <FILE>)) {
-	$n_comment += 1;
-      }
-    } else {
-      $n_code += 1;
-    }
-    if ($l =~ /class [A-Za-z_][A-Za-z0-9_]*.*\{/) {
-      $n_class += 1;
-    }
-  }
-  if ($module eq "UNKNOWN") {
-    print "UNKNOWN: $file\n";
-    exit 1;
-  }
-  $m{$module} = 1;
-  $c{$cat} = 1;
-  $class{"$module-$cat"} += $n_class;
-  $comment{"$module-$cat"} += $n_comment;
-  $blank{"$module-$cat"} += $n_blank;
-  $code{"$module-$cat"} += $n_code;
-  close FILE;
-}
-
-@modorder = ("kernel","search","int","set","cpltset","minimodel",
-	     "serialization", "iter","support","example","test");
-
-@catorder = ("core","var","prop","branch","post","search",
-	     "int","set","cpltset","minimodel","stress","any","other");
-$i = 0;
-
-$modclear{"kernel"} = "Kernel";
-$modclear{"search"} = "Search engines";
-$modclear{"int"} = "Finite domain integers";
-$modclear{"set"} = "Finite integer sets";
-$modclear{"cpltset"} =
-  "Finite integer sets with complete domain representation";
-$modclear{"minimodel"} = "Minimal modelling support";
-$modclear{"serialization"} = "Serialization support";
-$modclear{"iter"} = "Range and value iterators";
-$modclear{"support"} = "Support algorithms and datastructures";
-$modclear{"example"} = "\%Example scripts";
-$modclear{"test"} = "Systematic tests";
-
-
-$catclear{"core"} = "Core functionality";
-$catclear{"var"} = "Variables, views, and variable implementations";
-$catclear{"prop"} = "Propagators";
-$catclear{"branch"} = "Branchings";
-$catclear{"search"} = "Search engines";
-$catclear{"post"} = "Posting propagators and branchings";
-$catclear{"any"} = "All";
-$catclear{"other"} = "Miscellaneous";
-$catclear{"int"} = "Finite domain integers";
-$catclear{"set"} = "Finite integer sets";
-$catclear{"cpltset"} =
-  "Finite integer sets with complete domain representation";
-$catclear{"minimodel"} = "Minimal modelling support";
-$catclear{"stress"} = "System stress";
-
-print <<EOF
-/**
-  \\page PageCodeStat Gecode code statistics
-
-The following approximate breakdown into the different parts of %Gecode
-gives some statistics about the amount of code and documentation 
-contained in the code (as comments) where blank lines are excluded. 
-
-The abbreviation "loc" means "lines of code" and "lod" means "lines of 
-documentation".
-
-EOF
-;
-
-
-$an_code    = 0;
-$an_comment = 0;
-$an_class   = 0;
-
-foreach $module (@modorder) {
-  print " - " . $modclear{$module} . ": ";
-  $mn_code    = 0;
-  $mn_comment = 0;
-  $mn_class   = 0;
-  $n_cat = 0;
-  $doc = "";
-  foreach $cat (@catorder) {
-    $k = "$module-$cat";
-    if ($code{$k}) {
-      $n_cat += 1;
-      $doc = $doc . "   - " . $catclear{$cat} . ": ";
-      $mn_code    += $code{$k};
-      $mn_comment += $comment{$k};
-      $mn_class   += $class{$k};
-      $doc = $doc .  $class{$k} . " classes, ";
-      $doc = $doc .  $code{$k} . " loc, ";
-      $doc = $doc .  $comment{$k} . " lod\n";
-    }
-  } 
-  print $mn_class . " classes, " . $mn_code . " loc, " . $mn_comment . " lod\n";
-  if ($n_cat > 1) {
-    print $doc;
-  }
-  $an_code    += $mn_code;
-  $an_comment += $mn_comment;
-  $an_class   += $mn_class;
-}
-
-
-print <<EOF
-
-The grand total: $an_class classes, $an_code loc, $an_comment lod
-
-*/
-EOF
-;
-