gecoder 0.8.3 → 0.9.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (142) hide show
  1. data/CHANGES +15 -0
  2. data/README +6 -2
  3. data/example/equation_system.rb +15 -0
  4. data/example/magic_sequence.rb +7 -7
  5. data/example/money.rb +36 -0
  6. data/example/queens.rb +7 -8
  7. data/example/send_most_money.rb +1 -1
  8. data/example/square_tiling.rb +2 -2
  9. data/example/sudoku-set.rb +11 -12
  10. data/example/sudoku.rb +40 -45
  11. data/ext/extconf.rb +0 -0
  12. data/lib/gecoder/bindings.rb +42 -0
  13. data/lib/gecoder/bindings/bindings.rb +16 -0
  14. data/lib/gecoder/interface.rb +2 -1
  15. data/lib/gecoder/interface/branch.rb +16 -9
  16. data/lib/gecoder/interface/constraints.rb +410 -451
  17. data/lib/gecoder/interface/constraints/bool/boolean.rb +205 -213
  18. data/lib/gecoder/interface/constraints/bool/channel.rb +4 -5
  19. data/lib/gecoder/interface/constraints/bool/linear.rb +192 -21
  20. data/lib/gecoder/interface/constraints/bool_enum/channel.rb +43 -39
  21. data/lib/gecoder/interface/constraints/bool_enum/extensional.rb +43 -49
  22. data/lib/gecoder/interface/constraints/bool_enum/relation.rb +38 -71
  23. data/lib/gecoder/interface/constraints/bool_enum_constraints.rb +73 -22
  24. data/lib/gecoder/interface/constraints/bool_var_constraints.rb +140 -61
  25. data/lib/gecoder/interface/constraints/extensional_regexp.rb +4 -4
  26. data/lib/gecoder/interface/constraints/fixnum_enum/element.rb +63 -0
  27. data/lib/gecoder/interface/constraints/fixnum_enum/operation.rb +65 -0
  28. data/lib/gecoder/interface/constraints/fixnum_enum_constraints.rb +42 -0
  29. data/lib/gecoder/interface/constraints/int/arithmetic.rb +131 -130
  30. data/lib/gecoder/interface/constraints/int/channel.rb +21 -31
  31. data/lib/gecoder/interface/constraints/int/domain.rb +45 -42
  32. data/lib/gecoder/interface/constraints/int/linear.rb +85 -239
  33. data/lib/gecoder/interface/constraints/int/relation.rb +141 -0
  34. data/lib/gecoder/interface/constraints/int_enum/arithmetic.rb +55 -64
  35. data/lib/gecoder/interface/constraints/int_enum/channel.rb +35 -37
  36. data/lib/gecoder/interface/constraints/int_enum/count.rb +53 -78
  37. data/lib/gecoder/interface/constraints/int_enum/distinct.rb +36 -46
  38. data/lib/gecoder/interface/constraints/int_enum/element.rb +39 -57
  39. data/lib/gecoder/interface/constraints/int_enum/equality.rb +15 -19
  40. data/lib/gecoder/interface/constraints/int_enum/extensional.rb +65 -72
  41. data/lib/gecoder/interface/constraints/int_enum/sort.rb +42 -45
  42. data/lib/gecoder/interface/constraints/int_enum_constraints.rb +79 -22
  43. data/lib/gecoder/interface/constraints/int_var_constraints.rb +215 -44
  44. data/lib/gecoder/interface/constraints/reifiable_constraints.rb +14 -14
  45. data/lib/gecoder/interface/constraints/selected_set/select.rb +120 -0
  46. data/lib/gecoder/interface/constraints/selected_set_constraints.rb +75 -0
  47. data/lib/gecoder/interface/constraints/set/cardinality.rb +43 -53
  48. data/lib/gecoder/interface/constraints/set/channel.rb +26 -29
  49. data/lib/gecoder/interface/constraints/set/connection.rb +89 -152
  50. data/lib/gecoder/interface/constraints/set/domain.rb +112 -65
  51. data/lib/gecoder/interface/constraints/set/include.rb +36 -0
  52. data/lib/gecoder/interface/constraints/set/operation.rb +96 -110
  53. data/lib/gecoder/interface/constraints/set/relation.rb +114 -137
  54. data/lib/gecoder/interface/constraints/set_elements/relation.rb +116 -0
  55. data/lib/gecoder/interface/constraints/set_elements_constraints.rb +97 -0
  56. data/lib/gecoder/interface/constraints/set_enum/channel.rb +23 -27
  57. data/lib/gecoder/interface/constraints/set_enum/distinct.rb +18 -19
  58. data/lib/gecoder/interface/constraints/set_enum/operation.rb +62 -53
  59. data/lib/gecoder/interface/constraints/set_enum/select.rb +79 -0
  60. data/lib/gecoder/interface/constraints/set_enum_constraints.rb +73 -23
  61. data/lib/gecoder/interface/constraints/set_var_constraints.rb +222 -57
  62. data/lib/gecoder/interface/enum_matrix.rb +4 -4
  63. data/lib/gecoder/interface/enum_wrapper.rb +71 -22
  64. data/lib/gecoder/interface/model.rb +167 -12
  65. data/lib/gecoder/interface/model_sugar.rb +84 -0
  66. data/lib/gecoder/interface/search.rb +30 -18
  67. data/lib/gecoder/interface/variables.rb +103 -33
  68. data/lib/gecoder/version.rb +2 -2
  69. data/specs/bool_var.rb +19 -12
  70. data/specs/constraints/{boolean.rb → bool/boolean.rb} +103 -28
  71. data/specs/constraints/bool/boolean_properties.rb +51 -0
  72. data/specs/constraints/bool/linear.rb +213 -0
  73. data/specs/constraints/bool_enum/bool_enum_relation.rb +117 -0
  74. data/specs/constraints/bool_enum/channel.rb +102 -0
  75. data/specs/constraints/{extensional.rb → bool_enum/extensional.rb} +32 -101
  76. data/specs/constraints/constraint_helper.rb +149 -179
  77. data/specs/constraints/constraint_receivers.rb +103 -0
  78. data/specs/constraints/constraints.rb +6 -63
  79. data/specs/constraints/fixnum_enum/element.rb +58 -0
  80. data/specs/constraints/fixnum_enum/operation.rb +67 -0
  81. data/specs/constraints/int/arithmetic.rb +149 -0
  82. data/specs/constraints/int/channel.rb +101 -0
  83. data/specs/constraints/int/domain.rb +106 -0
  84. data/specs/constraints/int/linear.rb +183 -0
  85. data/specs/constraints/int/linear_properties.rb +97 -0
  86. data/specs/constraints/int/relation.rb +84 -0
  87. data/specs/constraints/int_enum/arithmetic.rb +72 -0
  88. data/specs/constraints/int_enum/channel.rb +57 -0
  89. data/specs/constraints/int_enum/count.rb +72 -0
  90. data/specs/constraints/int_enum/distinct.rb +80 -0
  91. data/specs/constraints/int_enum/element.rb +61 -0
  92. data/specs/constraints/int_enum/equality.rb +29 -0
  93. data/specs/constraints/int_enum/extensional.rb +224 -0
  94. data/specs/constraints/int_enum/sort.rb +167 -0
  95. data/specs/constraints/operands.rb +264 -0
  96. data/specs/constraints/property_helper.rb +443 -0
  97. data/specs/constraints/reification_sugar.rb +4 -5
  98. data/specs/constraints/selected_set/select.rb +56 -0
  99. data/specs/constraints/selected_set/select_properties.rb +157 -0
  100. data/specs/constraints/set/cardinality.rb +58 -0
  101. data/specs/constraints/set/cardinality_properties.rb +46 -0
  102. data/specs/constraints/set/channel.rb +77 -0
  103. data/specs/constraints/set/connection.rb +176 -0
  104. data/specs/constraints/set/domain.rb +197 -0
  105. data/specs/constraints/set/include.rb +36 -0
  106. data/specs/constraints/set/operation.rb +132 -0
  107. data/specs/constraints/set/relation.rb +117 -0
  108. data/specs/constraints/set_elements/relation.rb +84 -0
  109. data/specs/constraints/set_enum/channel.rb +80 -0
  110. data/specs/constraints/set_enum/distinct.rb +59 -0
  111. data/specs/constraints/set_enum/operation.rb +111 -0
  112. data/specs/constraints/set_enum/select.rb +73 -0
  113. data/specs/enum_wrapper.rb +53 -3
  114. data/specs/int_var.rb +44 -25
  115. data/specs/model.rb +58 -1
  116. data/specs/model_sugar.rb +30 -0
  117. data/specs/search.rb +24 -5
  118. data/specs/selected_set.rb +39 -0
  119. data/specs/set_elements.rb +34 -0
  120. data/specs/set_var.rb +22 -8
  121. data/specs/spec_helper.rb +206 -6
  122. data/tasks/distribution.rake +22 -7
  123. data/tasks/svn.rake +3 -1
  124. metadata +218 -134
  125. data/lib/gecoder/interface/constraints/set_enum/selection.rb +0 -217
  126. data/specs/constraints/arithmetic.rb +0 -351
  127. data/specs/constraints/bool_enum_relation.rb +0 -160
  128. data/specs/constraints/cardinality.rb +0 -157
  129. data/specs/constraints/channel.rb +0 -454
  130. data/specs/constraints/connection.rb +0 -369
  131. data/specs/constraints/count.rb +0 -146
  132. data/specs/constraints/distinct.rb +0 -164
  133. data/specs/constraints/element.rb +0 -108
  134. data/specs/constraints/equality.rb +0 -31
  135. data/specs/constraints/int_domain.rb +0 -70
  136. data/specs/constraints/int_relation.rb +0 -82
  137. data/specs/constraints/linear.rb +0 -340
  138. data/specs/constraints/selection.rb +0 -292
  139. data/specs/constraints/set_domain.rb +0 -185
  140. data/specs/constraints/set_operation.rb +0 -285
  141. data/specs/constraints/set_relation.rb +0 -197
  142. data/specs/constraints/sort.rb +0 -179
