gecoder-with-gecode 0.8.1 → 0.8.2

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 (28) hide show
  1. data/CHANGES +10 -0
  2. data/lib/gecoder/bindings/bindings.rb +35 -0
  3. data/lib/gecoder/interface/constraints.rb +34 -0
  4. data/lib/gecoder/interface/constraints/bool/boolean.rb +7 -0
  5. data/lib/gecoder/interface/constraints/bool/channel.rb +23 -0
  6. data/lib/gecoder/interface/constraints/bool_enum/channel.rb +59 -0
  7. data/lib/gecoder/interface/constraints/bool_enum/extensional.rb +10 -9
  8. data/lib/gecoder/interface/constraints/bool_enum_constraints.rb +1 -0
  9. data/lib/gecoder/interface/constraints/bool_var_constraints.rb +1 -0
  10. data/lib/gecoder/interface/constraints/int/arithmetic.rb +78 -1
  11. data/lib/gecoder/interface/constraints/int/channel.rb +73 -0
  12. data/lib/gecoder/interface/constraints/int_enum/channel.rb +10 -2
  13. data/lib/gecoder/interface/constraints/int_enum/extensional.rb +12 -9
  14. data/lib/gecoder/interface/constraints/int_var_constraints.rb +1 -0
  15. data/lib/gecoder/interface/enum_wrapper.rb +3 -0
  16. data/lib/gecoder/interface/search.rb +34 -2
  17. data/lib/gecoder/version.rb +1 -1
  18. data/specs/constraints/arithmetic.rb +108 -41
  19. data/specs/constraints/boolean.rb +4 -0
  20. data/specs/constraints/channel.rb +235 -5
  21. data/specs/constraints/distinct.rb +1 -1
  22. data/specs/constraints/extensional.rb +46 -41
  23. data/specs/constraints/linear.rb +8 -0
  24. data/specs/enum_wrapper.rb +8 -1
  25. data/specs/search.rb +119 -61
  26. data/specs/spec_helper.rb +0 -28
  27. data/tasks/distribution.rake +2 -3
  28. metadata +10 -4
metadata CHANGED
@@ -3,8 +3,8 @@ rubygems_version: 0.9.4
3
3
  specification_version: 1
4
4
  name: gecoder-with-gecode
5
5
  version: !ruby/object:Gem::Version
6
- version: 0.8.1
7
- date: 2008-04-20 00:00:00 +02:00
6
+ version: 0.8.2
7
+ date: 2008-05-08 00:00:00 +02:00
8
8
  summary: Ruby interface to Gecode, an environment for constraint programming.
9
9
  require_paths:
10
10
  - lib
@@ -34,6 +34,7 @@ files:
34
34
  - COPYING
35
35
  - README
36
36
  - LGPL-LICENSE
37
+ - lib/gecoder/interface/constraints/bool_enum/channel.rb
37
38
  - lib/gecoder/interface/constraints/bool_enum/extensional.rb
38
39
  - lib/gecoder/interface/constraints/bool_enum/relation.rb
39
40
  - lib/gecoder/interface/constraints/set_enum/operation.rb
@@ -43,8 +44,10 @@ files:
43
44
  - lib/gecoder/interface/constraints/int/domain.rb
44
45
  - lib/gecoder/interface/constraints/int/arithmetic.rb
45
46
  - lib/gecoder/interface/constraints/int/linear.rb
47
+ - lib/gecoder/interface/constraints/int/channel.rb
46
48
  - lib/gecoder/interface/constraints/bool/boolean.rb
47
49
  - lib/gecoder/interface/constraints/bool/linear.rb
50
+ - lib/gecoder/interface/constraints/bool/channel.rb
48
51
  - lib/gecoder/interface/constraints/set/relation.rb
49
52
  - lib/gecoder/interface/constraints/set/connection.rb
50
53
  - lib/gecoder/interface/constraints/set/operation.rb
@@ -158,6 +161,7 @@ files:
158
161
  - tasks/dependencies.txt
159
162
  - specs/constraints
160
163
  - specs/constraints/boolean.rb
164
+ - specs/constraints/channel.rb
161
165
  - specs/constraints/int_domain.rb
162
166
  - specs/constraints/distinct.rb
163
167
  - specs/constraints/set_domain.rb
@@ -174,7 +178,6 @@ files:
174
178
  - specs/constraints/connection.rb
175
179
  - specs/constraints/cardinality.rb
176
180
  - specs/constraints/constraints.rb
177
- - specs/constraints/channel.rb
178
181
  - specs/constraints/linear.rb
179
182
  - specs/constraints/set_operation.rb
180
183
  - specs/constraints/extensional.rb
@@ -789,6 +792,7 @@ files:
789
792
  - ext/gecode-2.1.1/install-sh
790
793
  test_files:
791
794
  - specs/constraints/boolean.rb
795
+ - specs/constraints/channel.rb
792
796
  - specs/constraints/int_domain.rb
793
797
  - specs/constraints/distinct.rb
794
798
  - specs/constraints/set_domain.rb
@@ -805,7 +809,6 @@ test_files:
805
809
  - specs/constraints/connection.rb
806
810
  - specs/constraints/cardinality.rb
807
811
  - specs/constraints/constraints.rb
808
- - specs/constraints/channel.rb
809
812
  - specs/constraints/linear.rb
810
813
  - specs/constraints/set_operation.rb
811
814
  - specs/constraints/extensional.rb
@@ -836,6 +839,7 @@ extra_rdoc_files:
836
839
  - README
837
840
  - CHANGES
838
841
  - LGPL-LICENSE
842
+ - lib/gecoder/interface/constraints/bool_enum/channel.rb
839
843
  - lib/gecoder/interface/constraints/bool_enum/extensional.rb
840
844
  - lib/gecoder/interface/constraints/bool_enum/relation.rb
841
845
  - lib/gecoder/interface/constraints/set_enum/operation.rb
@@ -845,8 +849,10 @@ extra_rdoc_files:
845
849
  - lib/gecoder/interface/constraints/int/domain.rb
846
850
  - lib/gecoder/interface/constraints/int/arithmetic.rb
847
851
  - lib/gecoder/interface/constraints/int/linear.rb
852
+ - lib/gecoder/interface/constraints/int/channel.rb
848
853
  - lib/gecoder/interface/constraints/bool/boolean.rb
849
854
  - lib/gecoder/interface/constraints/bool/linear.rb
855
+ - lib/gecoder/interface/constraints/bool/channel.rb
850
856
  - lib/gecoder/interface/constraints/set/relation.rb
851
857
  - lib/gecoder/interface/constraints/set/connection.rb
852
858
  - lib/gecoder/interface/constraints/set/operation.rb