gecoder 0.6.1 → 0.7.0

data/specs/constraints/set_operation.rb

@@ -0,0 +1,285 @@
+require File.dirname(__FILE__) + '/../spec_helper'
+require File.dirname(__FILE__) + '/constraint_helper'
+
+describe Gecode::Constraints::Set::Operation do
+  before do
+    @model = Gecode::Model.new
+    @set1 = @model.set_var([], 0..20)
+    @set2 = @model.set_var([], 0..20)
+    @rhs = @model.set_var([], 0..20)
+    @model.branch_on @model.wrap_enum([@set1, @set2, @rhs])
+    @constant_set = [4,9,17]
+    @wrapped_constant_set = @model.wrap_enum(@constant_set)
+  
+    @expect = lambda do |op1, operation_type, op2, relation_type, rhs, reif_var, negated|
+      op1, op2, rhs = [op1, op2, rhs].map do |expression|
+        # Convert the expression to the corresponding expected class.
+        if expression.respond_to? :bind
+          an_instance_of(Gecode::Raw::SetVar)
+        else
+          an_instance_of(Gecode::Raw::IntSet)
+        end
+      end
+
+      Gecode::Raw.should_receive(:rel).once.with(
+        an_instance_of(Gecode::Raw::Space), op1, operation_type, op2, 
+        relation_type, rhs) 
+    end
+    
+    # For options spec.
+    @invoke_options = lambda do |hash| 
+      @set1.union(@set2).must_be.superset_of(@rhs, hash)
+      @model.solve!
+    end
+    @expect_options = lambda do |strength, reif_var|
+      @expect.call(@set1, Gecode::Raw::SOT_SUP, @set2, Gecode::Raw::SRT_SUP, 
+        @rhs, reif_var, false)
+    end
+  end
+  
+  Gecode::Constraints::Util::SET_OPERATION_TYPES.each_pair do |relation, type|
+    it "should translate #{relation} with variable operands and variable rhs" do
+      @expect.call(@set1, type, @set2, Gecode::Raw::SRT_SUP, @rhs, nil, false)
+      @set1.send(relation, @set2).must_be.superset_of(@rhs)
+      @model.solve!
+    end
+    
+    it "should translate #{relation} with variable operands and constant rhs" do
+      @expect.call(@set1, type, @set2, Gecode::Raw::SRT_SUP, @constant_set, 
+        nil, false)
+      @set1.send(relation, @set2).must_be.superset_of(@constant_set)
+      @model.solve!
+    end
+    
+    it "should translate #{relation} with variable lhs, constant operand and variable rhs" do
+      @expect.call(@set1, type, @constant_set, Gecode::Raw::SRT_SUP, @rhs, nil, 
+        false)
+      @set1.send(relation, @constant_set).must_be.superset_of(@rhs)
+      @model.solve!
+    end
+    
+    it "should translate #{relation} with variable lhs, constant operand and constant rhs" do
+      @expect.call(@set1, type, @constant_set, Gecode::Raw::SRT_SUP, 
+        @constant_set, nil, false)
+      @set1.send(relation, @constant_set).must_be.superset_of(@constant_set)
+      @model.solve!
+    end
+    
+    it "should translate #{relation} with constant lhs, variable operand and variable rhs" do
+      @expect.call(@constant_set, type, @set2, Gecode::Raw::SRT_SUP, 
+        @rhs, nil, false)
+      @wrapped_constant_set.send(relation, @set2).must_be.superset_of(@rhs)
+      @model.solve!
+    end
+    
+    it "should translate #{relation} with constant lhs, variable operand and constant rhs" do
+      @expect.call(@constant_set, type, @set2, Gecode::Raw::SRT_SUP, 
+        @constant_set, nil, false)
+      @wrapped_constant_set.send(relation, @set2).must_be.superset_of(@constant_set)
+      @model.solve!
+    end
+    
+    it "should raise error for #{relation} with constant lhs, operand and rhs" do
+      lambda do
+        @wrapped_constant_set.send(relation, @constant_set).must_be.superset_of(
+          @constant_set)
+      end.should raise_error(ArgumentError)
+    end
+  end
+  
+  it 'should raise error if negated' do
+    lambda do 
+      @set1.union(@set2).must_not_be.subset_of(@rhs) 
+    end.should raise_error(Gecode::MissingConstraintError)
+  end
+  
+  it 'should constrain the sets according to the operation (variable operands, variable rhs)' do
+    @set1.intersection(@set2).must == @rhs
+    @rhs.must == @constant_set
+    @model.solve!.should_not be_nil
+    (@set1.value.to_a & @set2.value.to_a).sort.should == @constant_set 
+  end
+  
+  it 'should constrain the sets according to the operation (variable operands, constant rhs)' do
+    @set1.intersection(@set2).must == @constant_set
+    @model.solve!.should_not be_nil
+    (@set1.value.to_a & @set2.value.to_a).sort.should == @constant_set 
+  end
+  
+  it 'should constrain the sets according to the operation (variable lhs, constant operand and rhs)' do
+    @set1.union(@constant_set).must == @constant_set
+    @model.solve!.should_not be_nil
+    (@set1.value.to_a + @constant_set).uniq.sort.should == @constant_set.sort
+  end
+  
+  it 'should constrain the sets according to the operation (variable lhs and rhs, constant operand)' do
+    @set1.union(@constant_set).must == @rhs
+    @model.solve!.should_not be_nil
+    (@set1.value.to_a + @constant_set).uniq.sort.should == @rhs.value.to_a.sort 
+  end
+  
+  it 'should constrain the sets according to the operation (constant lhs, variable operand and rhs)' do
+    @wrapped_constant_set.minus(@set2).must == @rhs
+    @model.solve!.should_not be_nil
+    (@constant_set - @set2.value.to_a).sort.should == @rhs.value.sort
+  end
+  
+  it 'should constrain the sets according to the operation (constant lhs and rhs, variable operand)' do
+    @wrapped_constant_set.minus(@set2).must == @constant_set
+    @model.solve!.should_not be_nil
+    (@constant_set - @set2.value.to_a).sort.should == @constant_set
+  end
+  
+  it_should_behave_like 'non-reifiable set constraint'
+end
+
+describe 'set enum operation constraint', :shared => true do
+  include GecodeR::Specs::SetHelper
+  
+  before do
+    @expect = lambda do |enum, operation_type, relation, rhs, reif_var, negated|
+      if rhs.respond_to? :bind
+        expected_target = [an_instance_of(Gecode::Raw::SetVar)]
+        relation_constraint = :rel
+      else
+        expected_target = expect_constant_set(rhs)
+        relation_constraint = :dom
+      end
+
+      if reif_var.nil?
+        if !negated and relation == Gecode::Raw::IRT_EQ and 
+            !rhs.kind_of? Enumerable
+          Gecode::Raw.should_receive(:rel).once.with(
+            an_instance_of(Gecode::Raw::Space), operation_type, 
+            an_instance_of(Gecode::Raw::SetVarArray), 
+            *expected_target)
+          Gecode::Raw.should_receive(:dom).exactly(0).times
+        else
+          if relation_constraint == :rel
+            Gecode::Raw.should_receive(:rel).twice
+          else
+            Gecode::Raw.should_receive(:rel).once.with(
+              an_instance_of(Gecode::Raw::Space), operation_type, 
+              an_instance_of(Gecode::Raw::SetVarArray), 
+              an_instance_of(Gecode::Raw::SetVar))
+            Gecode::Raw.should_receive(relation_constraint).at_most(:twice)
+          end
+        end
+      else
+        if relation_constraint == :rel
+          Gecode::Raw.should_receive(:rel).twice
+        else
+          Gecode::Raw.should_receive(:rel).once.with(
+            an_instance_of(Gecode::Raw::Space), operation_type, 
+            an_instance_of(Gecode::Raw::SetVarArray), 
+            an_instance_of(Gecode::Raw::SetVar))
+          expected_target << an_instance_of(Gecode::Raw::BoolVar)
+          Gecode::Raw.should_receive(relation_constraint).once.with(
+            an_instance_of(Gecode::Raw::Space), 
+            an_instance_of(Gecode::Raw::SetVar), relation, *expected_target)
+        end
+      end
+    end
+    
+    # For composite spec.
+    @invoke_relation = lambda do |relation, target, negated|
+      if negated
+        @stub.must_not.send(relation, target)
+      else
+        @stub.must.send(relation, target)
+      end
+      @model.solve!
+    end
+    @expect_relation = lambda do |relation, target, negated|
+      @expect.call(@sets, @operation_type, relation, target, nil, negated)
+    end
+    
+    # For options spec.
+    @invoke_options = lambda do |hash| 
+      @stub.must_be.superset_of(@rhs, hash)
+      @model.solve!
+    end
+    @expect_options = lambda do |strength, reif_var|
+      @expect.call(@sets, @operation_type, Gecode::Raw::SRT_SUP, @rhs, 
+        reif_var, false)
+    end
+  end
+  
+  it_should_behave_like 'reifiable set constraint'
+  it_should_behave_like 'composite set constraint'
+end
+
+describe Gecode::Constraints::SetEnum::Operation, ' (union)' do
+  before do
+    @model = Gecode::Model.new
+    @sets = @model.set_var_array(10, [], 0..20)
+    @target = @rhs = @model.set_var([], 0..20)
+    @model.branch_on @sets
+    
+    @stub = @sets.union
+    @operation_type = Gecode::Raw::SOT_UNION
+  end
+
+  it 'should constrain the union of the sets' do
+    @sets.union.must_be.subset_of [1,4,17]
+    @sets.union.must_be.superset_of 1
+    @model.solve!.should_not be_nil
+    union = @sets.values.inject([]){ |union, set| union += set.to_a }.uniq
+    union.should include(1)
+    (union - [1,4,17]).should be_empty
+  end
+  
+  it_should_behave_like 'set enum operation constraint'
+end
+
+describe Gecode::Constraints::SetEnum::Operation, ' (intersection)' do
+  before do
+    @model = Gecode::Model.new
+    @sets = @model.set_var_array(10, [], 0..20)
+    @target = @rhs = @model.set_var([], 0..20)
+    @model.branch_on @sets
+    
+    @stub = @sets.intersection
+    @operation_type = Gecode::Raw::SOT_INTER
+  end
+
+  it 'should constrain the intersection of the sets' do
+    @sets.intersection.must_be.subset_of [1,4,17]
+    @sets.intersection.must_be.superset_of [1]
+    @model.solve!.should_not be_nil
+    intersection = @sets.values.inject(nil) do |intersection, set|
+      next set.to_a if intersection.nil?
+      intersection &= set.to_a
+    end.uniq
+    intersection.should include(1)
+    (intersection - [1,4,17]).should be_empty
+  end
+  
+  it_should_behave_like 'set enum operation constraint'
+end
+
+describe Gecode::Constraints::SetEnum::Operation, ' (disjoint union)' do
+  before do
+    @model = Gecode::Model.new
+    @sets = @model.set_var_array(10, [], 0..20)
+    @target = @rhs = @model.set_var([], 0..20)
+    @model.branch_on @sets
+    
+    @stub = @sets.disjoint_union
+    @operation_type = Gecode::Raw::SOT_DUNION
+  end
+
+  it 'should constrain the disjoint union of the sets' do
+    @sets.disjoint_union.must_be.subset_of [1,4,17]
+    @sets.disjoint_union.must_be.superset_of [1]
+    @model.solve!.should_not be_nil
+    disjoint_union = @sets.values.inject([]) do |union, set|
+      intersection = union & set.to_a
+      union += set.to_a - intersection
+    end.uniq
+    disjoint_union.should include(1)
+    (disjoint_union - [1,4,17]).should be_empty
+  end
+  
+  it_should_behave_like 'set enum operation constraint'
+end

