gecoder 0.7.0 → 0.7.1

data/specs/constraints/set_domain.rb

@@ -80,6 +80,12 @@ describe Gecode::Constraints::Set::Domain do
     end
   end
   
+  it 'should raise error if the right hand side is not a constant set' do
+    lambda do
+      @set.must_be.superset_of('not a constant set')
+    end.should raise_error(TypeError)
+  end
+  
   it_should_behave_like 'reifiable set constraint'
 end
 

data/tasks/distribution.rake

@@ -6,9 +6,31 @@ PKG_FILE_NAME = "#{PKG_NAME}-#{PKG_VERSION}"
 
 desc 'Generate RDoc'
 rd = Rake::RDocTask.new do |rdoc|
-  rdoc.rdoc_dir = "#{File.dirname(__FILE__)}/../doc/output/rdoc"
-  rdoc.options << '--title' << 'Gecode/R' << '--line-numbers' << '--inline-source' << '--main' << 'README'
-  rdoc.rdoc_files.include('README', 'lib/**/*.rb')
+  rdoc.rdoc_dir = 'doc/output/rdoc'
+  rdoc.options << '--title' << 'Gecode/R' << '--line-numbers' << 
+    '--inline-source' << '--accessor' << 'delegate' << '--main' << 'README'
+  rdoc.rdoc_files.include('README', 'CHANGES', 'LGPL-LICENSE', 'lib/**/*.rb')
+end
+
+desc 'Generate RDoc, ignoring nodoc'
+Rake::RDocTask.new(:rdoc_dev) do |rdoc|
+  rdoc.rdoc_dir = 'doc/output/rdoc_dev'
+  rdoc.options << '--title' << 'Gecode/R Developers RDoc' << '--line-numbers' << 
+    '--inline-source' << '--accessor' << 'delegate'
+    
+  # Copy the rdoc and remove all #:nodoc: .
+  TMP_DIR = 'doc/tmp/rdoc_dev'
+  Dir['lib/**/*.rb'].each do |source_name|
+    destination_name = source_name.sub('lib', TMP_DIR)
+    File.makedirs File.dirname(destination_name)
+    destination = File.open(destination_name, 'w')
+    File.open(source_name) do |source|
+      source.each{ |line| destination << line.gsub('#:nodoc:', '' ) }
+    end
+    destination.close
+  end
+  
+  rdoc.rdoc_files.include("#{TMP_DIR}/**/*.rb")
 end
 
 spec = Gem::Specification.new do |s|

data/tasks/website.rake

@@ -2,19 +2,11 @@ require 'rake/contrib/rubyforgepublisher'
 
 desc 'Regenerates the contents of the website'
 task :website do
-  Rake::Task[:clobber].invoke
-  mkdir 'doc/output'
-  begin
-    Rake::Task[:spec_html].invoke
-  rescue
-    # The task will fail unless all specs pass, we want it to continue.
-  end
+  mkpath 'doc/output'
+  Rake::Task[:spec_html].invoke
   Rake::Task[:rdoc].invoke
-  begin
-    Rake::Task[:rcov].invoke
-  rescue
-    # The task will fail unless all specs pass, we want it to continue.
-  end
+  Rake::Task[:rdoc_dev].invoke
+  Rake::Task[:rcov].invoke
   WebsiteRakeHelpers.webgen
 end
 
@@ -43,6 +35,7 @@ module WebsiteRakeHelpers
   # Remove generated documentation.
   def clobber
     rm_rf 'doc/output'
+    rm_rf 'doc/tmp'
   end
   
   # Generates the website with webgen.

metadata

@@ -3,8 +3,8 @@ rubygems_version: 0.9.4
 specification_version: 1
 name: gecoder
 version: !ruby/object:Gem::Version 
-  version: 0.7.0
-date: 2007-07-27 00:00:00 +02:00
+  version: 0.7.1
+date: 2007-08-10 00:00:00 +02:00
 summary: Ruby interface to Gecode, an environment for constraint programming.
 require_paths: 
 - lib
@@ -54,6 +54,7 @@ files:
 - lib/gecoder/interface/constraints/set_enum_constraints.rb
 - lib/gecoder/interface/constraints/set_var_constraints.rb
 - lib/gecoder/interface/constraints/bool/boolean.rb
+- lib/gecoder/interface/constraints/bool/linear.rb
 - lib/gecoder/interface/constraints/int/linear.rb
 - lib/gecoder/interface/constraints/int/domain.rb
 - lib/gecoder/interface/constraints/int/arithmetic.rb