@@ -0,0 +1,103 @@
1
+ require File.dirname(__FILE__) + '/../spec_helper'
2
+
3
+ describe 'constraint receiver', :shared => true do
4
+ it 'should raise error unless an operand of the correct type is given as lhs' do
5
+ lambda do
6
+ op = Object.new
7
+ class <<op
8
+ include Gecode::Operand
9
+ end
10
+ @receiver.new(@model, {:lhs => op, :negate => false})
11
+ end.should raise_error(TypeError)
12
+ end
13
+ end
14
+
15
+ describe Gecode::ConstraintReceiver do
16
+ before do
17
+ @model = Gecode::Model.new
18
+ end
19
+
20
+ it 'should raise error if the negate params is not given' do
21
+ lambda do
22
+ Gecode::ConstraintReceiver.new(@model, {:lhs => nil})
23
+ end.should raise_error(ArgumentError)
24
+ end
25
+
26
+ it 'should raise error if the lhs params is not given' do
27
+ lambda do
28
+ Gecode::ConstraintReceiver.new(@model, {:lhs => nil})
29
+ end.should raise_error(ArgumentError)
30
+ end
31
+ end
32
+
33
+ describe Gecode::Int::IntConstraintReceiver, ' (not subclassed)' do
34
+ before do
35
+ @model = Gecode::Model.new
36
+ @receiver = Gecode::Int::IntConstraintReceiver
37
+ end
38
+
39
+ it_should_behave_like 'constraint receiver'
40
+ end
41
+
42
+ describe Gecode::IntEnum::IntEnumConstraintReceiver do
43
+ before do
44
+ @model = Gecode::Model.new
45
+ @receiver = Gecode::IntEnum::IntEnumConstraintReceiver
46
+ end
47
+
48
+ it_should_behave_like 'constraint receiver'
49
+ end
50
+
51
+ describe Gecode::Bool::BoolConstraintReceiver do
52
+ before do
53
+ @model = Gecode::Model.new
54
+ @receiver = Gecode::Bool::BoolConstraintReceiver
55
+ end
56
+
57
+ it_should_behave_like 'constraint receiver'
58
+ end
59
+
60
+ describe Gecode::BoolEnum::BoolEnumConstraintReceiver do
61
+ before do
62
+ @model = Gecode::Model.new
63
+ @receiver = Gecode::BoolEnum::BoolEnumConstraintReceiver
64
+ end
65
+
66
+ it_should_behave_like 'constraint receiver'
67
+ end
68
+
69
+ describe Gecode::Set::SetConstraintReceiver do
70
+ before do
71
+ @model = Gecode::Model.new
72
+ @receiver = Gecode::Set::SetConstraintReceiver
73
+ end
74
+
75
+ it_should_behave_like 'constraint receiver'
76
+ end
77
+
78
+ describe Gecode::SelectedSet::SelectedSetConstraintReceiver do
79
+ before do
80
+ @model = Gecode::Model.new
81
+ @receiver = Gecode::SelectedSet::SelectedSetConstraintReceiver
82
+ end
83
+
84
+ it_should_behave_like 'constraint receiver'
85
+ end
86
+
87
+ describe Gecode::SetElements::SetElementsConstraintReceiver do
88
+ before do
89
+ @model = Gecode::Model.new
90
+ @receiver = Gecode::SetElements::SetElementsConstraintReceiver
91
+ end
92
+
93
+ it_should_behave_like 'constraint receiver'
94
+ end
95
+
96
+ describe Gecode::SetEnum::SetEnumConstraintReceiver do
97
+ before do
98
+ @model = Gecode::Model.new
99
+ @receiver = Gecode::SetEnum::SetEnumConstraintReceiver
100
+ end
101
+
102
+ it_should_behave_like 'constraint receiver'
103
+ end
@@ -1,83 +1,26 @@
1
1
  require File.dirname(__FILE__) + '/../spec_helper'
