gecoder 0.7.1 → 0.8.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 (66) hide show
  1. data/CHANGES +7 -0
  2. data/README +10 -1
  3. data/example/sudoku-set.rb +16 -13
  4. data/ext/extconf.rb +26 -9
  5. data/ext/missing.cpp +1 -1
  6. data/ext/missing.h +1 -1
  7. data/ext/vararray.h +4 -4
  8. data/lib/gecoder/bindings.rb +21 -1
  9. data/lib/gecoder/bindings/bindings.rb +408 -731
  10. data/lib/gecoder/interface/binding_changes.rb +1 -1
  11. data/lib/gecoder/interface/branch.rb +25 -25
  12. data/lib/gecoder/interface/constraints.rb +47 -4
  13. data/lib/gecoder/interface/constraints/bool/boolean.rb +18 -16
  14. data/lib/gecoder/interface/constraints/bool_enum/boolean.rb +13 -11
  15. data/lib/gecoder/interface/constraints/int/arithmetic.rb +5 -4
  16. data/lib/gecoder/interface/constraints/int/domain.rb +8 -9
  17. data/lib/gecoder/interface/constraints/int/linear.rb +10 -8
  18. data/lib/gecoder/interface/constraints/int_enum/arithmetic.rb +4 -4
  19. data/lib/gecoder/interface/constraints/int_enum/channel.rb +2 -2
  20. data/lib/gecoder/interface/constraints/int_enum/count.rb +4 -5
  21. data/lib/gecoder/interface/constraints/int_enum/distinct.rb +7 -2
  22. data/lib/gecoder/interface/constraints/int_enum/element.rb +2 -2
  23. data/lib/gecoder/interface/constraints/int_enum/equality.rb +6 -3
  24. data/lib/gecoder/interface/constraints/int_enum/sort.rb +17 -5
  25. data/lib/gecoder/interface/constraints/set_enum/distinct.rb +0 -36
  26. data/lib/gecoder/interface/constraints/set_var_constraints.rb +5 -0
  27. data/lib/gecoder/interface/model.rb +3 -3
  28. data/lib/gecoder/interface/search.rb +5 -4
  29. data/lib/gecoder/version.rb +1 -1
  30. data/specs/branch.rb +27 -27
  31. data/specs/constraints/arithmetic.rb +48 -30
  32. data/specs/constraints/bool_enum.rb +39 -19
  33. data/specs/constraints/boolean.rb +10 -10
  34. data/specs/constraints/cardinality.rb +12 -9
  35. data/specs/constraints/channel.rb +6 -6
  36. data/specs/constraints/connection.rb +22 -26
  37. data/specs/constraints/constraint_helper.rb +125 -41
  38. data/specs/constraints/count.rb +22 -15
  39. data/specs/constraints/distinct.rb +10 -64
  40. data/specs/constraints/element.rb +14 -12
  41. data/specs/constraints/equality.rb +4 -4
  42. data/specs/constraints/int_domain.rb +8 -7
  43. data/specs/constraints/int_relation.rb +12 -8
  44. data/specs/constraints/linear.rb +4 -4
  45. data/specs/constraints/reification_sugar.rb +22 -4
  46. data/specs/constraints/selection.rb +2 -2
  47. data/specs/constraints/set_domain.rb +7 -3
  48. data/specs/constraints/set_operation.rb +2 -2
  49. data/specs/constraints/set_relation.rb +2 -6
  50. data/specs/constraints/sort.rb +20 -16
  51. data/specs/distribution.rb +14 -0
  52. data/specs/model.rb +4 -4
  53. data/tasks/dependencies.txt +21 -0
  54. data/tasks/distribution.rake +81 -8
  55. data/tasks/svn.rake +6 -3
  56. data/vendor/rust/include/rust_checks.hh +2 -1
  57. data/vendor/rust/include/rust_conversions.hh +2 -2
  58. data/vendor/rust/rust/attribute.rb +2 -2
  59. data/vendor/rust/rust/class.rb +2 -2
  60. data/vendor/rust/rust/cxxclass.rb +0 -2
  61. data/vendor/rust/rust/function.rb +2 -2
  62. data/vendor/rust/rust/templates/AttributeDefinition.rusttpl +1 -1
  63. data/vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl +1 -1
  64. data/vendor/rust/rust/templates/VariableFunctionCall.rusttpl +1 -1
  65. data/vendor/rust/rust/type.rb +1 -1
  66. metadata +159 -157
