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