@@ -81,16 +82,16 @@ files:
 - example/queens.rb
 - example/sudoku.rb
 - example/magic_sequence.rb
+- example/sudoku-set.rb
 - example/send_most_money.rb
+- example/square_tiling.rb
 - vendor/rust
 - vendor/rust/test
 - vendor/rust/include
 - vendor/rust/bin
 - vendor/rust/rust
-- vendor/rust/out.rb
 - vendor/rust/rust.rb
 - vendor/rust/README
-- vendor/rust/configure.rb
 - vendor/rust/test/lib
 - vendor/rust/test/test-constants.rb
 - vendor/rust/test/dummyclass.hh
@@ -229,10 +230,14 @@ rdoc_options:
 - Gecode/R
 - --line-numbers
 - --inline-source
+- --accessor
+- delegate
 - --main
 - README
 extra_rdoc_files: 
 - README
+- CHANGES
+- LGPL-LICENSE
 - lib/gecoder.rb
 - lib/gecoder/interface.rb
 - lib/gecoder/bindings.rb
@@ -253,6 +258,7 @@ extra_rdoc_files:
 - lib/gecoder/interface/constraints/set_enum_constraints.rb
 - lib/gecoder/interface/constraints/set_var_constraints.rb
 - lib/gecoder/interface/constraints/bool/boolean.rb
+- lib/gecoder/interface/constraints/bool/linear.rb
 - lib/gecoder/interface/constraints/int/linear.rb
 - lib/gecoder/interface/constraints/int/domain.rb
 - lib/gecoder/interface/constraints/int/arithmetic.rb

data/vendor/rust/configure.rb

@@ -1,6 +0,0 @@
-
-require 'mkmf'
-find_header("rust_conversions.hh", "./include" )
-eval File.open("out.rb").readlines.to_s
-create_makefile("Gecode")
-    

data/vendor/rust/out.rb

