gecoder-with-gecode 0.8.1 → 0.8.2

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