gecoder 0.7.1 → 0.8.0

Sign up to get free protection for your applications and to get access to all the features.
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