@@ -1,627 +0,0 @@
-
-require 'rust'
-
-Rust::Bindings::create_bindings Rust::Bindings::LangCxx, "Gecode" do |b|
-  b.include_header '/home/andreas/conprog/gecode-1.3.1/gecode/int/view.icc', Rust::Bindings::HeaderGlobal
-  b.add_namespace "Gecode", "" do |ns|
-  ns.add_cxx_class "ViewRanges" do |klass|
-    klass.add_constructor 
-    klass.add_constructor do |method|
-      method.add_parameter "View&", "x"
-    end
-    klass.add_method "init", "void" do |method|
-      method.add_parameter "View&", "x"
-    end
-    klass.add_method "operator", "bool"
-    klass.add_method "min", "int"
-    klass.add_method "max", "int"
-    klass.add_method "width", "int"
-    end
-  ns.add_cxx_class "ViewValues" do |klass|
-    klass.add_constructor 
-    klass.add_constructor do |method|
-      method.add_parameter "View&", "x"
-    end
-    klass.add_method "init", "void" do |method|
-      method.add_parameter "View&", "x"
-    end
-    end
-  ns.add_cxx_class "IntView" do |klass|
-    klass.add_constructor 
-    klass.add_constructor do |method|
-      method.add_parameter "IntVar&", "x"
-    end
-    klass.add_method "min", "int"
-    klass.add_method "max", "int"
-    klass.add_method "med", "int"
-    klass.add_method "val", "int"
-    klass.add_method "size", "int"
-    klass.add_method "width", "int"
-    klass.add_method "regret_min", "int"
-    klass.add_method "regret_max", "int"
-    klass.add_method "range", "bool"
-    klass.add_method "assigned", "bool"
-    klass.add_method "in", "bool" do |method|
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "in", "bool" do |method|
-      method.add_parameter "double", "n"
-    end
-    klass.add_method "lq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "lq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "double", "n"
-    end
-    klass.add_method "le", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "le", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "double", "n"
-    end
-    klass.add_method "gq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "gq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "double", "n"
-    end
-    klass.add_method "gr", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "gr", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "double", "n"
-    end
-    klass.add_method "nq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "nq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "double", "n"
-    end
-    klass.add_method "eq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "eq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "double", "n"
-    end
-    end
-  ns.add_cxx_class "I" do |klass|
-    klass.add_method "narrow", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "I&", "i"
-    end
-    klass.add_method "update", "void" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "bool", "share"
-      method.add_parameter "IntView&", "x"
-    end
-    end
-  ns.add_cxx_class "MinusView" do |klass|
-    klass.add_constructor 
-    klass.add_constructor do |method|
-      method.add_parameter "IntView&", "x"
-    end
-    klass.add_method "init", "void" do |method|
-      method.add_parameter "IntView&", "x"
-    end
-    klass.add_method "min", "int"
-    klass.add_method "max", "int"
-    klass.add_method "med", "int"
-    klass.add_method "val", "int"
-    klass.add_method "size", "int"
-    klass.add_method "width", "int"
-    klass.add_method "regret_min", "int"
-    klass.add_method "regret_max", "int"
-    klass.add_method "range", "bool"
-    klass.add_method "assigned", "bool"
-    klass.add_method "in", "bool" do |method|
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "in", "bool" do |method|
-      method.add_parameter "double", "n"
-    end
-    klass.add_method "lq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "lq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "double", "n"
-    end
-    klass.add_method "le", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "le", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "double", "n"
-    end
-    klass.add_method "gq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "gq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "double", "n"
-    end
-    klass.add_method "gr", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "gr", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "double", "n"
-    end
-    klass.add_method "nq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "nq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "double", "n"
-    end
-    klass.add_method "eq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "eq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "double", "n"
-    end
-    end
-  ns.add_cxx_class "I" do |klass|
-    klass.add_method "narrow", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "I&", "i"
-    end
-    klass.add_method "pme", "ModEvent" do |method|
-      method.add_parameter "Propagator*", "p"
-    end
-    klass.add_method "pme", "PropModEvent" do |method|
-      method.add_parameter "ModEvent", "me"
-    end
-    klass.add_method "subscribe", "void" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "Propagator*", "p"
-      method.add_parameter "PropCond", "pc"
-      method.add_parameter "bool", "process"
-    end
-    klass.add_method "cancel", "void" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "Propagator*", "p"
-      method.add_parameter "PropCond", "pc"
-    end
-    klass.add_method "update", "void" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "bool", "share"
-      method.add_parameter "MinusView&", "x"
-    end
-    klass.add_method "same", "bool" do |method|
-      method.add_parameter "Int::MinusViewInt::&", "x"
-      method.add_parameter "Int::MinusViewInt::&", "y"
-    end
-    klass.add_method "before", "bool" do |method|
-      method.add_parameter "Int::MinusViewInt::&", "x"
-      method.add_parameter "Int::MinusViewInt::&", "y"
-    end
-    end
-  ns.add_cxx_class "OffsetView" do |klass|
-    klass.add_constructor 
-    klass.add_constructor do |method|
-      method.add_parameter "IntView&", "x"
-      method.add_parameter "int", "c"
-    end
-    klass.add_method "init", "void" do |method|
-      method.add_parameter "IntView&", "x"
-      method.add_parameter "int", "c"
-    end
-    klass.add_method "offset", "int"
-    klass.add_method "min", "int"
-    klass.add_method "max", "int"
-    klass.add_method "med", "int"
-    klass.add_method "val", "int"
-    klass.add_method "size", "int"
-    klass.add_method "width", "int"
-    klass.add_method "regret_min", "int"
-    klass.add_method "regret_max", "int"
-    klass.add_method "range", "bool"
-    klass.add_method "assigned", "bool"
-    klass.add_method "in", "bool" do |method|
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "in", "bool" do |method|
-      method.add_parameter "double", "n"
-    end
-    klass.add_method "lq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "lq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "double", "n"
-    end
-    klass.add_method "le", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "le", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "double", "n"
-    end
-    klass.add_method "gq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "gq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "double", "n"
-    end
-    klass.add_method "gr", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "gr", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "double", "n"
-    end
-    klass.add_method "nq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "nq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "double", "n"
-    end
-    klass.add_method "eq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "eq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "double", "n"
-    end
-    end
-  ns.add_cxx_class "I" do |klass|
-    klass.add_method "narrow", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "I&", "i"
-    end
-    klass.add_method "pme", "ModEvent" do |method|
-      method.add_parameter "Propagator*", "p"
-    end
-    klass.add_method "pme", "PropModEvent" do |method|
-      method.add_parameter "ModEvent", "me"
-    end
-    klass.add_method "subscribe", "void" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "Propagator*", "p"
-      method.add_parameter "PropCond", "pc"
-      method.add_parameter "bool", "process"
-    end
-    klass.add_method "cancel", "void" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "Propagator*", "p"
-      method.add_parameter "PropCond", "pc"
-    end
-    klass.add_method "update", "void" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "bool", "share"
-      method.add_parameter "OffsetView&", "x"
-    end
-    klass.add_method "same", "bool" do |method|
-      method.add_parameter "Int::OffsetViewInt::&", "x"
-      method.add_parameter "Int::OffsetViewInt::&", "y"
-    end
-    klass.add_method "before", "bool" do |method|
-      method.add_parameter "Int::OffsetViewInt::&", "x"
-      method.add_parameter "Int::OffsetViewInt::&", "y"
-    end
-    end
-  ns.add_cxx_class "ScaleView" do |klass|
-    klass.add_constructor 
-    klass.add_constructor do |method|
-      method.add_parameter "int", "b"
-      method.add_parameter "IntView&", "y"
-    end
-    klass.add_method "init", "void" do |method|
-      method.add_parameter "int", "b"
-      method.add_parameter "IntView&", "y"
-    end
-    klass.add_method "scale", "int"
-    klass.add_method "min", "Val"
-    klass.add_method "max", "Val"
-    klass.add_method "med", "Val"
-    klass.add_method "val", "Val"
-    klass.add_method "size", "UnsVal"
-    klass.add_method "width", "UnsVal"
-    klass.add_method "regret_min", "UnsVal"
-    klass.add_method "regret_max", "UnsVal"
-    klass.add_method "range", "bool"
-    klass.add_method "assigned", "bool"
-    klass.add_method "in", "bool" do |method|
-      method.add_parameter "Val", "n"
-    end
-    klass.add_method "lq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "Val", "n"
-    end
-    klass.add_method "le", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "Val", "n"
-    end
-    klass.add_method "gq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "Val", "n"
-    end
-    klass.add_method "gr", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "Val", "n"
-    end
-    klass.add_method "nq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "Val", "n"
-    end
-    klass.add_method "eq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "Val", "n"
-    end
-    klass.add_method "pme", "ModEvent" do |method|
-      method.add_parameter "Propagator*", "p"
-    end
-    klass.add_method "pme", "PropModEvent" do |method|
-      method.add_parameter "ModEvent", "me"
-    end
-    klass.add_method "subscribe", "void" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "Propagator*", "p"
-      method.add_parameter "PropCond", "pc"
-      method.add_parameter "bool", "process"
-    end
-    klass.add_method "cancel", "void" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "Propagator*", "p"
-      method.add_parameter "PropCond", "pc"
-    end
-    klass.add_method "update", "void" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "bool", "share"
-      method.add_parameter "Val", "par2"
-      method.add_parameter "x", "par3"
-    end
-    end
-  ns.add_cxx_class "ConstIntView" do |klass|
-    klass.add_constructor 
-    klass.add_constructor do |method|
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "init", "void" do |method|
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "min", "int"
-    klass.add_method "max", "int"
-    klass.add_method "med", "int"
-    klass.add_method "val", "int"
-    klass.add_method "size", "int"
-    klass.add_method "width", "int"
-    klass.add_method "regret_min", "int"
-    klass.add_method "regret_max", "int"
-    klass.add_method "range", "bool"
-    klass.add_method "assigned", "bool"
-    klass.add_method "in", "bool" do |method|
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "in", "bool" do |method|
-      method.add_parameter "double", "n"
-    end
-    klass.add_method "lq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "lq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "double", "n"
-    end
-    klass.add_method "le", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "le", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "double", "n"
-    end
-    klass.add_method "gq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "gq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "double", "n"
-    end
-    klass.add_method "gr", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "gr", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "double", "n"
-    end
-    klass.add_method "nq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "nq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "double", "n"
-    end
-    klass.add_method "eq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "int", "n"
-    end
-    klass.add_method "eq", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "double", "n"
-    end
-    end
-  ns.add_cxx_class "I" do |klass|
-    klass.add_method "narrow", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "I&", "i"
-    end
-    klass.add_method "pme", "ModEvent" do |method|
-      method.add_parameter "Propagator*", "p"
-    end
-    klass.add_method "pme", "PropModEvent" do |method|
-      method.add_parameter "ModEvent", "me"
-    end
-    klass.add_method "subscribe", "void" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "Propagator*", "p"
-      method.add_parameter "PropCond", "pc"
-      method.add_parameter "bool", "process"
-    end
-    klass.add_method "cancel", "void" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "Propagator*", "p"
-      method.add_parameter "PropCond", "pc"
-    end
-    klass.add_method "update", "void" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "bool", "share"
-      method.add_parameter "ConstIntView&", "x"
-    end
-    klass.add_method "same", "bool" do |method|
-      method.add_parameter "Int::ConstIntViewInt::&", "x"
-      method.add_parameter "Int::ConstIntViewInt::&", "y"
-    end
-    end
-  ns.add_cxx_class "View" do |klass|
-    klass.add_method "before", "bool" do |method|
-      method.add_parameter "Int::ConstIntViewInt::&", "x"
-      method.add_parameter "Int::ConstIntViewInt::&", "y"
-    end
-    end
-  ns.add_cxx_class "ViewArray" do |klass|
-    klass.add_method "BoolView", "explicit" do |method|
-      method.add_parameter "IntView&", "x"
-    end
-    klass.add_method "zero", "bool"
-    klass.add_method "one", "bool"
-    klass.add_method "none", "bool"
-    klass.add_method "t_one", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-    end
-    klass.add_method "t_zero", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-    end
-    klass.add_method "t_one_none", "void" do |method|
-      method.add_parameter "Space*", "home"
-    end
-    klass.add_method "t_zero_none", "void" do |method|
-      method.add_parameter "Space*", "home"
-    end
-    klass.add_method "update", "void" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "bool", "share"
-      method.add_parameter "BoolView&", "x"
-    end
-    end
-  ns.add_cxx_class "NegBoolView" do |klass|
-    klass.add_constructor 
-    klass.add_constructor do |method|
-      method.add_parameter "BoolView&", "b"
-    end
-    klass.add_method "init", "void" do |method|
-      method.add_parameter "BoolView&", "b"
-    end
-    klass.add_method "zero", "bool"
-    klass.add_method "one", "bool"
-    klass.add_method "none", "bool"
-    klass.add_method "t_one", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-    end
-    klass.add_method "t_zero", "ModEvent" do |method|
-      method.add_parameter "Space*", "home"
-    end
-    klass.add_method "t_one_none", "void" do |method|
-      method.add_parameter "Space*", "home"
-    end
-    klass.add_method "t_zero_none", "void" do |method|
-      method.add_parameter "Space*", "home"
-    end
-    klass.add_method "min", "int"
-    klass.add_method "max", "int"
-    klass.add_method "val", "int"
-    klass.add_method "assigned", "bool"
-    klass.add_method "pme", "ModEvent" do |method|
-      method.add_parameter "Propagator*", "p"
-    end
-    klass.add_method "pme", "PropModEvent" do |method|
-      method.add_parameter "ModEvent", "me"
-    end
-    klass.add_method "subscribe", "void" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "Propagator*", "p"
-      method.add_parameter "PropCond", "pc"
-      method.add_parameter "bool", "process"
-    end
-    klass.add_method "cancel", "void" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "Propagator*", "p"
-      method.add_parameter "PropCond", "pc"
-    end
-    klass.add_method "update", "void" do |method|
-      method.add_parameter "Space*", "home"
-      method.add_parameter "bool", "share"
-      method.add_parameter "NegBoolView&", "x"
-    end
-    klass.add_method "bool_test", "BoolTest" do |method|
-      method.add_parameter "BoolView&", "b0"
-      method.add_parameter "BoolView&", "b1"
-    end
-    klass.add_method "bool_test", "BoolTest" do |method|
-      method.add_parameter "BoolView&", "b0"
-      method.add_parameter "NegBoolView&", "b1"
-    end
-    klass.add_method "bool_test", "BoolTest" do |method|
-      method.add_parameter "NegBoolView&", "b0"
-      method.add_parameter "BoolView&", "b1"
-    end
-    klass.add_method "bool_test", "BoolTest" do |method|
-      method.add_parameter "NegBoolView&", "b0"
-      method.add_parameter "NegBoolView&", "b1"
-    end
-    klass.add_method "same", "bool" do |method|
-      method.add_parameter "Int::NegBoolViewInt::&", "x"
-      method.add_parameter "Int::NegBoolViewInt::&", "y"
-    end
-    klass.add_method "before", "bool" do |method|
-      method.add_parameter "Int::NegBoolViewInt::&", "x"
-      method.add_parameter "Int::NegBoolViewInt::&", "y"
-    end
-    end
-  ns.add_cxx_class "ViewVarTraits" do |klass|
-    klass.add_method "vx", "Gecode::Int::IntView" do |method|
-      method.add_parameter "x", "par0"
-    end
-    end
-  ns.add_cxx_class "View" do |klass|
-    klass.add_method "rtest_eq_bnd", "RelTest" do |method|
-      method.add_parameter "View", "x"
-      method.add_parameter "View", "y"
-    end
-    end
-
-  end
-end
-