data/tasks/svn.rake CHANGED
@@ -2,10 +2,13 @@ require 'lib/gecoder/version'
2
2
 
3
3
  desc "Tag the release in svn"
4
4
  task :tag do
5
- from = `svn info`.match(/Repository Root: (.*)/n)[1] + '/trunk'
6
- to = from.gsub(/trunk/, "tags/gecoder-#{GecodeR::VERSION}")
5
+ base_url = `svn info`.match(/Repository Root: (.*)/n)[1]
6
+ base_url.gsub!('rubyforge', "#{ENV['RUBYFORGE_USER']}@rubyforge")
7
+ from = base_url + '/trunk'
8
+ to = base_url + "/tags/gecoder-#{GecodeR::VERSION}"
9
+ options = "-m \"Tag release Gecode/R #{GecodeR::VERSION}\""
7
10
 
8
11
  puts "Creating tag in SVN"
9
- tag_cmd = "svn cp #{from} #{to} -m \"Tag release Gecode/R #{GecodeR::VERSION}\""
12
+ tag_cmd = "svn cp #{from} #{to} #{options}"
10
13
  `#{tag_cmd}` ; raise "ERROR: #{tag_cmd}" unless $? == 0
11
14
  end
data/vendor/rust/include/rust_checks.hh CHANGED
@@ -82,7 +82,8 @@ static inline bool is_array(VALUE val)
82
82
 
83
83
  static inline bool is_int(VALUE val)
84
84
  {
85
- return isType(val, T_FIXNUM);
85
+ return isType(val, T_FIXNUM) ||
86
+ (isType(val, T_BIGNUM) && NUM2INT(val) < INT_MAX);
86
87
  }
87
88
 
88
89
  static inline bool is_hash(VALUE val)
data/vendor/rust/include/rust_conversions.hh CHANGED
@@ -38,11 +38,11 @@ static inline int32_t ruby2int(VALUE rval, int argn = -1) {
38
38
  }
39
39
 
40
40
  static inline VALUE cxx2ruby(int32_t val) {
41
- return INT2FIX(val);
41
+ return INT2NUM(val);
42
42
  }
43
43
 
44
44
  static inline VALUE cxx2ruby(uint32_t val) {
45
- return INT2FIX(val);
45
+ return INT2NUM(val);
46
46
  }
47
47
 
