gecoder 0.6.1 → 0.7.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.
- data/CHANGES +7 -0
- data/README +7 -7
- data/lib/gecoder/interface/constraints.rb +45 -3
- data/lib/gecoder/interface/constraints/int/domain.rb +1 -2
- data/lib/gecoder/interface/constraints/int_enum/element.rb +4 -2
- data/lib/gecoder/interface/constraints/set/operation.rb +101 -0
- data/lib/gecoder/interface/constraints/set_enum/operation.rb +36 -0
- data/lib/gecoder/interface/constraints/set_enum/selection.rb +143 -0
- data/lib/gecoder/interface/constraints/set_enum_constraints.rb +2 -0
- data/lib/gecoder/interface/constraints/set_var_constraints.rb +30 -0
- data/lib/gecoder/interface/enum_wrapper.rb +16 -1
- data/lib/gecoder/interface/model.rb +10 -6
- data/lib/gecoder/interface/search.rb +0 -6
- data/lib/gecoder/version.rb +1 -1
- data/specs/constraints/constraint_helper.rb +45 -4
- data/specs/constraints/constraints.rb +6 -0
- data/specs/constraints/selection.rb +292 -0
- data/specs/constraints/set_operation.rb +285 -0
- data/specs/enum_wrapper.rb +5 -0
- data/specs/model.rb +7 -0
- data/vendor/rust/configure.rb +6 -0
- data/vendor/rust/out.rb +627 -0
- metadata +14 -2
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
|
-
date: 2007-07-
|
|
6
|
+
version: 0.7.0
|
|
7
|
+
date: 2007-07-27 00:00:00 +02:00
|
|
8
8
|
summary: Ruby interface to Gecode, an environment for constraint programming.
|
|
9
9
|
require_paths:
|
|
10
10
|
- lib
|
|
@@ -65,10 +65,13 @@ files:
|
|
|
65
65
|
- lib/gecoder/interface/constraints/int_enum/sort.rb
|
|
66
66
|
- lib/gecoder/interface/constraints/int_enum/arithmetic.rb
|
|
67
67
|
- lib/gecoder/interface/constraints/bool_enum/boolean.rb
|
|
68
|
+
- lib/gecoder/interface/constraints/set_enum/operation.rb
|
|
68
69
|
- lib/gecoder/interface/constraints/set_enum/distinct.rb
|
|
69
70
|
- lib/gecoder/interface/constraints/set_enum/channel.rb
|
|
71
|
+
- lib/gecoder/interface/constraints/set_enum/selection.rb
|
|
70
72
|
- lib/gecoder/interface/constraints/set/connection.rb
|
|
71
73
|
- lib/gecoder/interface/constraints/set/relation.rb
|
|
74
|
+
- lib/gecoder/interface/constraints/set/operation.rb
|
|
72
75
|
- lib/gecoder/interface/constraints/set/cardinality.rb
|
|
73
76
|
- lib/gecoder/interface/constraints/set/domain.rb
|
|
74
77
|
- lib/gecoder/bindings/bindings.rb
|
|
@@ -84,8 +87,10 @@ files:
|
|
|
84
87
|
- vendor/rust/include
|
|
85
88
|
- vendor/rust/bin
|
|
86
89
|
- vendor/rust/rust
|
|
90
|
+
- vendor/rust/out.rb
|
|
87
91
|
- vendor/rust/rust.rb
|
|
88
92
|
- vendor/rust/README
|
|
93
|
+
- vendor/rust/configure.rb
|
|
89
94
|
- vendor/rust/test/lib
|
|
90
95
|
- vendor/rust/test/test-constants.rb
|
|
91
96
|
- vendor/rust/test/dummyclass.hh
|
|
@@ -161,6 +166,7 @@ files:
|
|
|
161
166
|
- specs/set_var.rb
|
|
162
167
|
- specs/logging.rb
|
|
163
168
|
- specs/constraints/linear.rb
|
|
169
|
+
- specs/constraints/selection.rb
|
|
164
170
|
- specs/constraints/distinct.rb
|
|
165
171
|
- specs/constraints/constraint_helper.rb
|
|
166
172
|
- specs/constraints/constraints.rb
|
|
@@ -179,6 +185,7 @@ files:
|
|
|
179
185
|
- specs/constraints/set_relation.rb
|
|
180
186
|
- specs/constraints/connection.rb
|
|
181
187
|
- specs/constraints/cardinality.rb
|
|
188
|
+
- specs/constraints/set_operation.rb
|
|
182
189
|
- ext/missing.h
|
|
183
190
|
- ext/extconf.rb
|
|
184
191
|
- ext/vararray.cpp
|
|
@@ -197,6 +204,7 @@ test_files:
|
|
|
197
204
|
- specs/set_var.rb
|
|
198
205
|
- specs/logging.rb
|
|
199
206
|
- specs/constraints/linear.rb
|
|
207
|
+
- specs/constraints/selection.rb
|
|
200
208
|
- specs/constraints/distinct.rb
|
|
201
209
|
- specs/constraints/constraint_helper.rb
|
|
202
210
|
- specs/constraints/constraints.rb
|
|
@@ -215,6 +223,7 @@ test_files:
|
|
|
215
223
|
- specs/constraints/set_relation.rb
|
|
216
224
|
- specs/constraints/connection.rb
|
|
217
225
|
- specs/constraints/cardinality.rb
|
|
226
|
+
- specs/constraints/set_operation.rb
|
|
218
227
|
rdoc_options:
|
|
219
228
|
- --title
|
|
220
229
|
- Gecode/R
|
|
@@ -255,10 +264,13 @@ extra_rdoc_files:
|
|
|
255
264
|
- lib/gecoder/interface/constraints/int_enum/sort.rb
|
|
256
265
|
- lib/gecoder/interface/constraints/int_enum/arithmetic.rb
|
|
257
266
|
- lib/gecoder/interface/constraints/bool_enum/boolean.rb
|
|
267
|
+
- lib/gecoder/interface/constraints/set_enum/operation.rb
|
|
258
268
|
- lib/gecoder/interface/constraints/set_enum/distinct.rb
|
|
259
269
|
- lib/gecoder/interface/constraints/set_enum/channel.rb
|
|
270
|
+
- lib/gecoder/interface/constraints/set_enum/selection.rb
|
|
260
271
|
- lib/gecoder/interface/constraints/set/connection.rb
|
|
261
272
|
- lib/gecoder/interface/constraints/set/relation.rb
|
|
273
|
+
- lib/gecoder/interface/constraints/set/operation.rb
|
|
262
274
|
- lib/gecoder/interface/constraints/set/cardinality.rb
|
|
263
275
|
- lib/gecoder/interface/constraints/set/domain.rb
|
|
264
276
|
- lib/gecoder/bindings/bindings.rb
|