gecoder-with-gecode 0.9.0 → 0.9.1

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

@@ -1,905 +0,0 @@
-#!/usr/bin/perl
-#
-#  Main authors:
-#     Christian Schulte <schulte@gecode.org>
-#
-#  Copyright:
-#     Christian Schulte, 2007
-#
-#  Last modified:
-#     $Date: 2008-03-06 03:51:28 +0100 (Thu, 06 Mar 2008) $ by $Author: schulte $
-#     $Revision: 6432 $
-#
-#  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.
-#
-#
-
-use File::Basename;
-
-while (($arg = $ARGV[$i]) && ($arg =~ /^-/)) {
-  $i++;
-  if ($arg eq "-header") {
-    $gen_header = 1;
-  } elsif ($arg eq "-typeicc") {
-    $gen_typeicc   = 1;
-  } elsif ($arg eq "-typecc") {
-    $gen_typecc   = 1;
-  }
-}
-
-$varfile = $ARGV[$i];
-
-my ($filename, $directory, $suffix) = fileparse($varfile);
-
-open VARFILE, $varfile;
-
-$n_files = 0;
-while ($l = <VARFILE>) {
-  if ($l =~ /^File:\s*([^ \t\r\n]+)/io) {
-    $files[$n_files] = $1;
-    $n_files++;
-  }
-}
-close VARFILE;
-
-print <<EOF
-/*
- *  CAUTION:
- *    This file has been automatically generated. Do not edit,
- *    edit the specification file "variable.vsl" and the following
- *    files instead:
-EOF
-;
-
-for ($f=0; $f<$n_files; $f++) {
-  print " *     - $files[$f]\n";
-}
-
-print <<EOF
- *
- *  This file contains generated code fragments which are
- *  copyrighted as follows:
- *
- *  Main author:
- *     Christian Schulte <schulte\@gecode.org>
- *
- *  Copyright:
- *     Christian Schulte, 2007
- *
- *  The generated code fragments are 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.
- *
- */
-
-EOF
-;
-
-for ($f=0; $f<$n_files; $f++) {
-  open (FILE, $directory.$files[$f]) || die "Could not open ".$files[$f];
-
-  ## General values
-  $name[$f]    = "";
-  $vti[$f]     = "";
-  $ifdef[$f]   = "";
-  $endif[$f]   = "";
-  $dispose[$f] = 0;
-
-  ##
-  ## Headers and footers
-  ##
-  $mehdr[$f]  = ""; # Header text for modification events
-  $meftr[$f]  = ""; # Footer text for modification events
-
-  $pchdr[$f]  = ""; # Header text for propagation conditions
-  $pcftr[$f]  = ""; # Footer text for propagation conditions
-
-  ##
-  ## Real stuff
-  ##
-
-  # $mec[$f] : combination table
-  # $men[$f] : name table
-  # $meh[$f] : header table
-  $me_n[$f] = 0; # running number of modification events
-  $me_subscribe[$f] = "";
-
-  # $pcn[$f] : name table
-  # $pch[$f] : header table
-  $pc_n[$f] = 0; # running number of propagation conditions
-
-
-  $free_bits[$f] = 0;
-
-  while ($l = <FILE>) {
-  LINE:
-    next if ($l =~ /^\#/);
-    last if ($l =~ /^\[End\]/io);
-
-    if ($l =~ /^\[General\]/io) {
-      while (($l = <FILE>) && !($l =~ /^\[/)) {
-	next if ($l =~ /^\#/);
-	if ($l =~ /^Name:\s*(\w+)/io) {
-	  $name[$f] = $1;
-	  $vti[$f]  = uc($name[$f]);
-	} elsif ($l =~ /^Ifdef:\s*(\w+)/io) {
-	  $ifdef[$f] = "#ifdef $1\n";
-	  $endif[$f] = "#endif\n";
-	} elsif ($l =~ /^Dispose:\s*true/io) {
-	  $dispose[$f] = 1;
-	} elsif ($l =~ /^Namespace:\s*([^ \t\r\n]+)/io) {
-	  $namespace[$f] = $1;
-	} elsif ($l =~ /^Bits:\s*([^ \t\r\n]+)/io) {
-	  $free_bits[$f] = $1+0;
-	}
-      }
-      goto LINE;
-    } elsif ($l =~ /^\[ModEventHeader\]/io) {
-      while (($l = <FILE>) && !($l =~ /^\[/)) {
-	next if ($l =~ /^\#/);
-	$mehdr[$f] = $mehdr[$f] . $l;
-      }
-      goto LINE;
-    } elsif ($l =~ /^\[ModEvent\]/io) {
-      $n = "";
-      $h = "";
-
-      while (($l = <FILE>) && !($l =~ /^\[/)) {
-	next if ($l =~ /^\#/);
-	if ($l =~ /^Name:\s*(\w+)\s*=\s*(\w+)/io) {
-	  # Found a special modification event
-	  $lhs = $1; $rhs = $2;
-	  if (!($rhs eq "FAILED") && !($rhs eq "NONE") &&
-	      !($rhs eq "ASSIGNED") && !($rhs eq "SUBSCRIBE")) {
-	    die "Unknown special modification event: $rhs\n";
-	  }
-	  if ($rhs eq "SUBSCRIBE") {
-	    $me_subscribe[$f] = "ME_$vti[$f]_$lhs";
-	  } else {
-	    $mespecial{$f}{$lhs} = $rhs;
-	    if ($rhs eq "ASSIGNED") {
-	      $me_assigned[$f] = "ME_$vti[$f]_$lhs";
-	    } elsif ($rhs eq "FAILED") {
-	      $me_failed[$f] = "ME_$vti[$f]_$lhs";
-	    } els
-	  }
-	  $n = $lhs;
-	} elsif ($l =~ /^Name:\s*(\w+)/io) {
-	  # Found a normal modification event
-	  $n = $1;
-	} elsif ($l =~ /^Combine:\s*(.+)/io) {
-	  # Found combination information
-	  $combines = $1;
-	  while ($combines =~ /(\w+)\s*=(\w+)/g) {
-	    $mec{$f}{$n}{$1} = $2;
-	    $mec{$f}{$1}{$n} = $2;
-	  }
-	} else {
-	  $h = $h . $l;
-	}
-      }
-      $men[$f][$me_n[$f]] = $n;
-      $meh[$f][$me_n[$f]] = $h;
-      $me_n[$f]++;
-      $mec{$f}{"NONE"}{$n} = $n;
-      $mec{$f}{$n}{"NONE"} = $n;
-      goto LINE;
-    } elsif ($l =~ /^\[ModEventFooter\]/io) {
-      while (($l = <FILE>) && !($l =~ /^\[/)) {
-	next if ($l =~ /^\#/);
-	$meftr[$f] = $meftr[$f] . $l;
-      }
-      goto LINE;
-    } elsif ($l =~ /^\[PropCondHeader\]/io) {
-      while (($l = <FILE>) && !($l =~ /^\[/)) {
-	next if ($l =~ /^\#/);
-	$pchdr[$f] = $pchdr[$f] . $l;
-      }
-      goto LINE;
-    } elsif ($l =~ /^\[PropCond\]/io) {
-      $n = "";
-      $h = "";
-
-      while (($l = <FILE>) && !($l =~ /^\[/)) {
-	next if ($l =~ /^\#/);
-	if ($l =~ /^Name:\s*(\w+)\s*=\s*(\w+)/io) {
-	  # Found a special propagation condition
-	  $lhs = $1; $rhs = $2;
-	  if (!($rhs eq "ASSIGNED")) {
-	    die "Unknown special propagation condition: $rhs\n";
-	  }
-	  $pcspecial{$f}{$lhs} = $rhs;
-	  if ($rhs eq "ASSIGNED") {
-	    $pc_assigned[$f] = "PC_$vti[$f]_$lhs";
-	  }
-	  $n = $lhs;
-	} elsif ($l =~ /^Name:\s*(\w+)/io) {
-	  # Found a normal modification event
-	  $n = $1;
-	} elsif ($l =~ /^ModEvents:\s*(.+)/io) {
-	  # Found relation to modification events
-	  $events = $1;
-	  while ($events =~ /(\w+)/g) {
-	    $mepc{$f}{$1}{$n} = 1;
-	  }
-	} else {
-	  $h = $h . $l;
-	}
-      }
-      $pcn[$f][$pc_n[$f]] = $n;
-      $pch[$f][$pc_n[$f]] = $h;
-      $pc_n[$f]++;
-      goto LINE;
-    } elsif ($l =~ /^\[PropCondFooter\]/io) {
-      while (($l = <FILE>) && !($l =~ /^\[/)) {
-	next if ($l =~ /^\#/);
-	$pcftr[$f] = $pcftr[$f] . $l;
-      }
-      goto LINE;
-    }
-
-  }
-  close FILE;
-
-
-  $maxpc[$f] = "PC_$vti[$f]_" . $pcn[$f][$pc_n[$f]-1];
-  $class[$f] = "$name[$f]VarImpBase";
-  $conf[$f]  = "$name[$f]VarImpConf";
-  $base[$f]  = "Gecode::VarImp< $namespace[$f]::$conf[$f]>";
-  # Generate namespace header and footer
-  foreach $ns (split('::',$namespace[$f])) {
-    $hdr[$f] = "$hdr[$f]namespace $ns { ";
-    $ftr[$f] = "$ftr[$f]}";
-  }
-  $hdr[$f] = "$hdr[$f]\n";
-  $ftr[$f] = "$ftr[$f]\n";
-
-  ## Check whether there is only one real event
-  if ($me_n[$f] == 3) {
-    $me_subscribe[$f] = $me_assigned[$f];
-  }
-
-  $o = 2;
-  for ($i=0; $i<$me_n[$f]; $i++) {
-    $n = $men[$f][$i];
-    if ($mespecial{$f}{$n} eq "NONE") {
-      $val2me[$f][0] = $n;
-    } elsif ($mespecial{$f}{$n} eq "ASSIGNED") {
-      $val2me[$f][1] = $n;
-    } elsif (!$mespecial{$f}{$n}) {
-      $val2me[$f][$o] = $n; $o++;
-    }
-  }
-  $me_max[$f]   = "ME_$vti[$f]_" . $val2me[$f][$o-1] . "+1";
-  $me_max_n[$f] = $o;
-
-  $len = 0;
-  for ($i=0; $i<$me_max_n[$f];$i++) {
-    $n = $val2me[$f][$i];
-    $me_a{$f}{$n} = "ME_$vti[$f]_$n";
-    if (length($me_a{$f}{$n}) > $len) {
-      $len = length($me_a{$f}{$n});
-    }
-  }
-  for ($i=0; $i<$me_max_n[$f]; $i++) {
-    $n = $val2me[$f][$i];
-    while ($len > length($me_a{$f}{$n})) {
-      $me_a{$f}{$n} = "$me_a{$f}{$n} ";
-    }
-  }
-
-  for ($b=1; (1 << $b) < $me_max_n[$f]; $b++) {}
-  $bits[$f] = $b;
-}
-
-if ($gen_typeicc) {
-  for ($f = 0; $f<$n_files; $f++) {
-    print $ifdef[$f];
-    print $hdr[$f];
-    print $mehdr[$f];
-    $o = 1;
-    for ($i=0; $i<$me_n[$f]; $i++) {
-      $n = $men[$f][$i];
-      print $meh[$f][$i];
-      print "  const Gecode::ModEvent ME_" . $vti[$f] . "_${n} = ";
-      if ($mespecial{$f}{$n}) {
-	print "Gecode::ME_GEN_" . $mespecial{$f}{$n};
-      } else {
-	print "Gecode::ME_GEN_ASSIGNED + " . $o;
-	$o++;
-      }
-      print ";\n";
-    }
-
-    print $meftr[$f];
-    print $pchdr[$f];
-
-    print "  /// Propagation condition to be ignored (convenience)\n";
-    print "  const Gecode::PropCond PC_$vti[$f]_NONE = Gecode::PC_GEN_NONE;\n";
-    $o = 1;
-    for ($i=0; $i<$pc_n[$f]; $i++) {
-      $n = $pcn[$f][$i];
-      print $pch[$f][$i];
-      print "  const Gecode::PropCond PC_$vti[$f]_${n} = ";
-      if ($pcspecial{$f}{$n}) {
-	$pc_assigned[$f] = "PC_$vti[$f]_${n}";
-	print "Gecode::PC_GEN_" . $pcspecial{$f}{$n};
-      } else {
-	print "Gecode::PC_GEN_ASSIGNED + " . $o;
-	$o++;
-      }
-      print ";\n";
-    }
-    print $pcftr[$f];
-    print $ftr[$f];
-    print $endif[$f];
-  }
-
-
-  for ($f = 0; $f<$n_files; $f++) {
-    print $ifdef[$f];
-    if ($dispose[$f]) {
-      print "\n#ifndef GECODE_HAS_VAR_DISPOSE\n";
-      print "#define GECODE_HAS_VAR_DISPOSE 1\n";
-      print "#endif\n\n";
-    }
-    print $hdr[$f];
-    print "  /// Configuration for $name[$f]-variable implementations\n";
-    print "  class $conf[$f] {\n";
-    print "  public:\n";
-    print "    /// Index for cloning\n";
-    print "    static const int idx_c = ";
-    if ($f == 0) {
-      print "0;\n";
-    } else {
-      print "$namespace[$f-1]::$conf[$f-1]::idx_c+1;\n";
-    }
-    print "    /// Index for disposal\n";
-    print "    static const int idx_d = ";
-    if ($dispose[$f]) {
-      if ($f == 0) {
-	print "0;\n";
-      } else {
-	print "$namespace[$f-1]::$conf[$f-1]::idx_d+1;\n";
-      }
-    } else {
-      if ($f == 0) {
-	print "-1;\n";
-      } else {
-	print "$namespace[$f-1]::$conf[$f-1]::idx_d;\n";
-      }
-    }
-    print "    /// Maximal propagation condition\n";
-    print "    static const Gecode::PropCond pc_max = $maxpc[$f];\n";
-    print "    /// Freely available bits\n";
-    print "    static const int free_bits = $free_bits[$f];\n";
-    print "    /// Start of bits for modification event delta\n";
-    print "    static const int med_fst = ";
-    if ($f == 0) {
-      print "0;\n";
-    } else {
-      print "$namespace[$f-1]::$conf[$f-1]::med_lst;\n";
-    }
-    print "    /// End of bits for modification event delta\n";
-    print "    static const int med_lst = med_fst + $bits[$f];\n";
-    print "    /// Bitmask for modification event delta\n";
-    print "    static const int med_mask = ((1 << $bits[$f]) - 1) << med_fst;\n";
-    print "    /// Combine modification events \\a me1 and \\a me2\n";
-    print "    static Gecode::ModEvent me_combine(Gecode::ModEvent me1, Gecode::ModEvent me2);\n";
-    print "    /// Update modification even delta \\a med by \\a me, return true on change\n";
-    print "    static bool med_update(Gecode::ModEventDelta& med, Gecode::ModEvent me);\n";
-    print "    /// Variable type identifier for reflection\n";
-    print "    static GECODE_KERNEL_EXPORT const Gecode::Support::Symbol vti;\n";
-    print "  };\n";
-    print $ftr[$f];
-    if (!($ifdef[$f] eq "")) {
-      print "#else\n";
-      print $hdr[$f];
-      print "  /// Dummy configuration for $name[$f]-variable implementations\n";
-      print "  class $conf[$f] {\n";
-      print "  public:\n";
-      print "    /// Index for cloning\n";
-      print "    static const int idx_c = ";
-      if ($f == 0) {
-	print "-1;\n";
-      } else {
-	print "$namespace[$f-1]::$conf[$f-1]::idx_c;\n";
-      }
-      print "    /// Index for disposal\n";
-      print "    static const int idx_d = ";
-      if ($f == 0) {
-	print "-1;\n";
-      } else {
-	print "$namespace[$f-1]::$conf[$f-1]::idx_d;\n";
-      }
-      print "    /// End of bits for modification event delta\n";
-      print "    static const int med_lst = ";
-      if ($f == 0) {
-	print "0;\n";
-      } else {
-	print "$namespace[$f-1]::$conf[$f-1]::med_lst;\n";
-      }
-      print "  };\n";
-      print $ftr[$f];
-    }
-    print $endif[$f];
-  }
-  print "\n";
-  print "namespace Gecode {\n\n";
-  print "  /// Configuration for all variable implementations\n";
-  print "  class AllVarConf {\n";
-  print "  public:\n";
-  print "    /// Index for cloning\n";
-  print "    static const int idx_c = $namespace[$n_files-1]::$conf[$n_files-1]::idx_c+1;\n";
-  print "    /// Index for dispose\n";
-  print "    static const int idx_d = $namespace[$n_files-1]::$conf[$n_files-1]::idx_d+1;\n";
-  print "    /// Combine modification event delta \\a med1 with \\a med2\n";
-  print "    static ModEventDelta med_combine(ModEventDelta med1, ModEventDelta med2);\n";
-  print "  };\n\n}\n\n";
-  for ($f = 0; $f<$n_files; $f++) {
-    print $ifdef[$f];
-    print $hdr[$f];
-    print "  forceinline Gecode::ModEvent\n";
-    print "  $conf[$f]::me_combine(Gecode::ModEvent me1, Gecode::ModEvent me2) {\n";
-
-    if ($me_max_n[$f] == 2) {
-      print "    return me1 | me2;\n";
-    } elsif ($me_max_n[$f] <= 4) {
-      print "    static const Gecode::ModEvent me_c = (\n";
-
-      for ($i=0; $i<$me_max_n[$f];$i++) {
-	$n1 = $val2me[$f][$i];
-	print "      (\n";
-	for ($j=0; $j<$me_max_n[$f];$j++) {
-	  $n2 = $val2me[$f][$j];
-	  $n3 = $mec{$f}{$n1}{$n2};
-	  $shift = (($i << 3) + ($j << 1));
-	  if ($shift < 10) {
-	    $shift = " $shift";
-	  }
-	  print "        ($me_a{$f}{$n3} << $shift)";
-	  if ($j+1 == $me_max_n[$f]) {
-	    print "   ";
-	  } else {
-	    print " | ";
-	  }
-	  print " // [$me_a{$f}{$n1}][$me_a{$f}{$n2}]\n";
-	}
-	if ($i+1 == $me_max_n[$f]) {
-	  print "      )\n";
-	} else {
-	  print "      ) |\n";
-	}
-      }
-      print "    );\n";
-      print "    return ((me_c >> (me2 << 3)) >> (me1 << 1)) & 3;\n";
-    } else {
-      print "    static const Gecode::ModEvent me_c[$me_max[$f]][$me_max[$f]] = {\n";
-      for ($i=0; $i<$me_max_n[$f];$i++) {
-	$n1 = $val2me[$f][$i];
-	print "      {\n";
-	for ($j=0; $j<$me_max_n[$f];$j++) {
-	  $n2 = $val2me[$f][$j];
-	  $n3 = $mec{$f}{$n1}{$n2};
-	  print "        $me_a{$f}{$n3}";
-	  if ($j+1 == $me_max_n[$f]) {
-	    print " ";
-	  } else {
-	    print ",";
-	  }
-	  print " // [$me_a{$f}{$n1}][$me_a{$f}{$n2}]\n";
-	}
-	print "      }";
-	if ($i+1 == $me_max_n[$f]) {
-	  print "\n";
-	} else {
-	  print ",\n";
-	}
-      }
-      print "    };\n";
-      print "    return me_c[me1][me2];\n";
-    }
-    print "  }\n";
-    print "  forceinline bool\n";
-    print "  $conf[$f]::med_update(Gecode::ModEventDelta& med, Gecode::ModEvent me) {\n";
-
-    print "    switch (me) {\n";
-    if ($me_max_n[$f] == 2) {
-      $ME_NONE = "ME_$vti[$f]_NONE";
-      if ($val2me[$f][0] eq "NONE") {
-        $ME_ASSIGNED = "ME_$vti[$f]_$val2me[$f][1]";
-      } else {
-        $ME_ASSIGNED = "ME_$vti[$f]_$val2me[$f][0]";
-      }
-      print "    case $ME_NONE:\n";
-      print "      return false;\n";
-      print "    case $ME_ASSIGNED:\n";
-      print "      if ((med & ($ME_ASSIGNED << med_fst)) != 0)\n";
-      print "        return false;\n";
-      print "      med |= $ME_ASSIGNED << med_fst;\n";
-      print "      break;\n";
-    } else {
-      $lvti = lc($vti[$f]);
-      for ($i=0; $i<$me_max_n[$f];$i++) {
-	$n1 = $val2me[$f][$i];
-	$weak = 1;
-	for ($j=0; $j<$me_max_n[$f];$j++) {
-	  $n2 = $val2me[$f][$j];
-	  if (!($n2 eq "NONE") && !($n2 eq $n1) &&
-	      !($mec{$f}{$n1}{$n2} eq $n2)) {
-	    $weak = 0;
-	  }
-	}
-        print "    case ME_$vti[$f]_$n1:\n";
-        if ($n1 eq "NONE") {
-          print "      return false;\n";
-        } elsif ($mespecial{$f}{$n1} eq "ASSIGNED") {
-          print "      {\n";
-          print "        Gecode::ModEventDelta med_$lvti = med & med_mask;\n";
-          print "        if (med_$lvti == (ME_$vti[$f]_$n1 << med_fst))\n";
-          print "          return false;\n";
-          print "        med ^= med_$lvti;\n";
-          print "        med ^= ME_$vti[$f]_$n1 << med_fst;\n";
-          print "        break;\n";
-          print "      }\n";
-	} elsif ($weak) {
-          print "      {\n";
-          print "        Gecode::ModEventDelta med_$lvti = med & med_mask;\n";
-          print "        if (med_$lvti != 0)\n";
-          print "          return false;\n";
-          print "        med |= ME_$vti[$f]_$n1 << med_fst;\n";
-          print "        break;\n";
-          print "      }\n";
-	} else {
-          print "      {\n";
-          if ($me_max_n[$f] <= 8) {
-            print "        static const Gecode::ModEvent me_c = (\n";
-	    for ($j=0; $j<$me_max_n[$f];$j++) {
-	      $n2 = $val2me[$f][$j];
-	      $n3 = $mec{$f}{$n1}{$n2};
-              $shift = $j << 2;
-	      if ($shift < 10) {
-                $shift = " $shift";
-              }
-	      print "          (($me_a{$f}{$n2} ^ $me_a{$f}{$n3}) << $shift)";
-	      if ($j+1 != $me_max_n[$f]) {
-	        print " |\n";
-	      }
-	    }
-            print "\n        );\n";
-            print "        Gecode::ModEvent me_o = (med & med_mask) >> med_fst;\n";
-            print "        Gecode::ModEvent me_n = (me_c >> (me_o << 2)) & med_mask;\n";
-            print "        if (me_n == 0)\n";
-            print "          return false;\n";
-            print "        med ^= me_n << med_fst;\n";
-            print "        break;\n";
-          } else {
-            print "        static const Gecode::ModEventDelta me_c[$me_max[$f]] = {\n";
-	    for ($j=0; $j<$me_max_n[$f];$j++) {
-	      $n2 = $val2me[$f][$j];
-	      $n3 = $mec{$f}{$n1}{$n2};
-	      print "          ($me_a{$f}{$n2} ^ $me_a{$f}{$n3}) << med_fst";
-	      if ($j+1 != $me_max_n[$f]) {
-	        print ",\n";
-	      }
-	    }
-            print "\n        };\n";
-            print "        Gecode::ModEvent me_o = (med & med_mask) >> med_fst;\n";
-            print "        Gecode::ModEventDelta med_n = me_c[me_o];\n";
-            print "        if (med_n == 0)\n";
-            print "          return false;\n";
-            print "        med ^= med_n;\n";
-            print "        break;\n";
-          }
-          print "      }\n";
-        }
-      }
-    }
-    print "    default: GECODE_NEVER;\n";
-    print "    }\n";
-    print "    return true;\n";
-    print "  }\n\n";
-    print $ftr[$f];
-    print $endif[$f];
-  }
-  print "namespace Gecode {\n";
-  print "  forceinline ModEventDelta\n";
-  print "  AllVarConf::med_combine(ModEventDelta med1, ModEventDelta med2) {\n";
-  for ($f = 0; $f<$n_files; $f++) {
-    $vic = "$namespace[$f]::$conf[$f]";
-    print $ifdef[$f];
-    print "    (void) ${vic}::med_update(med1,(med2 & ${vic}::med_mask) >> ${vic}::med_fst);\n";
-    print $endif[$f];
-  }
-  print "    return med1;\n";
-  print "  }\n}\n\n";
-}
-
-if ($gen_typecc) {
-  print "#include \"gecode/kernel.hh\"\n";
-  print "\n";
-  for ($f = 0; $f<$n_files; $f++) {
-    print $ifdef[$f];
-    print $hdr[$f];
-    print "  const Gecode::Support::Symbol $conf[$f]::vti = \"$name[$f]\";\n";
-    print $ftr[$f];
-    print $endif[$f];
-  }
-  print "\n";
-}
-
-if ($gen_header) {
-  for ($f = 0; $f<$n_files; $f++) {
-    print $ifdef[$f];
-    print $hdr[$f];
-    print "  /// Base-class for $name[$f]-variable implementations\n";
-    print "  class $class[$f] : public $base[$f] {\n";
-    if ($dispose[$f]) {
-      print <<EOF
-  private:
-    /// Link to next variable, used for disposal
-    $class[$f]* _next_d;
-EOF
-;
-  }
-
-  print <<EOF
-  protected:
-    /// Constructor for cloning \\a x
-    $class[$f](Gecode::Space* home, bool share, $class[$f]\& x);
-  public:
-    /// Constructor for creating static instance of variable
-    $class[$f](void);
-    /// Constructor for creating variable
-    $class[$f](Gecode::Space* home);
-    /// \\name Dependencies
-    //\@{
-    /** \\brief Subscribe propagator \\a p with propagation condition \\a pc
-     *
-     * In case \\a schedule is false, the propagator is just subscribed but
-     * not scheduled for execution (this must be used when creating
-     * subscriptions during propagation).
-     *
-     * In case the variable is assigned (that is, \\a assigned is
-     * true), the subscribing propagator is scheduled for execution.
-     * Otherwise, the propagator subscribes and is scheduled for execution
-     * with modification event \\a me provided that \\a pc is different
-     * from \\a $pc_assigned[$f].
-     */
-    void subscribe(Gecode::Space* home, Gecode::Propagator* p, Gecode::PropCond pc, bool assigned, bool schedule);
-    /// Subscribe advisor \\a a if \\a assigned is false.
-    void subscribe(Gecode::Space* home, Gecode::Advisor* a, bool assigned);
-    /// Notify that variable implementation has been modified with modification event \\a me and delta information \\a d
-    Gecode::ModEvent notify(Gecode::Space* home, Gecode::ModEvent me, Gecode::Delta* d);
-    //\@}
-EOF
-;
-
-  if ($dispose[$f]) {
-  print <<EOF
-    /// Return link to next variable to be disposed
-    $class[$f]* next_d(void) const;
-EOF
-;
-  }
-
-  print <<EOF
-  };
-EOF
-;
-
-  print $ftr[$f];
-  print $endif[$f];
-
-
-}
-
-  for ($f = 0; $f<$n_files; $f++) {
-    print $ifdef[$f];
-    print $hdr[$f];
-
-if ($dispose[$f]) {
-  print <<EOF
-
-  forceinline
-  $class[$f]::$class[$f](void) {}
-
-  forceinline
-  $class[$f]::$class[$f](Gecode::Space* home)
-    : $base[$f](home) {
-     _next_d = static_cast<$class[$f]*>(vars_d(home)); vars_d(home,this);
-  }
-
-  forceinline
-  $class[$f]::$class[$f](Gecode::Space* home, bool share, $class[$f]\& x)
-    : $base[$f](home,share,x) {
-     _next_d = static_cast<$class[$f]*>(vars_d(home)); vars_d(home,this);
-  }
-
-  forceinline $class[$f]*
-  $class[$f]::next_d(void) const {
-    return _next_d;
-  }
-
-EOF
-;
-} else {
-  print <<EOF
-
-  forceinline
-  $class[$f]::$class[$f](void) {}
-
-  forceinline
-  $class[$f]::$class[$f](Gecode::Space* home)
-    : $base[$f](home) {}
-
-  forceinline
-  $class[$f]::$class[$f](Gecode::Space* home, bool share, $class[$f]\& x)
-    : $base[$f](home,share,x) {}
-EOF
-;
-}
-  print <<EOF
-
-  forceinline void
-  $class[$f]::subscribe(Gecode::Space* home, Gecode::Propagator* p, Gecode::PropCond pc, bool assigned, bool schedule) {
-    $base[$f]::subscribe(home,p,pc,assigned,$me_subscribe[$f],schedule);
-  }
-  forceinline void
-  $class[$f]::subscribe(Gecode::Space* home, Gecode::Advisor* a, bool assigned) {
-    $base[$f]::subscribe(home,a,assigned);
-  }
-
-EOF
-;
-
-if ($me_max_n[$f] == 2) {
-  print <<EOF
-  forceinline Gecode::ModEvent
-  $class[$f]::notify(Gecode::Space* home, Gecode::ModEvent, Gecode::Delta* d) {
-    schedule(home,$pc_assigned[$f],$pc_assigned[$f],$me_assigned[$f]);
-    if (!$base[$f]::advise(home,$me_assigned[$f],d))
-      return $me_failed[$f];
-    cancel(home);
-    return $me_assigned[$f];
-  }
-
-EOF
-;
-} else {
-  print <<EOF
-  forceinline Gecode::ModEvent
-  $class[$f]::notify(Gecode::Space* home, Gecode::ModEvent me, Gecode::Delta* d) {
-    switch (me) {
-EOF
-;
-
-  for ($i=0; $i<$pc_n[$f]; $i++) {
-     if ($pcspecial{$f}{$pcn[$f][$i]} eq "ASSIGNED") {
-       $val2pc[$f][0] = $pcn[$f][$i];
-     }
-  }
-  $o = 1;
-  for ($i=0; $i<$pc_n[$f]; $i++) {
-     if (!($pcspecial{$f}{$pcn[$f][$i]} eq "ASSIGNED")) {
-       $val2pc[$f][$o] = $pcn[$f][$i]; $o++;
-     }
-  }
-
-  for ($i=0; $i<$me_n[$f]; $i++) {
-    $n = $men[$f][$i];
-    if (!($mespecial{$f}{$n} eq "NONE") && !($mespecial{$f}{$n} eq "FAILED")) {
-      print "    case ME_$vti[$f]_$n:\n";
-      print "      // Conditions: ";
-      $fst = 1;
-      for ($j=0; $j<$pc_n[$f]; $j++) {
-        if ($mepc{$f}{$men[$f][$i]}{$pcn[$f][$j]}) {
-          if ($fst) {
-            $fst = 0;
-          } else {
-            print ", ";
-          }
-          print $pcn[$f][$j];
-        }
-      }
-      print "\n";
-      for ($j=0; $j<$pc_n[$f]; $j++) {
-	if ($mepc{$f}{$men[$f][$i]}{$val2pc[$f][$j]}) {
-	  # Found initial entry (plus one for stopping)
-	  print "      schedule(home,PC_$vti[$f]_" . $val2pc[$f][$j] . ",";
-	  # Look for all connected entries
-	  while ($mepc{$f}{$men[$f][$i]}{$val2pc[$f][$j+1]}) {
-	    $j++;
-          }
-	  # Found last entry
-	  print "PC_$vti[$f]_" . $val2pc[$f][$j] . ",ME_$vti[$f]_$n);\n";
-	}
-      }
-      print "      if (!$base[$f]::advise(home,ME_$vti[$f]_$n,d))\n";
-      print "        return $me_failed[$f];\n";
-      if ($mespecial{$f}{$n} eq "ASSIGNED") {
-        print "      cancel(home);\n";
-      }
-      print "      break;\n";
-    }
-  }
-
-
-  print <<EOF
-    default: GECODE_NEVER;
-    }
-    return me;
-  }
-
-EOF
-;
-}
-  print $ftr[$f];
-  print $endif[$f];
-}
-
-    print <<EOF
-namespace Gecode {
-
-  forceinline void
-  Space::update(ActorLink** sub) {
-EOF
-;
-
-  for ($f = 0; $f<$n_files; $f++) {
-    print $ifdef[$f];
-    print "    $base[$f]::update(this,sub);\n";
-    print $endif[$f];
-  }
-
-  print <<EOF
-  }
-}
-EOF
-;
-
-
-
-}
-
-print "// STATISTICS: kernel-var\n";