gecoder-with-gecode 0.8.2-mswin32 → 0.8.3-mswin32

data/example/raw_bindings.rb

@@ -1,44 +0,0 @@
-require File.dirname(__FILE__) + '/example_helper'
-
-# An example of using the raw bindings. Solves the send+more=money problem.
-
-# Variables
-space = Gecode::Raw::Space.new
-letters = Gecode::Raw::IntVarArray.new(space, 8, 0, 9)
-space.own(letters, 'letters')
-s, e, n, d, m, o, r, y = (0..7).to_a.map{ |i| letters.at(i) }
-
-# Constraints
-Gecode::Raw::post(space, (s * 1000 + e * 100 + n * 10  + d   + 
-                     m * 1000 + o * 100 + r * 10  + e).
-            equal(m * 10000 + o * 1000 + n * 100 + e * 10  + y ), 
-            Gecode::Raw::ICL_DEF, Gecode::Raw::PK_DEF)
-Gecode::Raw::rel(space, s, Gecode::Raw::IRT_NQ, 0, Gecode::Raw::ICL_DEF, 
-  Gecode::Raw::PK_DEF)
-Gecode::Raw::rel(space, m, Gecode::Raw::IRT_NQ, 0, Gecode::Raw::ICL_DEF, 
-  Gecode::Raw::PK_DEF)
-Gecode::Raw::distinct(space, letters, Gecode::Raw::ICL_DEF, Gecode::Raw::PK_DEF)
-
-# Branching.
-Gecode::Raw::branch(space, letters, 
-  Gecode::Raw::INT_VAR_SIZE_MIN, Gecode::Raw::INT_VAL_MIN)
-
-# Search
-COPY_DIST = 16
-ADAPTATION_DIST = 4 
-dfs = Gecode::Raw::DFS.new(space, COPY_DIST, ADAPTATION_DIST, 
-  Gecode::Raw::Search::Stop.new)
-
-space = dfs.next
-if space.nil?
-  puts 'Failed'
-else
-  puts 'Solution:'
-  correct_letters = space.intVarArray('letters')
-  arr = []
-  correct_letters.size.times do |i|
-    arr << correct_letters.at(i).val
-  end
-  puts arr.join(' ')
-end
-

data/specs/binding_changes.rb

@@ -1,76 +0,0 @@
-require File.dirname(__FILE__) + '/spec_helper'
-
-describe 'Space', :shared => true do
-  it 'should give different indices when creating int variables' do
-    @space.new_int_vars([0, 17]).should_not equal(@space.new_int_vars([0, 17]))
-  end
-  
-  it 'should give different indices when creating bool variables' do
-    @space.new_bool_vars().should_not equal(@space.new_bool_vars())
-  end
-  
-  it 'should give different indices when creating multiple int variables' do
-    @space.new_int_vars([0, 17], 17).uniq.size.should equal(17)
-  end
-  
-  it 'should give different indices when creating multiple bool variables' do
-    @space.new_bool_vars(17).uniq.size.should equal(17)
-  end
-  
-  it 'should not return nil for created int variables' do
-    @space.new_int_vars([0, 17], 4).each do |i|
-      @space.int_var(i).should_not be_nil
-    end
-  end
-  
-  it 'should not return nil for created int variables' do
-    @space.new_bool_vars(4).each do |i|
-      @space.bool_var(i).should_not be_nil
-    end
-  end
-  
-  it 'should return nil when requesting int variables with negative indices' do
-    @space.int_var(-1).should be_nil
-  end
-  
-  it 'should return nil when requesting bool variables with negative indices' do
-    @space.bool_var(-1).should be_nil
-  end
-  
-  it 'should raise an error if given a domain of incorrect type' do
-    lambda{ @space.new_int_vars(17) }.should raise_error(TypeError)
-  end
-end
-
-describe Gecode::Raw::Space, ' (new)' do
-  before do
-    @space = Gecode::Raw::Space.new
-  end
-  
-  it 'should return nil when requesting int variables' do
-    @space.int_var(0).should be_nil
-  end
-  
-  it 'should return nil when requesting bool variables' do
-    @space.bool_var(0).should be_nil
-  end
-  
-  it_should_behave_like 'Space'
-end
-
-describe Gecode::Raw::Space, ' (with items)' do
-  before do
-    @space = Gecode::Raw::Space.new
-    @first = @space.new_int_vars([1, 4]).first
-    @second = @space.new_int_vars([-5, 5]).first
-  end
-  
-  it_should_behave_like 'Space'
-  
-  it 'should give int variables with the correct domains' do
-    @space.int_var(@first).min.should equal(1)
-    @space.int_var(@first).max.should equal(4)
-    @space.int_var(@second).min.should equal(-5)
-    @space.int_var(@second).max.should equal(5)
-  end
-end