data/specs/enum_wrapper.rb

@@ -103,6 +103,11 @@ describe Gecode::SetEnumMethods do
       @set_enum.to_set_var_array.should be_kind_of(Gecode::Raw::SetVarArray)
     end
   end
+  
+  it 'should compute the smallest upper bound union range' do
+    @set_enum.upper_bound_range.should == (0..1)
+    (@set_enum << @model.set_var([], -4..4)).upper_bound_range.should == (-4..4)
+  end
 end
 
 describe Gecode::FixnumEnumMethods do

data/specs/model.rb

@@ -94,6 +94,13 @@ describe Gecode::Model, ' (set creation)' do
     @lower_card = 1
     @upper_card = 3
   end
+  
+  it 'should allow the creation of set variables without specified bounds' do
+    var = @model.set_var
+    var.lower_bound.size.should == 0
+    var.upper_bound.min.should == Gecode::Raw::Limits::Set::INT_MIN
+    var.upper_bound.max.should == Gecode::Raw::Limits::Set::INT_MAX
+  end
 
   it 'should allow the creation of set variables with glb range and lub range' do
     @model.set_var(@glb_range, @lub_range).should have_bounds(@glb_range, 

data/vendor/rust/configure.rb

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

data/vendor/rust/out.rb

@@ -0,0 +1,627 @@
+
+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
+