dep-selector-libgecode 1.0.0.alpha.0

data/ext/libgecode3/vendor/gecode-3.7.3/misc/genxcodeproj.perl

@@ -0,0 +1,144 @@
+#!/usr/bin/perl
+
+use File::Basename;
+
+print <<EOF
+// !\$*UTF8*\$!
+{
+  archiveVersion = 1;
+  classes = {};
+  objectVersion = 44;
+  objects = {
+
+/* Begin PBXFileReference section */
+EOF
+;
+
+%files = ();
+%sourceTree = ();
+%headerTree = ();
+
+findFiles("h","sourcecode.c.h");
+findFiles("c","sourcecode.c.c");
+findFiles("hpp","sourcecode.cpp.h");
+findFiles("hh","sourcecode.cpp.h");
+findFiles("cpp","sourcecode.cpp.cpp");
+
+foreach my $k (keys %files) {
+  my $relpath = $k;
+  $relpath =~ s/\.\/(.*)/\1/;
+  print "    ".$files{$k}[0]." /* ".$files{$k}[1]." */ = ";
+  print "{isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = ";
+  print $files{$k}[2]."; path =\"".$files{$k}[1];
+  print "\"; sourceTree = \"<group>\"; };\n"
+}
+
+print "/* End PBXFileReference section */\n\n";
+print "/* Begin PBXGroup section */\n";
+
+my $sourcesUID = uid();
+printGroup("Sources",$sourcesUID,\%sourceTree,"./");
+
+my $headersUID = uid();
+printGroup("Headers",$headersUID,\%headerTree,"./");
+
+my $mainUID = uid();
+
+print <<EOF
+    $mainUID = {
+      isa = PBXGroup;
+      children = (
+        $sourcesUID /* Sources */,
+        $headersUID /* Headers */,
+      );
+      sourceTree = "<group>";
+    };
+EOF
+;
+
+my $rootUID = uid();
+
+print "/* End PBXGroup section */\n";
+print "/* Begin PBXProject section */\n";
+print "    ".$rootUID." /* Project object */ = {\n";
+print "      isa = PBXProject;\n";
+print "      compatibilityVersion = \"XCode 2.4\";\n";
+print "      mainGroup = ".$mainUID." /* Gecode */;\n";
+print "      projectDirPath = \"\";\n";
+print "      projectRoot = \"\";\n";
+print "    };\n";
+print "/* End PBXProject section */\n";
+print "  };\n";
+print "  rootObject = ".$rootUID." /* Project object */;\n";
+print "}\n";
+
+sub findFiles {
+  my $extension = $_[0];
+  my $type = $_[1];
+  my $find = "find . -name '*.".$extension."' -type f |";
+  open (F, $find);
+  while (my $f = <F>) {
+    chomp($f);
+    my ($filename, $dummydir, $suffix) = fileparse($f);
+
+    my @dirs = split(/\//,$f);
+    shift(@dirs);
+    pop(@dirs);
+    
+    my $treeP;
+    if ($type =~ m/sourcecode\..*\.h/) {
+      $treeP = \%headerTree;
+    } else {
+      $treeP = \%sourceTree;      
+    }
+    foreach my $d (@dirs) {
+      if (not exists $treeP->{$d}) {
+        my %subTree = ();
+        my @child = (uid(), \%subTree);
+        $treeP->{$d} = [@child];
+      }
+      $treeP = $treeP->{$d}[1];
+    }
+    $treeP->{$filename} = "";
+    my @r = (uid(), $filename, $type);
+    $files{$f} = [@r];
+  }
+  close (F);
+}
+
+sub uid {
+  my $uid = `uuidgen`;
+  $uid =~ /[A-Z0-9]+-([A-Z0-9]+)-([A-Z0-9]+)-([A-Z0-9]+)-([A-Z0-9]+)/;
+  return $1.$2.$3.$4;
+}
+
+sub printGroup {
+  my $g = $_[0];
+  my $id = $_[1];
+  my $treeP = $_[2];
+  my $path = $_[3];
+  print "    ".$id. " /* ".$g." */ = {\n";
+  print "      isa = PBXGroup;\n";
+  print "      children = (\n";
+  foreach my $k (sort keys %{$treeP}) {
+    if (exists $treeP->{$k}[0]) {
+      print "        ".$treeP->{$k}[0]." /* ".$k." */,\n";
+    } else {
+      print "        ".$files{$path.$k}[0]." /* ".$k." */,\n";
+    }
+  }
+  print "      );\n";
+  if ($path eq "./") {
+    print "      path = \".\";\n";
+    print "      name = \"$g\";\n";
+  } else {
+    print "      path = \"$g\";\n";
+  }
+  print "      sourceTree = \"<group>\";\n    };\n";
+  foreach my $k (keys %{$treeP}) {
+    if (exists $treeP->{$k}[0]) {
+      printGroup($k, $treeP->{$k}[0], $treeP->{$k}[1], 
+                 $path.$k."/");
+    }
+  }
+}

data/ext/libgecode3/vendor/gecode-3.7.3/misc/getrevision.perl

@@ -0,0 +1,47 @@
+#!/usr/bin/perl
+#
+#  Main authors:
+#     Christian Schulte <schulte@gecode.org>
+#
+#  Copyright:
+#     Christian Schulte, 2005
+#
+#  Last modified:
+#     $Date: 2007-08-09 23:30:21 +1000 (Thu, 09 Aug 2007) $ by $Author: tack $
+#     $Revision: 4790 $
+#
+#  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.
+#
+#
+
+# 
+# Print revision of file
+#
+
+while ($l = <>) {
+  if ($l =~ /Revision: ([0-9\.]*) /) {
+    print "Revision: $1\n";
+    exit 0;
+  }
+}

data/ext/libgecode3/vendor/gecode-3.7.3/misc/makedepend.perl

@@ -0,0 +1,85 @@
+#
+#  Main authors:
+#     Christian Schulte <schulte@gecode.org>
+#
+#  Copyright:
+#     Christian Schulte, 2005
+#
+#  Last modified:
+#     $Date: 2008-09-03 22:14:11 +1000 (Wed, 03 Sep 2008) $ by $Author: tack $
+#     $Revision: 7787 $
+#
+#  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.
+#
+#
+
+# 
+# Ultra-simplistic makedepend: Just find existing files
+# Relies on:
+#  - all filenames are relative to root directory, which is the first argument
+#  - #ifdef can be safely ignored
+#
+
+$i=0;
+
+$root = $ARGV[$i++];
+
+while ($target = $ARGV[$i++]) {
+  my @todo = ();
+  my %done = ();
+  push @todo, $target;
+  while ($f = pop @todo) {
+    open FILE, "$root/$f" or
+      open FILE, "$f" or die "File missing: $root/$f\n";
+    
+    while ($l = <FILE>) {
+      if ($l =~ /^\#include <(gecode\/.*)>/ || $l =~ /^\#include "(.*)"/) {
+	$g = $1;
+	$g =~ s|^\./||og;
+	if (!$done{$g}) {
+	  push @todo, $g;
+	  if (-e "$root/$g") {
+	    $done{$g} = "$root/";
+	  } else {
+	    $done{$g} = "";
+	  }
+	}
+      }
+    }
+    close FILE;
+  }
+  $target =~ s|\.cpp?||og;
+  print "$target\$(OBJSUFFIX) $target\$(SBJSUFFIX): ";
+  $l = 3;
+  foreach $g (sort(keys(%done))) {
+    if ($l == 3) {
+      print "\\\n\t";
+      $l = 0;
+    }
+    print "$done{$g}$g ";
+    $l++;
+  }
+  print "\n";
+}
+

data/ext/libgecode3/vendor/gecode-3.7.3/misc/svn-ignore-root.txt

@@ -0,0 +1,43 @@
+.deps
+.libs
+*~
+*.la
+*.lo
+*.o
+*.s
+*.obj
+*.sbj
+*.dll
+*.lib
+*.exp
+*.ilk
+*.pdb
+*.suo
+*.sln
+*.exe
+*.manifest
+*.so
+*.dylib
+*.res
+*.rc
+moc_*.cpp
+Makefile
+Makefile.dep
+autom4te.cache
+changelog.hh
+config.log
+config.status
+doc
+doxygen.hh
+doxygen.conf
+doxygen.conf.use
+doxygen.conf.chm
+doxygen.log
+header.html
+GecodeReference.chm
+GecodeReference.tag
+license.hh
+stat.hh
+gecode-*.zip
+gecode-*.tar.gz
+.*

data/ext/libgecode3/vendor/gecode-3.7.3/misc/svn-ignore.txt

@@ -0,0 +1,18 @@
+.deps
+.libs
+*~
+*.la
+*.lo
+*.o
+*.s
+*.obj
+*.sbj
+*.ilk
+*.pdb
+*.suo
+*.sln
+*.exe
+*.manifest
+*.rc
+*.res
+moc_*.cpp

data/ext/libgecode3/vendor/gecode-3.7.3/test/afc.cpp

@@ -0,0 +1,143 @@
+/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
+/*
+ *  Main authors:
+ *     Christian Schulte <schulte@gecode.org>
+ *
+ *  Copyright:
+ *     Christian Schulte, 2009
+ *
+ *  Last modified:
+ *     $Date: 2010-04-08 20:35:31 +1000 (Thu, 08 Apr 2010) $ by $Author: schulte $
+ *     $Revision: 10684 $
+ *
+ *  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 <gecode/kernel.hh>
+#include <gecode/int.hh>
+
+#include "test/test.hh"
+
+namespace Test {
+
+  /// %Test for %AFC infrastructure
+  class AFC : public Test::Base {
+  protected:
+    /// Test space
+    class TestSpace : public Gecode::Space {
+    protected:
+      /// Two integer variables
+      Gecode::IntVar x, y;
+    public:
+      /// Constructor for creation
+      TestSpace(void) : x(*this,0,10), y(*this,0,10) {}
+      /// Constructor for cloning \a s
+      TestSpace(bool share, TestSpace& s) : Space(share,s) {
+        x.update(*this,share,s.x);
+        y.update(*this,share,s.y);
+      }
+      /// Post arbitrary propagator
+      void post(void) {
+        Gecode::rel(*this, x, Gecode::IRT_LE, y);
+      }
+      /// Copy during cloning
+      virtual Space* copy(bool share) {
+        return new TestSpace(share,*this);
+      }
+    };
+    /// How many test operations to be performed
+    static const int n_ops = 8 * 1024;
+    /// How many spaces to maintain
+    static const int n = 16;
+    /// Return random index of non-null space
+    int space(TestSpace* s[]) {
+      int i = rand(n);
+      while (s[i] == NULL)
+        i = (i+1) % n;
+      return i;
+    }
+    /// Return random index
+    int index(void) {
+      return rand(n);
+    }
+  public:
+    /// Initialize test
+    AFC(void) : Test::Base("AFC") {}
+    /// Perform actual tests
+    bool run(void) {
+      // Array of spaces for tests
+      TestSpace* s[n];
+      // How many spaces exist in s
+      int n_s = 1;
+      
+      for (int i=n; i--; )
+        s[i] = NULL;
+      s[0] = new TestSpace;
+
+      for (int o=n_ops; o--; )
+        switch (rand(3)) {
+        case 0:
+          // clone space
+          {
+            int i = index();
+            if ((s[i] != NULL)) {
+              if (n_s > 1) {
+                delete s[i]; s[i]=NULL; n_s--;
+              } else {
+                break;
+              }
+            }
+            int j = space(s);
+            (void) s[j]->status();
+            s[i] = static_cast<TestSpace*>(s[j]->clone());
+            n_s++;
+          }
+          break;
+        case 1:
+          // delete space
+          if (n_s > 1) {
+            int i = space(s);
+            delete s[i]; s[i]=NULL; n_s--;
+          }
+          break;
+        case 2:
+          // post propagator
+          s[space(s)]->post();
+          break;
+        default:
+          GECODE_NEVER;
+        }
+      // Delete all remaining spaces
+      for (int i=n; i--; )
+        delete s[i];
+      return true;
+    }
+  };
+
+  AFC afc;
+
+}
+
+// STATISTICS: test-kernel