2
2
 
3
- describe Gecode::Constraints::Expression do
4
- it 'should raise error if it doesn\'t get all parameters for initialization' do
5
- lambda do
6
- Gecode::Constraints::Expression.new(Gecode::Model.new, :negate => false)
7
- end.should raise_error(ArgumentError)
8
- end
9
- end
10
-
11
- describe Gecode::Constraints::IntEnum::Expression do
12
- it 'should raise error unless lhs is an int enum' do
13
- lambda do
14
- Gecode::Constraints::IntEnum::Expression.new(Gecode::Model.new,
15
- :lhs => 'foo', :negate => false)
16
- end.should raise_error(TypeError)
17
- end
18
- end
19
-
20
- describe Gecode::Constraints::BoolEnum::Expression do
21
- it 'should raise error unless lhs is a bool enum' do
22
- lambda do
23
- Gecode::Constraints::BoolEnum::Expression.new(Gecode::Model.new,
24
- :lhs => 'foo', :negate => false)
25
- end.should raise_error(TypeError)
26
- end
27
- end
28
-
29
- describe Gecode::Constraints::SetEnum::Expression do
30
- it 'should raise error unless lhs is a set enum' do
31
- lambda do
32
- Gecode::Constraints::SetEnum::Expression.new(Gecode::Model.new,
33
- :lhs => 'foo', :negate => false)
34
- end.should raise_error(TypeError)
35
- end
36
- end
37
-
38
- describe Gecode::Constraints::Int::CompositeStub, ' (not subclassed)' do
39
- before do
40
- @con = Gecode::Constraints::Int::CompositeStub.new(Gecode::Model.new, {})
41
- end
42
-
43
- it 'should raise error when calling #constrain_equal' do
44
- lambda do
45
- @con.instance_eval{ constrain_equal(nil, {}, false) }
46
- end.should raise_error(NoMethodError)
47
- end
48
- end
49
-
50
- describe Gecode::Constraints::Constraint, ' (not subclassed)' do
3
+ describe Gecode::Constraint, ' (not subclassed)' do
51
4
  before do