48
48
  static inline VALUE cxx2ruby(double val) {
data/vendor/rust/rust/attribute.rb CHANGED
@@ -38,10 +38,10 @@ module Rust
38
38
  @prototype_template = "void set!attribute_bindname!(VALUE self, VALUE val);\nVALUE get!attribute_bindname!(VALUE self);\n"
39
39
  @initialization_template = Templates["AttributeInitBinding"]
40
40
 
41
-
42
41
  add_expansion 'parent_varname', "@options[:parent].varname"
43
42
  add_expansion 'attribute_bindname', "@name"
44
- add_expansion 'attribute_type', "@type"
43
+ add_expansion 'attribute_type', "@type.name"
44
+ add_expansion 'attribute_convert_name', "@type.valid_name"
45
45
  add_expansion 'attribute_name', "@name"
46
46
  end
47
47
 
data/vendor/rust/rust/class.rb CHANGED
@@ -41,7 +41,7 @@ module Rust
41
41
  # and a few other needed information.
42
42
  #
43
43
  # Don't call this function directly, use Namespace.add_cxx_class
44
- def initialize(name, namespace, bindname = name.split("::").last ) # :notnew:
44
+ def initialize(name, namespace, bindname = name.gsub(/::([^<>]+)$/,'\1') ) # :notnew:
45
45
  super()
46
46
 
47
47
  @name = name
@@ -220,7 +220,7 @@ module Rust
220
220
  super
221
221
 
222
222
  @varname =
223
- "f#{@parent.namespace.name.gsub("::","_")}_#{@parent.name}_#{@name}"
223
+ "f#{@parent.namespace.name.gsub("::","_")}_#{@parent.varname}_#{@name}"
224
224
 
225
225
  @definition_template = Templates["CxxMethodStub"]
226
226
  @initialization_template = Templates["MethodInitBinding"]
data/vendor/rust/rust/cxxclass.rb CHANGED
@@ -44,8 +44,6 @@ module Rust
44
44
 
45
45
  @definition_template = Templates["CxxClassDefinitions"]
46
46
 
47
- @varname = "#{complete_name.gsub("::", "_")}"
48
-
49
47
  if @parent
50
48
  @ptrmap = @parent.ptrmap
51
49
  @function_free = @parent.function_free
data/vendor/rust/rust/function.rb CHANGED
@@ -117,7 +117,7 @@ module Rust
117
117
  @parent = params[:parent]
118
118
  @optional_count = 0
119
119
 
120
- @varname = "f#{@parent.varname}#{@name}"
120
+ @varname = "f#{@parent.varname}#{@name.gsub('::', '_').gsub(/[<>]/, '')}"
121
121
 
122
122
  @aliases = Set.new
123
123
  @variable = false # Variable arguments function
@@ -139,7 +139,7 @@ module Rust
139
139
  add_expansion 'function_parameters', 'ruby_parameters'
140
140
  add_expansion 'function_call', 'stub'
141
141
  add_expansion 'function_varname', 'varname'
142
- add_expansion 'function_cname', '@name'
142
+ add_expansion 'function_cname', 'varname'
143
143
  add_expansion 'function_paramcount', 'paramcount'
144
144
  add_expansion 'function_bindname', '@bindname'
145
145
  add_expansion 'parent_varname', '@parent.varname'
data/vendor/rust/rust/templates/AttributeDefinition.rusttpl CHANGED
@@ -5,7 +5,7 @@ VALUE set!parent_varname!!attribute_bindname!(VALUE self, VALUE val) {
5
5
  !c_class_name!* tmp = ruby2!class_varcname!Ptr(self);
6
6
  if ( ! tmp ) return Qnil;
7
7
 
8
- tmp->!attribute_name! = ruby2!attribute_type!(val);
8
+ tmp->!attribute_name! = ruby2!attribute_convert_name!(val);
9
9
  return Qnil;
10
10
  }
11
11
 
data/vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl CHANGED
@@ -4,4 +4,4 @@ typedef std::map<VALUE, !c_class_name!*> T!class_ptrmap!;
4
4
  extern T!class_ptrmap! !class_ptrmap!;
5
5
  static void !class_varname!_free(void *p);
6
6
  static void !class_varname!_mark(void *p);
7
- static void !class_varname!_free_map_entry(void *p);
7
+ static void !class_varname!_free_map_entry(void *p);
data/vendor/rust/rust/templates/VariableFunctionCall.rusttpl CHANGED
@@ -9,6 +9,6 @@
9
9
 
10
10
  if ( !ok )
11
11
  {
12
- rb_raise(rb_eArgError, "Mantatory parameters missing");
12
+ rb_raise(rb_eArgError, "Mandatory parameters missing");
13
13
  return Qnil;
14
14
  }
data/vendor/rust/rust/type.rb CHANGED
@@ -41,7 +41,7 @@ module Rust
41
41
 
42
42
  end
43
43
 
44
- @valid_name = @valid_name.gsub("::", "_").gsub(/&|\s/, "")
44
+ @valid_name = @valid_name.gsub("::", "_").gsub(/[&\s<>]/, "")
45
45
  end
46
46
 
47
47
  def pointer?
metadata CHANGED
@@ -3,8 +3,8 @@ rubygems_version: 0.9.4
3
3
  specification_version: 1
4
4
  name: gecoder
5
5
  version: !ruby/object:Gem::Version
6
- version: 0.7.1
7
- date: 2007-08-10 00:00:00 +02:00
6
+ version: 0.8.0
7
+ date: 2008-04-10 00:00:00 +02:00
8
8
  summary: Ruby interface to Gecode, an environment for constraint programming.
9
9
  require_paths:
10
10
  - lib
@@ -30,109 +30,92 @@ authors:
30
30
  - - Gecode/R Development Team
31
31
  files:
32
32
  - Rakefile
33
- - README
33
+ - CHANGES
34
34
  - COPYING
35
+ - README
35
36
  - LGPL-LICENSE
36
- - CHANGES
37
- - lib/gecoder.rb
38
- - lib/gecoder/interface.rb
39
- - lib/gecoder/bindings.rb
40
- - lib/gecoder/version.rb
41
- - lib/gecoder/interface/search.rb
42
- - lib/gecoder/interface/model.rb
43
- - lib/gecoder/interface/constraints.rb
44
- - lib/gecoder/interface/binding_changes.rb
45
- - lib/gecoder/interface/branch.rb
46
- - lib/gecoder/interface/enum_wrapper.rb
47
- - lib/gecoder/interface/variables.rb
48
- - lib/gecoder/interface/enum_matrix.rb
49
- - lib/gecoder/interface/constraints/reifiable_constraints.rb
50
- - lib/gecoder/interface/constraints/bool_var_constraints.rb
51
- - lib/gecoder/interface/constraints/int_var_constraints.rb
52
- - lib/gecoder/interface/constraints/int_enum_constraints.rb
53
- - lib/gecoder/interface/constraints/bool_enum_constraints.rb
54
- - lib/gecoder/interface/constraints/set_enum_constraints.rb
55
- - lib/gecoder/interface/constraints/set_var_constraints.rb
56
- - lib/gecoder/interface/constraints/bool/boolean.rb
57
- - lib/gecoder/interface/constraints/bool/linear.rb
58
- - lib/gecoder/interface/constraints/int/linear.rb
59
- - lib/gecoder/interface/constraints/int/domain.rb
60
- - lib/gecoder/interface/constraints/int/arithmetic.rb
61
- - lib/gecoder/interface/constraints/int_enum/distinct.rb
62
- - lib/gecoder/interface/constraints/int_enum/equality.rb
63
- - lib/gecoder/interface/constraints/int_enum/channel.rb
64
- - lib/gecoder/interface/constraints/int_enum/element.rb
65
- - lib/gecoder/interface/constraints/int_enum/count.rb
66
- - lib/gecoder/interface/constraints/int_enum/sort.rb
67
- - lib/gecoder/interface/constraints/int_enum/arithmetic.rb
68
37
  - lib/gecoder/interface/constraints/bool_enum/boolean.rb
69
38
  - lib/gecoder/interface/constraints/set_enum/operation.rb
70
39
  - lib/gecoder/interface/constraints/set_enum/distinct.rb
71
- - lib/gecoder/interface/constraints/set_enum/channel.rb
72
40
  - lib/gecoder/interface/constraints/set_enum/selection.rb
73
- - lib/gecoder/interface/constraints/set/connection.rb
41
+ - lib/gecoder/interface/constraints/set_enum/channel.rb
42
+ - lib/gecoder/interface/constraints/int/domain.rb
43
+ - lib/gecoder/interface/constraints/int/arithmetic.rb
44
+ - lib/gecoder/interface/constraints/int/linear.rb
45
+ - lib/gecoder/interface/constraints/bool/boolean.rb
46
+ - lib/gecoder/interface/constraints/bool/linear.rb
74
47
  - lib/gecoder/interface/constraints/set/relation.rb
48
+ - lib/gecoder/interface/constraints/set/connection.rb
75
49
  - lib/gecoder/interface/constraints/set/operation.rb
76
50
  - lib/gecoder/interface/constraints/set/cardinality.rb
77
51
  - lib/gecoder/interface/constraints/set/domain.rb
52
+ - lib/gecoder/interface/constraints/int_enum/equality.rb
53
+ - lib/gecoder/interface/constraints/int_enum/distinct.rb
54
+ - lib/gecoder/interface/constraints/int_enum/sort.rb
55
+ - lib/gecoder/interface/constraints/int_enum/channel.rb
56
+ - lib/gecoder/interface/constraints/int_enum/count.rb
57
+ - lib/gecoder/interface/constraints/int_enum/arithmetic.rb
58
+ - lib/gecoder/interface/constraints/int_enum/element.rb
59
+ - lib/gecoder/interface/constraints/int_enum_constraints.rb
60
+ - lib/gecoder/interface/constraints/bool_enum_constraints.rb
61
+ - lib/gecoder/interface/constraints/set_enum_constraints.rb
62
+ - lib/gecoder/interface/constraints/int_var_constraints.rb
63
+ - lib/gecoder/interface/constraints/reifiable_constraints.rb
64
+ - lib/gecoder/interface/constraints/bool_var_constraints.rb
65
+ - lib/gecoder/interface/constraints/set_var_constraints.rb
66
+ - lib/gecoder/interface/branch.rb
67
+ - lib/gecoder/interface/model.rb
68
+ - lib/gecoder/interface/binding_changes.rb
69
+ - lib/gecoder/interface/enum_wrapper.rb
70
+ - lib/gecoder/interface/search.rb
71
+ - lib/gecoder/interface/constraints.rb
72
+ - lib/gecoder/interface/enum_matrix.rb
73
+ - lib/gecoder/interface/variables.rb
78
74
  - lib/gecoder/bindings/bindings.rb
79
- - example/example_helper.rb
80
- - example/raw_bindings.rb
81
- - example/send_more_money.rb
75
+ - lib/gecoder/bindings.rb
76
+ - lib/gecoder/interface.rb
77
+ - lib/gecoder/version.rb
78
+ - lib/gecoder.rb
82
79
  - example/queens.rb
83
- - example/sudoku.rb
84
- - example/magic_sequence.rb
85
- - example/sudoku-set.rb
80
+ - example/send_more_money.rb
86
81
  - example/send_most_money.rb
82
+ - example/sudoku-set.rb
83
+ - example/raw_bindings.rb
87
84
  - example/square_tiling.rb
88
- - vendor/rust
85
+ - example/magic_sequence.rb
86
+ - example/example_helper.rb
87
+ - example/sudoku.rb
89
88
  - vendor/rust/test
90
- - vendor/rust/include
91
- - vendor/rust/bin
92
- - vendor/rust/rust
93
- - vendor/rust/rust.rb
94
- - vendor/rust/README
95
89
  - vendor/rust/test/lib
96
- - vendor/rust/test/test-constants.rb
90
+ - vendor/rust/test/lib/extension-test.rb
97
91
  - vendor/rust/test/dummyclass.hh
92
+ - vendor/rust/test/operators.rb
93
+ - vendor/rust/test/cwrapper.rb
94
+ - vendor/rust/test/test-cppclass.rb
95
+ - vendor/rust/test/test-constants.rb
96
+ - vendor/rust/test/cppclass.cc
97
+ - vendor/rust/test/test-operators.rb
98
+ - vendor/rust/test/operators.cc
98
99
  - vendor/rust/test/test-cwrapper.rb
99
100
  - vendor/rust/test/cwrapper.c
100
- - vendor/rust/test/cwrapper.rb
101
101
  - vendor/rust/test/cppclass.hh
102
- - vendor/rust/test/test-cppclass.rb
103
102
  - vendor/rust/test/cwrapper.h
104
103
  - vendor/rust/test/cppclass.rb
105
- - vendor/rust/test/cppclass.cc
104
+ - vendor/rust/test/operators.hh
106
105
  - vendor/rust/test/Makefile
107
106
  - vendor/rust/test/constants.rb
108
- - vendor/rust/test/operators.rb
109
- - vendor/rust/test/operators.cc
110
- - vendor/rust/test/test-operators.rb
111
- - vendor/rust/test/operators.hh
112
- - vendor/rust/test/lib/extension-test.rb
107
+ - vendor/rust/include
113
108
  - vendor/rust/include/rust_conversions.hh
114
109
  - vendor/rust/include/rust_checks.hh
110
+ - vendor/rust/bin
115
111
  - vendor/rust/bin/cxxgenerator.rb
112
+ - vendor/rust/rust
116
113
  - vendor/rust/rust/templates
117
- - vendor/rust/rust/bindings.rb
118
- - vendor/rust/rust/type.rb
119
- - vendor/rust/rust/container.rb
120
- - vendor/rust/rust/attribute.rb
121
- - vendor/rust/rust/cwrapper.rb
122
- - vendor/rust/rust/enum.rb
123
- - vendor/rust/rust/class.rb
124
- - vendor/rust/rust/function.rb
125
- - vendor/rust/rust/cxxclass.rb
126
- - vendor/rust/rust/cppifaceparser.rb
127
- - vendor/rust/rust/element.rb
128
- - vendor/rust/rust/constants.rb
129
- - vendor/rust/rust/namespace.rb
130
- - vendor/rust/rust/templates/CWrapperClassDefinitions.rusttpl
131
114
  - vendor/rust/rust/templates/FunctionInitBinding.rusttpl
132
- - vendor/rust/rust/templates/AttributeDefinition.rusttpl
115
+ - vendor/rust/rust/templates/CWrapperClassDefinitions.rusttpl
133
116
  - vendor/rust/rust/templates/BindingsHeader.rusttpl
134
- - vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl
135
117
  - vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl
118
+ - vendor/rust/rust/templates/AttributeDefinition.rusttpl
136
119
  - vendor/rust/rust/templates/ModuleDeclarations.rusttpl
137
120
  - vendor/rust/rust/templates/ModuleDefinitions.rusttpl
138
121
  - vendor/rust/rust/templates/AttributeInitBinding.rusttpl
@@ -142,89 +125,108 @@ files:
142
125
  - vendor/rust/rust/templates/ClassInitialize.rusttpl
143
126
  - vendor/rust/rust/templates/VariableFunctionCall.rusttpl
144
127
  - vendor/rust/rust/templates/EnumDeclarations.rusttpl
145
- - vendor/rust/rust/templates/EnumDefinitions.rusttpl
128
+ - vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl
146
129
  - vendor/rust/rust/templates/BindingsUnit.rusttpl
147
130
  - vendor/rust/rust/templates/FunctionDefinition.rusttpl
148
131
  - vendor/rust/rust/templates/ClassDeclarations.rusttpl
149
132
  - vendor/rust/rust/templates/MethodInitBinding.rusttpl
133
+ - vendor/rust/rust/templates/EnumDefinitions.rusttpl
150
134
  - vendor/rust/rust/templates/CxxMethodStub.rusttpl
151
- - tasks/rcov.rake
135
+ - vendor/rust/rust/bindings.rb
136
+ - vendor/rust/rust/type.rb
137
+ - vendor/rust/rust/container.rb
138
+ - vendor/rust/rust/attribute.rb
139
+ - vendor/rust/rust/cwrapper.rb
140
+ - vendor/rust/rust/enum.rb
141
+ - vendor/rust/rust/class.rb
142
+ - vendor/rust/rust/function.rb
143
+ - vendor/rust/rust/cppifaceparser.rb
144
+ - vendor/rust/rust/cxxclass.rb
145
+ - vendor/rust/rust/element.rb
146
+ - vendor/rust/rust/constants.rb
147
+ - vendor/rust/rust/namespace.rb
148
+ - vendor/rust/rust.rb
149
+ - vendor/rust/README
152
150
  - tasks/all_tasks.rb
153
- - tasks/specs.rake
154
151
  - tasks/distribution.rake
155
152
  - tasks/website.rake
156
153
  - tasks/svn.rake
157
- - specs/search.rb
158
- - specs/model.rb
159
- - specs/branch.rb
160
- - specs/binding_changes.rb
161
- - specs/spec_helper.rb
162
- - specs/enum_wrapper.rb
163
- - specs/int_var.rb
154
+ - tasks/rcov.rake
155
+ - tasks/specs.rake
156
+ - tasks/dependencies.txt
164
157
  - specs/constraints
165
- - specs/bool_var.rb
166
- - specs/enum_matrix.rb
167
- - specs/set_var.rb
168
- - specs/logging.rb
169
- - specs/constraints/linear.rb
170
- - specs/constraints/selection.rb
171
- - specs/constraints/distinct.rb
172
- - specs/constraints/constraint_helper.rb
173
- - specs/constraints/constraints.rb
174
158
  - specs/constraints/boolean.rb
175
- - specs/constraints/reification_sugar.rb
176
159
  - specs/constraints/bool_enum.rb
177
- - specs/constraints/equality.rb
178
- - specs/constraints/channel.rb
179
- - specs/constraints/element.rb
180
- - specs/constraints/count.rb
181
- - specs/constraints/sort.rb
182
- - specs/constraints/arithmetic.rb
183
160
  - specs/constraints/int_domain.rb
161
+ - specs/constraints/distinct.rb
184
162
  - specs/constraints/set_domain.rb
163
+ - specs/constraints/constraint_helper.rb
164
+ - specs/constraints/selection.rb
185
165
  - specs/constraints/int_relation.rb
166
+ - specs/constraints/sort.rb
167
+ - specs/constraints/count.rb
186
168
  - specs/constraints/set_relation.rb
169
+ - specs/constraints/element.rb
170
+ - specs/constraints/arithmetic.rb
171
+ - specs/constraints/reification_sugar.rb
172
+ - specs/constraints/equality.rb
187
173
  - specs/constraints/connection.rb
188
174
  - specs/constraints/cardinality.rb
175
+ - specs/constraints/constraints.rb
176
+ - specs/constraints/channel.rb
177
+ - specs/constraints/linear.rb
189
178
  - specs/constraints/set_operation.rb
190
- - ext/missing.h
191
- - ext/extconf.rb
192
- - ext/vararray.cpp
193
- - ext/missing.cpp
194
- - ext/vararray.h
195
- test_files:
196
- - specs/search.rb
197
- - specs/model.rb
198
179
  - specs/branch.rb
180
+ - specs/model.rb
199
181
  - specs/binding_changes.rb
200
- - specs/spec_helper.rb
201
- - specs/enum_wrapper.rb
202
182
  - specs/int_var.rb
203
183
  - specs/bool_var.rb
204
- - specs/enum_matrix.rb
205
184
  - specs/set_var.rb
185
+ - specs/enum_wrapper.rb
186
+ - specs/search.rb
206
187
  - specs/logging.rb
207
- - specs/constraints/linear.rb
208
- - specs/constraints/selection.rb
209
- - specs/constraints/distinct.rb
210
- - specs/constraints/constraint_helper.rb
211
- - specs/constraints/constraints.rb
188
+ - specs/enum_matrix.rb
189
+ - specs/spec_helper.rb
190
+ - specs/distribution.rb
191
+ - ext/missing.cpp
192
+ - ext/vararray.cpp
193
+ - ext/missing.h
194
+ - ext/vararray.h
195
+ - ext/extconf.rb
196
+ test_files:
212
197
  - specs/constraints/boolean.rb
213
- - specs/constraints/reification_sugar.rb
214
198
  - specs/constraints/bool_enum.rb
215
- - specs/constraints/equality.rb
216
- - specs/constraints/channel.rb
217
- - specs/constraints/element.rb
218
- - specs/constraints/count.rb
219
- - specs/constraints/sort.rb
220
- - specs/constraints/arithmetic.rb
221
199
  - specs/constraints/int_domain.rb
200
+ - specs/constraints/distinct.rb
222
201
  - specs/constraints/set_domain.rb
202
+ - specs/constraints/constraint_helper.rb
203
+ - specs/constraints/selection.rb
223
204
  - specs/constraints/int_relation.rb
205
+ - specs/constraints/sort.rb
206
+ - specs/constraints/count.rb
224
207
  - specs/constraints/set_relation.rb
208
+ - specs/constraints/element.rb
209
+ - specs/constraints/arithmetic.rb
210
+ - specs/constraints/reification_sugar.rb
211
+ - specs/constraints/equality.rb
225
212
  - specs/constraints/connection.rb
226
213
  - specs/constraints/cardinality.rb
214
+ - specs/constraints/constraints.rb
215
+ - specs/constraints/channel.rb
216
+ - specs/constraints/linear.rb
227
217
  - specs/constraints/set_operation.rb
218
+ - specs/branch.rb
219
+ - specs/model.rb
220
+ - specs/binding_changes.rb
221
+ - specs/int_var.rb
222
+ - specs/bool_var.rb
223
+ - specs/set_var.rb
224
+ - specs/enum_wrapper.rb
225
+ - specs/search.rb
226
+ - specs/logging.rb
227
+ - specs/enum_matrix.rb
228
+ - specs/spec_helper.rb
229
+ - specs/distribution.rb
228
230
  rdoc_options:
229
231
  - --title
230
232
  - Gecode/R
@@ -238,53 +240,53 @@ extra_rdoc_files:
238
240
  - README
239
241
  - CHANGES
240
242
  - LGPL-LICENSE
241
- - lib/gecoder.rb
242
- - lib/gecoder/interface.rb
243
- - lib/gecoder/bindings.rb
244
- - lib/gecoder/version.rb
245
- - lib/gecoder/interface/search.rb
246
- - lib/gecoder/interface/model.rb
247
- - lib/gecoder/interface/constraints.rb
248
- - lib/gecoder/interface/binding_changes.rb
249
- - lib/gecoder/interface/branch.rb
250
- - lib/gecoder/interface/enum_wrapper.rb
251
- - lib/gecoder/interface/variables.rb
252
- - lib/gecoder/interface/enum_matrix.rb
253
- - lib/gecoder/interface/constraints/reifiable_constraints.rb
254
- - lib/gecoder/interface/constraints/bool_var_constraints.rb
255
- - lib/gecoder/interface/constraints/int_var_constraints.rb
256
- - lib/gecoder/interface/constraints/int_enum_constraints.rb
257
- - lib/gecoder/interface/constraints/bool_enum_constraints.rb
258
- - lib/gecoder/interface/constraints/set_enum_constraints.rb
259
- - lib/gecoder/interface/constraints/set_var_constraints.rb
260
- - lib/gecoder/interface/constraints/bool/boolean.rb
261
- - lib/gecoder/interface/constraints/bool/linear.rb
262
- - lib/gecoder/interface/constraints/int/linear.rb
263
- - lib/gecoder/interface/constraints/int/domain.rb
264
- - lib/gecoder/interface/constraints/int/arithmetic.rb
265
- - lib/gecoder/interface/constraints/int_enum/distinct.rb
266
- - lib/gecoder/interface/constraints/int_enum/equality.rb
267
- - lib/gecoder/interface/constraints/int_enum/channel.rb
268
- - lib/gecoder/interface/constraints/int_enum/element.rb
269
- - lib/gecoder/interface/constraints/int_enum/count.rb
270
- - lib/gecoder/interface/constraints/int_enum/sort.rb
271
- - lib/gecoder/interface/constraints/int_enum/arithmetic.rb
272
243
  - lib/gecoder/interface/constraints/bool_enum/boolean.rb
273
244
  - lib/gecoder/interface/constraints/set_enum/operation.rb
274
245
  - lib/gecoder/interface/constraints/set_enum/distinct.rb
275
- - lib/gecoder/interface/constraints/set_enum/channel.rb
276
246
  - lib/gecoder/interface/constraints/set_enum/selection.rb
277
- - lib/gecoder/interface/constraints/set/connection.rb
247
+ - lib/gecoder/interface/constraints/set_enum/channel.rb
248
+ - lib/gecoder/interface/constraints/int/domain.rb
249
+ - lib/gecoder/interface/constraints/int/arithmetic.rb
250
+ - lib/gecoder/interface/constraints/int/linear.rb
251
+ - lib/gecoder/interface/constraints/bool/boolean.rb
252
+ - lib/gecoder/interface/constraints/bool/linear.rb
278
253
  - lib/gecoder/interface/constraints/set/relation.rb
254
+ - lib/gecoder/interface/constraints/set/connection.rb
279
255
  - lib/gecoder/interface/constraints/set/operation.rb
280
256
  - lib/gecoder/interface/constraints/set/cardinality.rb
281
257
  - lib/gecoder/interface/constraints/set/domain.rb
258
+ - lib/gecoder/interface/constraints/int_enum/equality.rb
259
+ - lib/gecoder/interface/constraints/int_enum/distinct.rb
260
+ - lib/gecoder/interface/constraints/int_enum/sort.rb
261
+ - lib/gecoder/interface/constraints/int_enum/channel.rb
262
+ - lib/gecoder/interface/constraints/int_enum/count.rb
263
+ - lib/gecoder/interface/constraints/int_enum/arithmetic.rb
264
+ - lib/gecoder/interface/constraints/int_enum/element.rb
265
+ - lib/gecoder/interface/constraints/int_enum_constraints.rb
266
+ - lib/gecoder/interface/constraints/bool_enum_constraints.rb
267
+ - lib/gecoder/interface/constraints/set_enum_constraints.rb
268
+ - lib/gecoder/interface/constraints/int_var_constraints.rb
269
+ - lib/gecoder/interface/constraints/reifiable_constraints.rb
270
+ - lib/gecoder/interface/constraints/bool_var_constraints.rb
271
+ - lib/gecoder/interface/constraints/set_var_constraints.rb
272
+ - lib/gecoder/interface/branch.rb
273
+ - lib/gecoder/interface/model.rb
274
+ - lib/gecoder/interface/binding_changes.rb
275
+ - lib/gecoder/interface/enum_wrapper.rb
276
+ - lib/gecoder/interface/search.rb
277
+ - lib/gecoder/interface/constraints.rb
278
+ - lib/gecoder/interface/enum_matrix.rb
279
+ - lib/gecoder/interface/variables.rb
282
280
  - lib/gecoder/bindings/bindings.rb
281
+ - lib/gecoder/bindings.rb
282
+ - lib/gecoder/interface.rb
283
+ - lib/gecoder/version.rb
284
+ - lib/gecoder.rb
283
285
  executables: []
284
286
 
285
287
  extensions:
286
288
  - ext/extconf.rb
287
289
  requirements:
288
- - Gecode 1.3.1
290
+ - Gecode 2.1.1
289
291
  dependencies: []
290
292