52
- @con = Gecode::Constraints::Constraint.new(Gecode::Model.new, {})
5
+ @con = Gecode::Constraint.new(Gecode::Model.new, {})
53
6
  end
54
7
 
55
8
  it 'should raise error when calling #post because it\'s not overridden' do
56
- lambda{ @con.post }.should raise_error(NoMethodError)
9
+ lambda{ @con.post }.should raise_error(NotImplementedError)
57
10
  end
58
11
  end
59
12
 
60
- describe Gecode::Constraints::Util do
13
+ describe Gecode::Util do
61
14
  it 'should raise error when giving incorrect set to #constant_set_to_params' do
62
15
  lambda do
63
- Gecode::Constraints::Util.constant_set_to_params('hello')
16
+ Gecode::Util.constant_set_to_params('hello')
64
17
  end.should raise_error(TypeError)
65
18
  end
66
19
 
67
20
  it 'should raise error when giving incorrect set to #constant_set_to_int_set' do
68
21
  lambda do
69
- Gecode::Constraints::Util.constant_set_to_int_set('hello')
22
+ Gecode::Util.constant_set_to_int_set('hello')
70
23
  end.should raise_error(TypeError)
71
24
  end
72
25
  end
73
26
 
74
- describe Gecode::Constraints::CompositeExpression do
75
- it 'should raise error if a method doesn\'t exist' do
76
- expression = Gecode::Constraints::CompositeExpression.new(
77
- Gecode::Constraints::Int::Expression, Gecode::FreeIntVar,
78
- lambda{ }, Gecode::Model.new, {:lhs => nil, :negate => false}){}
79
- lambda do
80
- expression.this_method_does_not_exist
81
- end.should raise_error(NoMethodError)
82
- end
83
- end
@@ -0,0 +1,58 @@
1
+ require File.dirname(__FILE__) + '/../property_helper'
2
+
3
+ class FixnumElementSampleProblem < Gecode::Model
4
+ attr :prices
5
+ attr :store
6
+ attr :price
7
+
8
+ def initialize
9
+ prices = [17, 63, 45, 63]
10
+ @prices = wrap_enum(prices)
11
+ @store = int_var(0...prices.size)
12
+ @price = int_var(prices)
13
+ branch_on @store
14
+ end
15
+ end
16
+
17
+ describe Gecode::FixnumEnum::Element do
18
+ before do
19
+ @model = FixnumElementSampleProblem.new
20
+ @price = @model.price
21
+ @store = @model.store
22
+ @enum = @model.prices
23
+
24
+ # For int operand producing property spec.
25
+ @property_types = [:fixnum_enum, :int]
26
+ @select_property = lambda do |fixnum_enum, int|
27
+ fixnum_enum[int]
28
+ end
29
+ @selected_property = @enum[@store]
30
+ @constraint_class = Gecode::BlockConstraint
31
+ end
32
+
33
+ it 'should not disturb normal array access' do
34
+ @enum[2].should_not be_nil
35
+ end
36
+
37
+ it 'should constrain the selected element' do
38
+ @enum[@store].must == @enum[2]
39
+ @model.solve!.should_not be_nil
40
+ @store.value.should equal(2)
41
+ end
42
+
43
+ it 'should be translated into an element constraint' do
44
+ @enum[@store].must == @price
45
+ @model.allow_space_access do
46
+ Gecode::Raw.should_receive(:element).once.with(
47
+ an_instance_of(Gecode::Raw::Space),
48
+ an_instance_of(Array),
49
+ @store.bind, @price.bind,
50
+ Gecode::Raw::ICL_DEF,
51
+ Gecode::Raw::PK_DEF)
52
+ end
53
+ @model.solve!
54
+ end
55
+
56
+ it_should_behave_like(
57
+ 'property that produces int operand by short circuiting equality')
58
+ end
@@ -0,0 +1,67 @@
1
+ require File.dirname(__FILE__) + '/../property_helper'
2
+
3
+ Gecode::Util::SET_OPERATION_TYPES.each_pair do |operation, type|
4
+ describe Gecode::FixnumEnum::Operation, " (#{operation} with set variable)" do
5
+ before do
6
+ @model = Gecode::Model.new
7
+ @constant_lhs = @model.wrap_enum [0, 4, 7]
8
+ @set = @model.set_var([1], 0..20)
9
+ @constant_set = [2, 3, 5]
10
+ @rhs = @model.set_var([], 0..20)
11
+ @model.branch_on @model.wrap_enum([@set, @rhs])
12
+
13
+ @property_types = [:fixnum_enum, :set]
14
+ @select_property = lambda do |fixnum_enum, set|
15
+ fixnum_enum.method(operation).call(set)
16
+ end
17
+ @selected_property = @constant_lhs.method(operation).call(@set)
18
+ @constraint_class =
19
+ Gecode::Set::Operation::OperationConstraint
20
+ end
21
+
22
+ it "should translate #{operation} into an operation constraint" do
23
+ @model.allow_space_access do
24
+ Gecode::Raw.should_receive(:rel).once.with(
25
+ an_instance_of(Gecode::Raw::Space),
26
+ an_instance_of(Gecode::Raw::IntSet), type, @set.bind,
27
+ Gecode::Raw::SRT_EQ, @rhs.bind)
28
+ end
29
+ @constant_lhs.method(operation).call(@set).must == @rhs
30
+ @model.solve!
31
+ end
32
+
33
+ it "should constrain the #{operation} of the sets with variable rhs" do
34
+ @constant_lhs.method(operation).call(@set).must == @rhs
35
+ @model.solve!
36
+
37
+ s1 = @constant_lhs
38
+ s2 = @set.value.to_a
39
+ rhs = @rhs.value.to_a
40
+ case operation
41
+ when :union
42
+ (s1 | s2).sort.should == rhs.sort
43
+ when :disjoint_union
44
+ (s1 | s2 - (s1 & s2)).sort.should == rhs.sort
45
+ when :intersection
46
+ (s1 & s2).should == rhs
47
+ when :minus
48
+ (s1 - s2).should == rhs
49
+ end
50
+ end
51
+
52
+ it 'should not allow constant sets to be given as argument' do
53
+ lambda do
54
+ @constant_lhs.method(operation).call(@constant_set).must == @rhs
55
+ end.should raise_error(TypeError)
56
+ end
57
+
58
+ it 'should not allow all three parameters to be constant sets' do
59
+ lambda do
60
+ @constant_lhs.method(operation).call(@constant_set).must == [0]
61
+ end.should raise_error(TypeError)
62
+ end
63
+
64
+ it_should_behave_like(
65
+ 'property that produces set operand by short circuiting set relations')
66
+ end
67
+ end
@@ -0,0 +1,149 @@
1
+ require File.dirname(__FILE__) + '/../property_helper'
2
+
3
+ class ArithmeticSampleProblem < Gecode::Model
4
+ attr :var
5
+ attr :var2
6
+
7
+ def initialize
8
+ @var = int_var(-9..9)
9
+ @var2 = int_var(0..9)
10
+ branch_on wrap_enum([@var, @var2])
11
+ end
12
+ end
13
+
14
+ describe Gecode::Int::Arithmetic, ' (abs)' do
15
+ before do
16
+ @model = ArithmeticSampleProblem.new
17
+ @var = @model.var
18
+
19
+ @property_types = [:int]
20
+ @select_property = lambda do |int|
21
+ int.abs
22
+ end
23
+ @selected_property = @var.abs
24
+ @constraint_class = Gecode::BlockConstraint
25
+ end
26
+
27
+ it 'should constrain the absolute value' do
28
+ @var.must < 0
29
+ @var.abs.must == 5
30
+ @model.solve!.var.value.should == -5
31
+ end
32
+
33
+ it 'should translate into an abs constraint' do
34
+ Gecode::Raw.should_receive(:abs)
35
+ @var.abs.must == 5
36
+ @model.solve!
37
+ end
38
+
39
+ it_should_behave_like(
40
+ 'property that produces int operand by short circuiting equality')
41
+ end
42
+
43
+ describe Gecode::Int::Arithmetic, ' (multiplication)' do
44
+ before do
45
+ @model = ArithmeticSampleProblem.new
46
+ @var = @model.var
47
+ @var2 = @model.var2
48
+
49
+ @property_types = [:int, :int]
50
+ @select_property = lambda do |int1, int2|
51
+ int1 * int2
52
+ end
53
+ @selected_property = @var * @var2
54
+ @constraint_class = Gecode::BlockConstraint
55
+ end
56
+
57
+ it 'should constrain the value of the multiplication' do
58
+ (@var * @var2).must == 56
59
+ sol = @model.solve!
60
+ [sol.var.value, sol.var2.value].sort.should == [7, 8]
61
+ end
62
+
63
+ it 'should translate into a mult constraint' do
64
+ Gecode::Raw.should_receive(:mult)
65
+ (@var * @var2).must == 56
66
+ @model.solve!
67
+ end
68
+
69
+ it_should_behave_like(
70
+ 'property that produces int operand by short circuiting equality')
71
+ end
72
+
73
+ describe Gecode::Int::Arithmetic, ' (squared)' do
74
+ before do
75
+ @model = ArithmeticSampleProblem.new
76
+ @var = @model.var
77
+
78
+ @property_types = [:int]
79
+ @select_property = lambda do |int|
80
+ int.squared
81
+ end
82
+ @selected_property = @var.squared
83
+ @constraint_class = Gecode::BlockConstraint
84
+ end
85
+
86
+ it 'should constrain the value of the variable squared' do
87
+ @var.squared.must == 9
88
+ sol = @model.solve!
89
+ sol.var.value.abs.should == 3
90
+ end
91
+
92
+ it 'should translate into a squared constraint' do
93
+ Gecode::Raw.should_receive(:sqr)
94
+ @var.squared.must == 4
95
+ @model.solve!
96
+ end
97
+
98
+ it_should_behave_like(
99
+ 'property that produces int operand by short circuiting equality')
100
+ end
101
+
102
+ describe Gecode::Int::Arithmetic, ' (square root)' do
103
+ before do
104
+ @model = ArithmeticSampleProblem.new
105
+ @var = @model.var
106
+
107
+ @property_types = [:int]
108
+ @select_property = lambda do |int|
109
+ int.sqrt
110
+ end
111
+ @selected_property = @var.sqrt
112
+ @constraint_class = Gecode::BlockConstraint
113
+ end
114
+
115
+ it 'should constrain the square root of the variable' do
116
+ @var.square_root.must == 3
117
+ sol = @model.solve!
118
+ Math.sqrt(sol.var.value).floor.should == 3
119
+ end
120
+
121
+ it 'should constrain the square root of the variable (2)' do
122
+ @var.square_root.must == 0
123
+ sol = @model.solve!
124
+ Math.sqrt(sol.var.value).floor.should == 0
125
+ end
126
+
127
+ it 'should constrain the square root of the variable (3)' do
128
+ @var.must < 0
129
+ @var.square_root.must == 0
130
+ lambda{ @model.solve! }.should raise_error(Gecode::NoSolutionError)
131
+ end
132
+
133
+ it 'should round down the square root' do
134
+ @var.must > 4
135
+ @var.square_root.must == 2
136
+ sol = @model.solve!
137
+ sol.var.value.should be_between(5,8)
138
+ end
139
+
140
+ it 'should translate into a square root constraint' do
141
+ Gecode::Raw.should_receive(:sqrt)
142
+ @var.sqrt.must == 2
143
+ @model.solve!
144
+ end
145
+
146
+ it_should_behave_like(
147
+ 'property that produces int operand by short circuiting equality')
148
+ end
149
+