gecoder-with-gecode 0.8.2 → 0.8.3

Sign up to get free protection for your applications and to get access to all the features.
Files changed (38) hide show
  1. data/CHANGES +14 -0
  2. data/ext/gecoder.cpp +181 -0
  3. data/ext/gecoder.h +94 -0
  4. data/ext/vararray.cpp +3 -3
  5. data/lib/gecoder/bindings/bindings.rb +104 -46
  6. data/lib/gecoder/interface/binding_changes.rb +1 -301
  7. data/lib/gecoder/interface/branch.rb +15 -11
  8. data/lib/gecoder/interface/constraints.rb +38 -0
  9. data/lib/gecoder/interface/constraints/bool/boolean.rb +56 -52
  10. data/lib/gecoder/interface/constraints/bool/channel.rb +1 -16
  11. data/lib/gecoder/interface/constraints/bool_enum/channel.rb +13 -8
  12. data/lib/gecoder/interface/constraints/bool_enum/extensional.rb +48 -0
  13. data/lib/gecoder/interface/constraints/extensional_regexp.rb +101 -0
  14. data/lib/gecoder/interface/constraints/int/channel.rb +1 -13
  15. data/lib/gecoder/interface/constraints/int_enum/channel.rb +15 -35
  16. data/lib/gecoder/interface/constraints/int_enum/extensional.rb +130 -0
  17. data/lib/gecoder/interface/constraints/set/channel.rb +54 -0
  18. data/lib/gecoder/interface/constraints/set_enum/channel.rb +37 -6
  19. data/lib/gecoder/interface/constraints/set_var_constraints.rb +1 -0
  20. data/lib/gecoder/interface/model.rb +110 -85
  21. data/lib/gecoder/interface/variables.rb +3 -21
  22. data/lib/gecoder/version.rb +1 -1
  23. data/specs/branch.rb +16 -1
  24. data/specs/constraints/bool_enum_relation.rb +6 -6
  25. data/specs/constraints/boolean.rb +31 -25
  26. data/specs/constraints/channel.rb +102 -4
  27. data/specs/constraints/extensional.rb +185 -2
  28. data/specs/constraints/reification_sugar.rb +2 -46
  29. data/specs/model.rb +85 -7
  30. data/tasks/dependencies.txt +1 -0
  31. data/vendor/rust/rust/class.rb +33 -35
  32. data/vendor/rust/rust/templates/ClassDeclarations.rusttpl +1 -1
  33. data/vendor/rust/rust/templates/CxxClassDefinitions.rusttpl +10 -1
  34. metadata +707 -706
  35. data/example/raw_bindings.rb +0 -44
  36. data/ext/missing.cpp +0 -328
  37. data/ext/missing.h +0 -120
  38. data/specs/binding_changes.rb +0 -76
data/specs/constraints/reification_sugar.rb CHANGED
@@ -26,28 +26,6 @@ describe Gecode::Constraints::ReifiableConstraint do
26
26
  @model.solve!.should be_nil
27
27
  end
28
28
 
29
- it 'should translate disjunctions' do
30
- Gecode::Raw.should_receive(:rel).once.with(
31
- an_instance_of(Gecode::Raw::Space),
32
- an_instance_of(Gecode::Raw::BoolVar), Gecode::Raw::BOT_OR,
33
- an_instance_of(Gecode::Raw::BoolVar),
34
- an_instance_of(Gecode::Raw::BoolVar),
35
- Gecode::Raw::ICL_DEF, Gecode::Raw::PK_DEF
36
- )
37
- Gecode::Raw.should_receive(:rel).once.with(
38
- an_instance_of(Gecode::Raw::Space),
39
- an_instance_of(Gecode::Raw::IntVar), Gecode::Raw::IRT_GR, 0,
40
- an_instance_of(Gecode::Raw::BoolVar), Gecode::Raw::ICL_DEF,
41
- Gecode::Raw::PK_DEF)
42
- Gecode::Raw.should_receive(:rel).once.with(
43
- an_instance_of(Gecode::Raw::Space),
44
- an_instance_of(Gecode::Raw::IntVar), Gecode::Raw::IRT_EQ, 3,
45
- an_instance_of(Gecode::Raw::BoolVar), Gecode::Raw::ICL_DEF,
46
- Gecode::Raw::PK_DEF)
47
- (@x.must > 0) | (@y.must == 3)
48
- sol = @model.solve!
49
- end
50
-
51
29
  it 'should solve disjunctions' do
52
30
  (@x.must > 0) | (@y.must == 3)
53
31
  sol = @model.solve!
@@ -59,29 +37,7 @@ describe Gecode::Constraints::ReifiableConstraint do
59
37
  (@x.must > 3) & (@y.must == 3)
60
38
  @model.solve!.should be_nil
61
39
  end
62
-
63
- it 'should translate conjunctions' do
64
- Gecode::Raw.should_receive(:rel).once.with(
65
- an_instance_of(Gecode::Raw::Space),
66
- an_instance_of(Gecode::Raw::BoolVar), Gecode::Raw::BOT_AND,
67
- an_instance_of(Gecode::Raw::BoolVar),
68
- an_instance_of(Gecode::Raw::BoolVar),
69
- Gecode::Raw::ICL_DEF, Gecode::Raw::PK_DEF
70
- )
71
- Gecode::Raw.should_receive(:rel).once.with(
72
- an_instance_of(Gecode::Raw::Space),
73
- an_instance_of(Gecode::Raw::IntVar), Gecode::Raw::IRT_GR, 0,
74
- an_instance_of(Gecode::Raw::BoolVar), Gecode::Raw::ICL_DEF,
75
- Gecode::Raw::PK_DEF)
76
- Gecode::Raw.should_receive(:rel).once.with(
77
- an_instance_of(Gecode::Raw::Space),
78
- an_instance_of(Gecode::Raw::IntVar), Gecode::Raw::IRT_EQ, 2,
79
- an_instance_of(Gecode::Raw::BoolVar), Gecode::Raw::ICL_DEF,
80
- Gecode::Raw::PK_DEF)
81
- (@x.must > 0) & (@y.must == 2)
82
- sol = @model.solve!
83
- end
84
-
40
+
85
41
  it 'should solve conjunctions' do
86
42
  (@x.must > 0) & (@y.must == 2)
87
43
  sol = @model.solve!
@@ -111,4 +67,4 @@ describe Gecode::Constraints::ReifiableConstraint do
111
67
  sol = @model.solve!
112
68
  sol.should be_nil
113
69
  end
114
- end
70
+ end
data/specs/model.rb CHANGED
@@ -9,7 +9,7 @@ describe Gecode::Model, ' (integer creation)' do
9
9
  range = 0..3
10
10
  @model.int_var(range).should have_domain(range)
11
11
  end
12
-
12
+
13
13
  it 'should allow the creation of int variables without specified domain' do
14
14
  var = @model.int_var
15
15
  var.should be_range
@@ -43,6 +43,17 @@ describe Gecode::Model, ' (integer creation)' do
43
43
  vars.each{ |var| var.should have_domain(domain) }
44
44
  end
45
45
 
46
+ it 'should allow the creation of int-var arrays without specified domain' do
47
+ count = 5
48
+ vars = @model.int_var_array(count)
49
+ vars.size.should equal(count)
50
+ vars.each do |var|
51
+ var.should be_range
52
+ var.min.should == Gecode::Raw::IntLimits::MIN
53
+ var.max.should == Gecode::Raw::IntLimits::MAX
54
+ end
55
+ end
56
+
46
57
  it 'should allow the creation of int-var matrices with range domains' do
47
58
  range = 0..3
48
59
  rows = 5
@@ -62,6 +73,32 @@ describe Gecode::Model, ' (integer creation)' do
62
73
  vars.column_size.should equal(columns)
63
74
  vars.each{ |var| var.should have_domain(domain) }
64
75
  end
76
+
77
+ it 'should allow the creation of int-var matrices without specified domain' do
78
+ rows = 5
79
+ columns = 4
80
+ vars = @model.int_var_matrix(rows, columns)
81
+ vars.row_size.should equal(rows)
82
+ vars.column_size.should equal(columns)
83
+ vars.each do |var|
84
+ var.should be_range
85
+ var.min.should == Gecode::Raw::IntLimits::MIN
86
+ var.max.should == Gecode::Raw::IntLimits::MAX
87
+ end
88
+ end
89
+
90
+ it 'should raise error if the domain is of incorrect type' do
91
+ lambda do
92
+ @model.int_var(nil)
93
+ end.should raise_error(TypeError)
94
+ end
95
+
96
+ it 'should gracefully GC a variable that was never accessed' do
97
+ lambda do
98
+ @model.int_var 0
99
+ GC.start
100
+ end.should_not raise_error
101
+ end
65
102
  end
66
103
 
67
104
  describe Gecode::Model, ' (bool creation)' do
@@ -82,6 +119,13 @@ describe Gecode::Model, ' (bool creation)' do
82
119
  matrix.row_size.should equal(3)
83
120
  matrix.column_size.should equal(4)
84
121
  end
122
+
123
+ it 'should gracefully GC a variable that was never accessed' do
124
+ lambda do
125
+ @model.bool_var
126
+ GC.start
127
+ end.should_not raise_error
128
+ end
85
129
  end
86
130
 
87
131
  describe Gecode::Model, ' (set creation)' do
@@ -143,6 +187,15 @@ describe Gecode::Model, ' (set creation)' do
143
187
  end
144
188
  end
145
189
 
190
+ it 'should allow the creation of arrays of set variables without specified bounds' do
191
+ vars = @model.set_var_array(3)
192
+ vars.each do |var|
193
+ var.lower_bound.size.should == 0
194
+ var.upper_bound.min.should == Gecode::Raw::SetLimits::MIN
195
+ var.upper_bound.max.should == Gecode::Raw::SetLimits::MAX
196
+ end
197
+ end
198
+
146
199
  it 'should allow the creation of matrices of set variables' do
147
200
  matrix = @model.set_var_matrix(4, 5, @glb_enum, @lub_enum,
148
201
  @lower_card..@upper_card)
@@ -154,20 +207,45 @@ describe Gecode::Model, ' (set creation)' do
154
207
  var.cardinality.begin.should >= @lower_card
155
208
  end
156
209
  end
210
+
211
+ it 'should allow the creation of matrices of set variables without specified bounds' do
212
+ matrix = @model.set_var_matrix(4, 5)
213
+ matrix.each do |var|
214
+ var.lower_bound.size.should == 0
215
+ var.upper_bound.min.should == Gecode::Raw::SetLimits::MIN
216
+ var.upper_bound.max.should == Gecode::Raw::SetLimits::MAX
217
+ end
218
+ end
157
219
 
158
220
  it 'should raise error if glb and lub are not valid when they are given as range' do
159
- lambda{ @model.set_var(@lub_range, @glb_range).should }.should raise_error(
160
- ArgumentError)
221
+ lambda do
222
+ @model.set_var(@lub_range, @glb_range)
223
+ end.should raise_error(ArgumentError)
161
224
  end
162
225
 
163
226
  it 'should raise error if glb and lub are not valid when one is given as enum' do
164
- lambda{ @model.set_var(@lub_range, @glb_enum).should }.should raise_error(
165
- ArgumentError)
227
+ lambda do
228
+ @model.set_var(@lub_range, @glb_enum)
229
+ end.should raise_error(ArgumentError)
166
230
  end
167
231
 
168
232
  it 'should raise error if glb and lub are not valid when both are given as enums' do
169
- lambda{ @model.set_var(@lub_enum, @glb_enum).should }.should raise_error(
170
- ArgumentError)
233
+ lambda do
234
+ @model.set_var(@lub_enum, @glb_enum)
235
+ end.should raise_error(ArgumentError)
236
+ end
237
+
238
+ it 'should raise error if the glb and lub are of incorrect type' do
239
+ lambda do
240
+ @model.set_var("foo\n", "foo\ns")
241
+ end.should raise_error(TypeError)
242
+ end
243
+
244
+ it 'should gracefully GC a variable that was never accessed' do
245
+ lambda do
246
+ @model.set_var(@glb_range, @lub_range)
247
+ GC.start
248
+ end.should_not raise_error
171
249
  end
172
250
  end
173
251
 
data/tasks/dependencies.txt CHANGED
@@ -9,6 +9,7 @@ coderay
9
9
 
10
10
  # To run the specs and produce a report for the website.
11
11
  rspec
12
+ rcov
12
13
 
13
14
  # To release files to RubyForge.
14
15
  meta_project
data/vendor/rust/rust/class.rb CHANGED
@@ -260,7 +260,7 @@ module Rust
260
260
 
261
261
  private
262
262
  def raw_call(nparam = nil)
263
- case @position
263
+ case position(@parameters.size)
264
264
  when 1 # pre
265
265
  "#{@name} (*tmp)"
266
266
  when 2 # mid
@@ -272,43 +272,41 @@ module Rust
272
272
  end
273
273
  end
274
274
 
275
+ # 1: pre 2: mid 3: post 4: mixed
276
+ def position(nparam)
277
+ case @name
278
+ when "+": (nparam.zero? ? 1 : 3)
279
+ when "-": 3
280
+ when "*": (nparam.zero? ? 1 : 3)
281
+ when "/": 3
282
+ when /\[\s*\]=/: 4
283
+ when /\[\s*\]/: 2
284
+ when "==": 3
285
+ when "!=": 3
286
+ when "<<": 3
287
+ when ">>": 3
288
+ when "!": 1
289
+ when "()": 2
290
+ else
291
+ 3
292
+ end
293
+ end
294
+
275
295
  def valid_name
276
296
  case @name
277
- when "+"
278
- @position = 3
279
- "plusop"
280
- when "-"
281
- @position = 3
282
- "minusop"
283
- when "*"
284
- @position = 3
285
- "multop"
286
- when "/"
287
- @position = 3
288
- "divop"
289
- when /\[\s*\]=/
290
- @position = 4
291
- "ateqop"
292
- when /\[\s*\]/
293
- @position = 2
294
- "atop"
295
- when "=="
296
- @position = 3
297
- "equalop"
298
- when "!="
299
- @position = 3
300
- "notequalop"
301
- when "<<"
302
- @position = 3
303
- "outstream"
304
- when ">>"
305
- @position = 3
306
- "intstream"
307
- when "!"
308
- @position = 1
309
- "notop"
297
+ when "+": "plusop"
298
+ when "-": "minusop"
299
+ when "*": "multop"
300
+ when "/": "divop"
301
+ when /\[\s*\]=/: "ateqop"
302
+ when /\[\s*\]/: "atop"
303
+ when "==": "equalop"
304
+ when "!=": "notequalop"
305
+ when "<<": "outstream"
306
+ when ">>": "intstream"
307
+ when "!": "notop"
308
+ when "()": "parenthesisop"
310
309
  else
311
- @position = 3
312
310
  "undefop_#{@name[0].chr.to_i}#{rand(1024)}"
313
311
  end
314
312
  end
data/vendor/rust/rust/templates/ClassDeclarations.rusttpl CHANGED
@@ -1,7 +1,7 @@
1
1
  //-*-c++-*-
2
2
 
3
3
  extern VALUE r!class_varname!;
4
- VALUE cxx2ruby(!c_class_name!* instance, bool free = false);
4
+ VALUE cxx2ruby(!c_class_name!* instance, bool free = false, bool create_new_if_needed = true);
5
5
  bool is_!class_varname!(VALUE val);
6
6
  !c_class_name!* ruby2!class_varcname!Ptr(VALUE rval, int argn = -1);
7
7
  !c_class_name!& ruby2!class_varcname!(VALUE rval, int argn = -1);
data/vendor/rust/rust/templates/CxxClassDefinitions.rusttpl CHANGED
@@ -51,17 +51,26 @@ bool is_!class_varname!(VALUE val)
51
51
  return *ruby2!class_varcname!Ptr(rval, argn);
52
52
  }
53
53
 
54
- VALUE cxx2ruby(!c_class_name!* instance, bool free) {
54
+ VALUE cxx2ruby(!c_class_name!* instance, bool free, bool create_new_if_needed) {
55
55
  if ( instance == NULL ) return Qnil;
56
56
 
57
57
  T!class_ptrmap!::iterator it, eend = !class_ptrmap!.end();
58
58
 
59
+ #ifdef DEBUG
60
+ fprintf(stderr, "rust: searching for !c_class_name! %p\n", instance);
61
+ #endif
62
+
59
63
  for(it = !class_ptrmap!.begin(); it != eend; it++)
60
64
  if ( (*it).second == (!c_class_name!*)instance ) break;
61
65
 
62
66
  if ( it != !class_ptrmap!.end() )
63
67
  return (*it).first;
64
68
  else {
69
+ #ifdef DEBUG
70
+ fprintf(stderr, "rust: failed to find match for %p\n", instance);
71
+ #endif
72
+ if(!create_new_if_needed) return Qnil;
73
+
65
74
  VALUE klass = r!class_varname!;
66
75
 
67
76
  !test_children!
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.2
7
- date: 2008-05-08 00:00:00 +02:00
6
+ version: 0.8.3
7
+ date: 2008-07-28 00:00:00 +02:00
8
8
  summary: Ruby interface to Gecode, an environment for constraint programming.
9
9
  require_paths:
10
10
  - lib
@@ -29,802 +29,801 @@ post_install_message:
29
29
  authors:
30
30
  - - Gecode/R Development Team
31
31
  files:
32
- - Rakefile
33
- - CHANGES
34
- - COPYING
35
32
  - README
36
33
  - LGPL-LICENSE
37
- - lib/gecoder/interface/constraints/bool_enum/channel.rb
38
- - lib/gecoder/interface/constraints/bool_enum/extensional.rb
39
- - lib/gecoder/interface/constraints/bool_enum/relation.rb
40
- - lib/gecoder/interface/constraints/set_enum/operation.rb
41
- - lib/gecoder/interface/constraints/set_enum/distinct.rb
42
- - lib/gecoder/interface/constraints/set_enum/selection.rb
43
- - lib/gecoder/interface/constraints/set_enum/channel.rb
44
- - lib/gecoder/interface/constraints/int/domain.rb
34
+ - CHANGES
35
+ - COPYING
36
+ - Rakefile
37
+ - lib/gecoder.rb
38
+ - lib/gecoder/bindings.rb
39
+ - lib/gecoder/interface/branch.rb
40
+ - lib/gecoder/interface/enum_matrix.rb
41
+ - lib/gecoder/interface/search.rb
42
+ - lib/gecoder/interface/constraints.rb
43
+ - lib/gecoder/interface/variables.rb
44
+ - lib/gecoder/interface/enum_wrapper.rb
45
+ - lib/gecoder/interface/model.rb
46
+ - lib/gecoder/interface/constraints/set_var_constraints.rb
47
+ - lib/gecoder/interface/constraints/extensional_regexp.rb
48
+ - lib/gecoder/interface/constraints/int_enum_constraints.rb
49
+ - lib/gecoder/interface/constraints/set/channel.rb
50
+ - lib/gecoder/interface/constraints/set/cardinality.rb
51
+ - lib/gecoder/interface/constraints/set/operation.rb
52
+ - lib/gecoder/interface/constraints/set/connection.rb
53
+ - lib/gecoder/interface/constraints/set/domain.rb
54
+ - lib/gecoder/interface/constraints/set/relation.rb
55
+ - lib/gecoder/interface/constraints/int/channel.rb
45
56
  - lib/gecoder/interface/constraints/int/arithmetic.rb
46
57
  - lib/gecoder/interface/constraints/int/linear.rb
47
- - lib/gecoder/interface/constraints/int/channel.rb
58
+ - lib/gecoder/interface/constraints/int/domain.rb
59
+ - lib/gecoder/interface/constraints/set_enum_constraints.rb
60
+ - lib/gecoder/interface/constraints/bool/channel.rb
48
61
  - lib/gecoder/interface/constraints/bool/boolean.rb
49
62
  - lib/gecoder/interface/constraints/bool/linear.rb
50
- - lib/gecoder/interface/constraints/bool/channel.rb
51
- - lib/gecoder/interface/constraints/set/relation.rb
52
- - lib/gecoder/interface/constraints/set/connection.rb
53
- - lib/gecoder/interface/constraints/set/operation.rb
54
- - lib/gecoder/interface/constraints/set/cardinality.rb
55
- - lib/gecoder/interface/constraints/set/domain.rb
56
- - lib/gecoder/interface/constraints/int_enum/equality.rb
57
- - lib/gecoder/interface/constraints/int_enum/distinct.rb
58
- - lib/gecoder/interface/constraints/int_enum/sort.rb
59
63
  - lib/gecoder/interface/constraints/int_enum/channel.rb
60
- - lib/gecoder/interface/constraints/int_enum/count.rb
61
- - lib/gecoder/interface/constraints/int_enum/arithmetic.rb
64
+ - lib/gecoder/interface/constraints/int_enum/distinct.rb
62
65
  - lib/gecoder/interface/constraints/int_enum/element.rb
66
+ - lib/gecoder/interface/constraints/int_enum/arithmetic.rb
67
+ - lib/gecoder/interface/constraints/int_enum/count.rb
63
68
  - lib/gecoder/interface/constraints/int_enum/extensional.rb
64
- - lib/gecoder/interface/constraints/int_enum_constraints.rb
69
+ - lib/gecoder/interface/constraints/int_enum/equality.rb
70
+ - lib/gecoder/interface/constraints/int_enum/sort.rb
71
+ - lib/gecoder/interface/constraints/bool_var_constraints.rb
65
72
  - lib/gecoder/interface/constraints/bool_enum_constraints.rb
66
- - lib/gecoder/interface/constraints/set_enum_constraints.rb
73
+ - lib/gecoder/interface/constraints/bool_enum/channel.rb
74
+ - lib/gecoder/interface/constraints/bool_enum/extensional.rb
75
+ - lib/gecoder/interface/constraints/bool_enum/relation.rb
67
76
  - lib/gecoder/interface/constraints/int_var_constraints.rb
68
77
  - lib/gecoder/interface/constraints/reifiable_constraints.rb
69
- - lib/gecoder/interface/constraints/bool_var_constraints.rb
70
- - lib/gecoder/interface/constraints/set_var_constraints.rb
71
- - lib/gecoder/interface/branch.rb
72
- - lib/gecoder/interface/model.rb
78
+ - lib/gecoder/interface/constraints/set_enum/channel.rb
79
+ - lib/gecoder/interface/constraints/set_enum/distinct.rb
80
+ - lib/gecoder/interface/constraints/set_enum/operation.rb
81
+ - lib/gecoder/interface/constraints/set_enum/selection.rb
73
82
  - lib/gecoder/interface/binding_changes.rb
74
- - lib/gecoder/interface/enum_wrapper.rb
75
- - lib/gecoder/interface/search.rb
76
- - lib/gecoder/interface/constraints.rb
77
- - lib/gecoder/interface/enum_matrix.rb
78
- - lib/gecoder/interface/variables.rb
79
- - lib/gecoder/bindings/bindings.rb
80
- - lib/gecoder/bindings.rb
81
- - lib/gecoder/interface.rb
82
83
  - lib/gecoder/version.rb
83
- - lib/gecoder.rb
84
+ - lib/gecoder/interface.rb
85
+ - lib/gecoder/bindings/bindings.rb
84
86
  - example/queens.rb
85
- - example/send_more_money.rb
86
87
  - example/send_most_money.rb
88
+ - example/magic_sequence.rb
89
+ - example/send_more_money.rb
87
90
  - example/sudoku-set.rb
88
- - example/raw_bindings.rb
91
+ - example/sudoku.rb
89
92
  - example/square_tiling.rb
90
- - example/magic_sequence.rb
91
93
  - example/example_helper.rb
92
- - example/sudoku.rb
93
- - vendor/rust/test
94
- - vendor/rust/test/lib
95
- - vendor/rust/test/lib/extension-test.rb
96
- - vendor/rust/test/dummyclass.hh
97
- - vendor/rust/test/operators.rb
98
- - vendor/rust/test/cwrapper.rb
99
- - vendor/rust/test/test-cppclass.rb
100
- - vendor/rust/test/test-constants.rb
101
- - vendor/rust/test/cppclass.cc
102
- - vendor/rust/test/test-operators.rb
103
- - vendor/rust/test/operators.cc
104
- - vendor/rust/test/test-cwrapper.rb
105
- - vendor/rust/test/cwrapper.c
106
- - vendor/rust/test/cppclass.hh
107
- - vendor/rust/test/cwrapper.h
108
- - vendor/rust/test/cppclass.rb
109
- - vendor/rust/test/operators.hh
110
- - vendor/rust/test/Makefile
111
- - vendor/rust/test/constants.rb
112
- - vendor/rust/include
113
- - vendor/rust/include/rust_conversions.hh
114
- - vendor/rust/include/rust_checks.hh
115
94
  - vendor/rust/bin
116
95
  - vendor/rust/bin/cxxgenerator.rb
96
+ - vendor/rust/README
117
97
  - vendor/rust/rust
98
+ - vendor/rust/rust/cwrapper.rb
99
+ - vendor/rust/rust/bindings.rb
100
+ - vendor/rust/rust/element.rb
101
+ - vendor/rust/rust/cxxclass.rb
102
+ - vendor/rust/rust/type.rb
103
+ - vendor/rust/rust/class.rb
104
+ - vendor/rust/rust/container.rb
118
105
  - vendor/rust/rust/templates
106
+ - vendor/rust/rust/templates/ModuleDeclarations.rusttpl
107
+ - vendor/rust/rust/templates/EnumDeclarations.rusttpl
108
+ - vendor/rust/rust/templates/BindingsUnit.rusttpl
109
+ - vendor/rust/rust/templates/ConstructorStub.rusttpl
110
+ - vendor/rust/rust/templates/EnumDefinitions.rusttpl
119
111
  - vendor/rust/rust/templates/FunctionInitBinding.rusttpl
120
112
  - vendor/rust/rust/templates/CWrapperClassDefinitions.rusttpl
121
- - vendor/rust/rust/templates/BindingsHeader.rusttpl
122
- - vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl
123
- - vendor/rust/rust/templates/AttributeDefinition.rusttpl
124
- - vendor/rust/rust/templates/ModuleDeclarations.rusttpl
125
- - vendor/rust/rust/templates/ModuleDefinitions.rusttpl
126
- - vendor/rust/rust/templates/AttributeInitBinding.rusttpl
127
113
  - vendor/rust/rust/templates/FunctionInitAlias.rusttpl
128
- - vendor/rust/rust/templates/ConstructorStub.rusttpl
129
- - vendor/rust/rust/templates/CxxClassDefinitions.rusttpl
130
114
  - vendor/rust/rust/templates/ClassInitialize.rusttpl
131
- - vendor/rust/rust/templates/VariableFunctionCall.rusttpl
132
- - vendor/rust/rust/templates/EnumDeclarations.rusttpl
133
- - vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl
134
- - vendor/rust/rust/templates/BindingsUnit.rusttpl
135
- - vendor/rust/rust/templates/FunctionDefinition.rusttpl
136
115
  - vendor/rust/rust/templates/ClassDeclarations.rusttpl
137
- - vendor/rust/rust/templates/MethodInitBinding.rusttpl
138
- - vendor/rust/rust/templates/EnumDefinitions.rusttpl
116
+ - vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl
139
117
  - vendor/rust/rust/templates/CxxMethodStub.rusttpl
140
- - vendor/rust/rust/bindings.rb
141
- - vendor/rust/rust/type.rb
142
- - vendor/rust/rust/container.rb
143
- - vendor/rust/rust/attribute.rb
144
- - vendor/rust/rust/cwrapper.rb
145
- - vendor/rust/rust/enum.rb
146
- - vendor/rust/rust/class.rb
147
- - vendor/rust/rust/function.rb
118
+ - vendor/rust/rust/templates/MethodInitBinding.rusttpl
119
+ - vendor/rust/rust/templates/ModuleDefinitions.rusttpl
120
+ - vendor/rust/rust/templates/VariableFunctionCall.rusttpl
121
+ - vendor/rust/rust/templates/AttributeInitBinding.rusttpl
122
+ - vendor/rust/rust/templates/BindingsHeader.rusttpl
123
+ - vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl
124
+ - vendor/rust/rust/templates/FunctionDefinition.rusttpl
125
+ - vendor/rust/rust/templates/AttributeDefinition.rusttpl
126
+ - vendor/rust/rust/templates/CxxClassDefinitions.rusttpl
148
127
  - vendor/rust/rust/cppifaceparser.rb
149
- - vendor/rust/rust/cxxclass.rb
150
- - vendor/rust/rust/element.rb
151
128
  - vendor/rust/rust/constants.rb
129
+ - vendor/rust/rust/attribute.rb
152
130
  - vendor/rust/rust/namespace.rb
131
+ - vendor/rust/rust/enum.rb
132
+ - vendor/rust/rust/function.rb
133
+ - vendor/rust/test
134
+ - vendor/rust/test/cppclass.rb
135
+ - vendor/rust/test/cwrapper.h
136
+ - vendor/rust/test/test-constants.rb
137
+ - vendor/rust/test/cwrapper.rb
138
+ - vendor/rust/test/operators.hh
139
+ - vendor/rust/test/cppclass.cc
140
+ - vendor/rust/test/Makefile
141
+ - vendor/rust/test/test-cppclass.rb
142
+ - vendor/rust/test/operators.rb
143
+ - vendor/rust/test/cppclass.hh
144
+ - vendor/rust/test/dummyclass.hh
145
+ - vendor/rust/test/operators.cc
146
+ - vendor/rust/test/constants.rb
147
+ - vendor/rust/test/test-cwrapper.rb
148
+ - vendor/rust/test/cwrapper.c
149
+ - vendor/rust/test/lib
150
+ - vendor/rust/test/lib/extension-test.rb
151
+ - vendor/rust/test/test-operators.rb
152
+ - vendor/rust/include
153
+ - vendor/rust/include/rust_checks.hh
154
+ - vendor/rust/include/rust_conversions.hh
153
155
  - vendor/rust/rust.rb
154
- - vendor/rust/README
155
- - tasks/all_tasks.rb
156
- - tasks/distribution.rake
157
156
  - tasks/website.rake
157
+ - tasks/specs.rake
158
158
  - tasks/svn.rake
159
159
  - tasks/rcov.rake
160
- - tasks/specs.rake
160
+ - tasks/all_tasks.rb
161
161
  - tasks/dependencies.txt
162
+ - tasks/distribution.rake
163
+ - specs/logging.rb
164
+ - specs/branch.rb
165
+ - specs/enum_matrix.rb
166
+ - specs/search.rb
167
+ - specs/bool_var.rb
168
+ - specs/distribution.rb
169
+ - specs/spec_helper.rb
170
+ - specs/int_var.rb
171
+ - specs/enum_wrapper.rb
172
+ - specs/model.rb
173
+ - specs/set_var.rb
162
174
  - specs/constraints
163
- - specs/constraints/boolean.rb
164
175
  - specs/constraints/channel.rb
165
- - specs/constraints/int_domain.rb
176
+ - specs/constraints/bool_enum_relation.rb
166
177
  - specs/constraints/distinct.rb
178
+ - specs/constraints/set_operation.rb
179
+ - specs/constraints/element.rb
167
180
  - specs/constraints/set_domain.rb
168
- - specs/constraints/constraint_helper.rb
169
- - specs/constraints/selection.rb
170
- - specs/constraints/int_relation.rb
171
- - specs/constraints/sort.rb
181
+ - specs/constraints/arithmetic.rb
182
+ - specs/constraints/constraints.rb
172
183
  - specs/constraints/count.rb
184
+ - specs/constraints/cardinality.rb
173
185
  - specs/constraints/set_relation.rb
174
- - specs/constraints/element.rb
175
- - specs/constraints/arithmetic.rb
176
- - specs/constraints/reification_sugar.rb
186
+ - specs/constraints/extensional.rb
177
187
  - specs/constraints/equality.rb
188
+ - specs/constraints/boolean.rb
189
+ - specs/constraints/int_relation.rb
190
+ - specs/constraints/sort.rb
191
+ - specs/constraints/constraint_helper.rb
192
+ - specs/constraints/int_domain.rb
193
+ - specs/constraints/reification_sugar.rb
194
+ - specs/constraints/selection.rb
178
195
  - specs/constraints/connection.rb
179
- - specs/constraints/cardinality.rb
180
- - specs/constraints/constraints.rb
181
196
  - specs/constraints/linear.rb
182
- - specs/constraints/set_operation.rb
183
- - specs/constraints/extensional.rb
184
- - specs/constraints/bool_enum_relation.rb
185
- - specs/branch.rb
186
- - specs/model.rb
187
- - specs/binding_changes.rb
188
- - specs/int_var.rb
189
- - specs/bool_var.rb
190
- - specs/set_var.rb
191
- - specs/enum_wrapper.rb
192
- - specs/search.rb
193
- - specs/logging.rb
194
- - specs/enum_matrix.rb
195
- - specs/spec_helper.rb
196
- - specs/distribution.rb
197
197
  - specs/examples.rb
198
- - ext/missing.cpp
198
+ - ext/gecoder.cpp
199
199
  - ext/vararray.cpp
200
- - ext/missing.h
200
+ - ext/gecoder.h
201
201
  - ext/vararray.h
202
202
  - ext/extconf.rb
203
203
  - ext/gecode-2.1.1/Makefile.contribs
204
- - ext/gecode-2.1.1/configure
204
+ - ext/gecode-2.1.1/install-sh
205
205
  - ext/gecode-2.1.1/LICENSE
206
- - ext/gecode-2.1.1/Makefile.in
207
- - ext/gecode-2.1.1/configure.ac
208
- - ext/gecode-2.1.1/contribs
209
- - ext/gecode-2.1.1/contribs/qecode
210
- - ext/gecode-2.1.1/contribs/qecode/qsolver.cc
211
- - ext/gecode-2.1.1/contribs/qecode/shortdesc.ac
212
- - ext/gecode-2.1.1/contribs/qecode/configure
213
- - ext/gecode-2.1.1/contribs/qecode/warner.cc
214
- - ext/gecode-2.1.1/contribs/qecode/Doxyfile
215
- - ext/gecode-2.1.1/contribs/qecode/FirstFailValueHeuristic.cc
216
- - ext/gecode-2.1.1/contribs/qecode/myspace.cc
217
- - ext/gecode-2.1.1/contribs/qecode/extensivecomparator.cc
218
- - ext/gecode-2.1.1/contribs/qecode/SDFVariableHeuristic.cc
219
- - ext/gecode-2.1.1/contribs/qecode/NaiveValueHeuristics.cc
220
- - ext/gecode-2.1.1/contribs/qecode/Makefile.in.in
221
- - ext/gecode-2.1.1/contribs/qecode/vartype.hh
222
- - ext/gecode-2.1.1/contribs/qecode/qsolver.hh
223
- - ext/gecode-2.1.1/contribs/qecode/implicative.cc
224
- - ext/gecode-2.1.1/contribs/qecode/valueHeuristic.hh
225
- - ext/gecode-2.1.1/contribs/qecode/warner.hh
226
- - ext/gecode-2.1.1/contribs/qecode/FirstFailValueHeuristic.hh
227
- - ext/gecode-2.1.1/contribs/qecode/qecode.hh
228
- - ext/gecode-2.1.1/contribs/qecode/myspace.hh
229
- - ext/gecode-2.1.1/contribs/qecode/extensivecomparator.hh
230
- - ext/gecode-2.1.1/contribs/qecode/SDFVariableHeuristic.hh
231
- - ext/gecode-2.1.1/contribs/qecode/NaiveValueHeuristics.hh
232
- - ext/gecode-2.1.1/contribs/qecode/heap.cc
233
- - ext/gecode-2.1.1/contribs/qecode/qecore.cc
234
- - ext/gecode-2.1.1/contribs/qecode/configure.ac
235
- - ext/gecode-2.1.1/contribs/qecode/implicative.hh
236
- - ext/gecode-2.1.1/contribs/qecode/myDom.cc
237
- - ext/gecode-2.1.1/contribs/qecode/qecore.hh
238
- - ext/gecode-2.1.1/contribs/qecode/examples
239
- - ext/gecode-2.1.1/contribs/qecode/examples/MatrixGame.cpp
240
- - ext/gecode-2.1.1/contribs/qecode/examples/COMPILING
241
- - ext/gecode-2.1.1/contribs/qecode/examples/stress_test.cpp
242
- - ext/gecode-2.1.1/contribs/qecode/examples/NimFibo.cpp
243
- - ext/gecode-2.1.1/contribs/README
244
- - ext/gecode-2.1.1/Makefile.dep
206
+ - ext/gecode-2.1.1/doxygen
207
+ - ext/gecode-2.1.1/doxygen/doxygen.conf.in
208
+ - ext/gecode-2.1.1/doxygen/doxygen.hh.in
209
+ - ext/gecode-2.1.1/doxygen/reflection.hh
245
210
  - ext/gecode-2.1.1/gecode.m4
211
+ - ext/gecode-2.1.1/configure
212
+ - ext/gecode-2.1.1/Makefile.dep
246
213
  - ext/gecode-2.1.1/gecode
247
- - ext/gecode-2.1.1/gecode/kernel
248
- - ext/gecode-2.1.1/gecode/kernel/shared-array.icc
249
- - ext/gecode-2.1.1/gecode/kernel/macros.icc
250
- - ext/gecode-2.1.1/gecode/kernel/core.icc
251
- - ext/gecode-2.1.1/gecode/kernel/var.icc
252
- - ext/gecode-2.1.1/gecode/kernel/var-map.cc
253
- - ext/gecode-2.1.1/gecode/kernel/reflection.icc
254
- - ext/gecode-2.1.1/gecode/kernel/branching.icc
255
- - ext/gecode-2.1.1/gecode/kernel/var-traits.icc
256
- - ext/gecode-2.1.1/gecode/kernel/exception.icc
257
- - ext/gecode-2.1.1/gecode/kernel/var-type.cc
258
- - ext/gecode-2.1.1/gecode/kernel/var-map.icc
259
- - ext/gecode-2.1.1/gecode/kernel/memory-manager.cc
260
- - ext/gecode-2.1.1/gecode/kernel/advisor.icc
261
- - ext/gecode-2.1.1/gecode/kernel/var-type.icc
262
- - ext/gecode-2.1.1/gecode/kernel/view.icc
263
- - ext/gecode-2.1.1/gecode/kernel/var-imp.icc
264
- - ext/gecode-2.1.1/gecode/kernel/propagator.icc
265
- - ext/gecode-2.1.1/gecode/kernel/array.icc
266
- - ext/gecode-2.1.1/gecode/kernel/core.cc
267
- - ext/gecode-2.1.1/gecode/kernel/memory-manager.icc
268
- - ext/gecode-2.1.1/gecode/kernel/reflection.cc
269
- - ext/gecode-2.1.1/gecode/kernel/modevent.icc
270
- - ext/gecode-2.1.1/gecode/int.hh
271
- - ext/gecode-2.1.1/gecode/set.hh
214
+ - ext/gecode-2.1.1/gecode/support.hh
215
+ - ext/gecode-2.1.1/gecode/set
216
+ - ext/gecode-2.1.1/gecode/set/view
217
+ - ext/gecode-2.1.1/gecode/set/view/print.cc
218
+ - ext/gecode-2.1.1/gecode/set/view/const.icc
219
+ - ext/gecode-2.1.1/gecode/set/view/complement.icc
220
+ - ext/gecode-2.1.1/gecode/set/view/offset.icc
221
+ - ext/gecode-2.1.1/gecode/set/view/set.icc
222
+ - ext/gecode-2.1.1/gecode/set/view/singleton.icc
223
+ - ext/gecode-2.1.1/gecode/set/sequence.hh
224
+ - ext/gecode-2.1.1/gecode/set/select
225
+ - ext/gecode-2.1.1/gecode/set/select/union.icc
226
+ - ext/gecode-2.1.1/gecode/set/select/disjoint.icc
227
+ - ext/gecode-2.1.1/gecode/set/select/disjoint.cc
228
+ - ext/gecode-2.1.1/gecode/set/select/idxarray.icc
229
+ - ext/gecode-2.1.1/gecode/set/select/inter.icc
230
+ - ext/gecode-2.1.1/gecode/set/select/unionConst.icc
231
+ - ext/gecode-2.1.1/gecode/set/select/idxarray.hh
232
+ - ext/gecode-2.1.1/gecode/set/dom.cc
233
+ - ext/gecode-2.1.1/gecode/set/select.hh
234
+ - ext/gecode-2.1.1/gecode/set/int.cc
235
+ - ext/gecode-2.1.1/gecode/set/array.cc
236
+ - ext/gecode-2.1.1/gecode/set/var
237
+ - ext/gecode-2.1.1/gecode/set/var/set.cc
238
+ - ext/gecode-2.1.1/gecode/set/var/set.icc
239
+ - ext/gecode-2.1.1/gecode/set/branch.hh
240
+ - ext/gecode-2.1.1/gecode/set/rel-op
241
+ - ext/gecode-2.1.1/gecode/set/rel-op/union.icc
242
+ - ext/gecode-2.1.1/gecode/set/rel-op/subofunion.icc
243
+ - ext/gecode-2.1.1/gecode/set/rel-op/superofinter.icc
244
+ - ext/gecode-2.1.1/gecode/set/rel-op/partition.icc
245
+ - ext/gecode-2.1.1/gecode/set/rel-op/post.icc
246
+ - ext/gecode-2.1.1/gecode/set/rel-op/inter.icc
247
+ - ext/gecode-2.1.1/gecode/set/rel-op/common.icc
248
+ - ext/gecode-2.1.1/gecode/set/convex.cc
249
+ - ext/gecode-2.1.1/gecode/set/projectors.cc
250
+ - ext/gecode-2.1.1/gecode/set/rel-op.hh
251
+ - ext/gecode-2.1.1/gecode/set/distinct.cc
252
+ - ext/gecode-2.1.1/gecode/set/distinct
253
+ - ext/gecode-2.1.1/gecode/set/distinct/atmostOne.cc
254
+ - ext/gecode-2.1.1/gecode/set/distinct/atmostOne.icc
255
+ - ext/gecode-2.1.1/gecode/set/projectors
256
+ - ext/gecode-2.1.1/gecode/set/projectors/propagator.hh
257
+ - ext/gecode-2.1.1/gecode/set/projectors/formula.cc
258
+ - ext/gecode-2.1.1/gecode/set/projectors/propagator
259
+ - ext/gecode-2.1.1/gecode/set/projectors/propagator/re-nary.icc
260
+ - ext/gecode-2.1.1/gecode/set/projectors/propagator/re-nary.cc
261
+ - ext/gecode-2.1.1/gecode/set/projectors/propagator/card.icc
262
+ - ext/gecode-2.1.1/gecode/set/projectors/propagator/nary.icc
263
+ - ext/gecode-2.1.1/gecode/set/projectors/compiler.cc
264
+ - ext/gecode-2.1.1/gecode/set/projectors/projector.icc
265
+ - ext/gecode-2.1.1/gecode/set/projectors/set-expr.cc
266
+ - ext/gecode-2.1.1/gecode/set/projectors/projector.cc
267
+ - ext/gecode-2.1.1/gecode/set/projectors/projector-set.cc
268
+ - ext/gecode-2.1.1/gecode/set/projectors/formula.icc
269
+ - ext/gecode-2.1.1/gecode/set/projectors/projector-set.icc
270
+ - ext/gecode-2.1.1/gecode/set/projectors/set-expr.icc
271
+ - ext/gecode-2.1.1/gecode/set/sequence
272
+ - ext/gecode-2.1.1/gecode/set/sequence/seq-u.icc
273
+ - ext/gecode-2.1.1/gecode/set/sequence/seq-u.cc
274
+ - ext/gecode-2.1.1/gecode/set/sequence/seq.icc
275
+ - ext/gecode-2.1.1/gecode/set/sequence/common.icc
276
+ - ext/gecode-2.1.1/gecode/set/sequence/seq.cc
277
+ - ext/gecode-2.1.1/gecode/set/int
278
+ - ext/gecode-2.1.1/gecode/set/int/channel-bool.icc
279
+ - ext/gecode-2.1.1/gecode/set/int/minmax.icc
280
+ - ext/gecode-2.1.1/gecode/set/int/weights.icc
281
+ - ext/gecode-2.1.1/gecode/set/int/card.icc
282
+ - ext/gecode-2.1.1/gecode/set/int/channel-int.icc
283
+ - ext/gecode-2.1.1/gecode/set/int/match.icc
284
+ - ext/gecode-2.1.1/gecode/set/sequence.cc
285
+ - ext/gecode-2.1.1/gecode/set/rel
286
+ - ext/gecode-2.1.1/gecode/set/rel/nq.icc
287
+ - ext/gecode-2.1.1/gecode/set/rel/re-eq.icc
288
+ - ext/gecode-2.1.1/gecode/set/rel/re-subset.icc
289
+ - ext/gecode-2.1.1/gecode/set/rel/eq.icc
290
+ - ext/gecode-2.1.1/gecode/set/rel/nosubset.icc
291
+ - ext/gecode-2.1.1/gecode/set/rel/common.icc
292
+ - ext/gecode-2.1.1/gecode/set/rel/subset.icc
293
+ - ext/gecode-2.1.1/gecode/set/array.icc
294
+ - ext/gecode-2.1.1/gecode/set/propagator.icc
295
+ - ext/gecode-2.1.1/gecode/set/var-imp.icc
296
+ - ext/gecode-2.1.1/gecode/set/int.hh
297
+ - ext/gecode-2.1.1/gecode/set/projectors.hh
298
+ - ext/gecode-2.1.1/gecode/set/convex.hh
299
+ - ext/gecode-2.1.1/gecode/set/limits.icc
300
+ - ext/gecode-2.1.1/gecode/set/distinct.hh
301
+ - ext/gecode-2.1.1/gecode/set/exception.icc
302
+ - ext/gecode-2.1.1/gecode/set/view.icc
303
+ - ext/gecode-2.1.1/gecode/set/var-imp
304
+ - ext/gecode-2.1.1/gecode/set/var-imp/iter.icc
305
+ - ext/gecode-2.1.1/gecode/set/var-imp/set.cc
306
+ - ext/gecode-2.1.1/gecode/set/var-imp/integerset.cc
307
+ - ext/gecode-2.1.1/gecode/set/var-imp/delta.icc
308
+ - ext/gecode-2.1.1/gecode/set/var-imp/integerset.icc
309
+ - ext/gecode-2.1.1/gecode/set/var-imp/set.icc
310
+ - ext/gecode-2.1.1/gecode/set/var-imp/set.vis
311
+ - ext/gecode-2.1.1/gecode/set/rel.cc
312
+ - ext/gecode-2.1.1/gecode/set/convex
313
+ - ext/gecode-2.1.1/gecode/set/convex/conv.icc
314
+ - ext/gecode-2.1.1/gecode/set/convex/conv.cc
315
+ - ext/gecode-2.1.1/gecode/set/convex/hull.icc
316
+ - ext/gecode-2.1.1/gecode/set/convex/hull.cc
317
+ - ext/gecode-2.1.1/gecode/set/select.cc
318
+ - ext/gecode-2.1.1/gecode/set/projectors-compiler.hh
319
+ - ext/gecode-2.1.1/gecode/set/cardinality.cc
320
+ - ext/gecode-2.1.1/gecode/set/rel.hh
321
+ - ext/gecode-2.1.1/gecode/set/branch.cc
322
+ - ext/gecode-2.1.1/gecode/set/rel-op.cc
323
+ - ext/gecode-2.1.1/gecode/set/rel-op-const.cc
324
+ - ext/gecode-2.1.1/gecode/set/branch
325
+ - ext/gecode-2.1.1/gecode/set/branch/select-view.icc
326
+ - ext/gecode-2.1.1/gecode/set/branch/select-val.icc
327
+ - ext/gecode-2.1.1/gecode/iter
328
+ - ext/gecode-2.1.1/gecode/iter/ranges-size.icc
329
+ - ext/gecode-2.1.1/gecode/iter/ranges-operations.icc
330
+ - ext/gecode-2.1.1/gecode/iter/virtual-ranges-compl.icc
331
+ - ext/gecode-2.1.1/gecode/iter/ranges-inter.icc
332
+ - ext/gecode-2.1.1/gecode/iter/virtual-ranges-inter.icc
333
+ - ext/gecode-2.1.1/gecode/iter/ranges-empty.icc
334
+ - ext/gecode-2.1.1/gecode/iter/values-ranges.icc
335
+ - ext/gecode-2.1.1/gecode/iter/ranges-values.icc
336
+ - ext/gecode-2.1.1/gecode/iter/ranges-append.icc
337
+ - ext/gecode-2.1.1/gecode/iter/values-unique.icc
338
+ - ext/gecode-2.1.1/gecode/iter/ranges-add.icc
339
+ - ext/gecode-2.1.1/gecode/iter/ranges-offset.icc
340
+ - ext/gecode-2.1.1/gecode/iter/values-minus.icc
341
+ - ext/gecode-2.1.1/gecode/iter/values-singleton.icc
342
+ - ext/gecode-2.1.1/gecode/iter/ranges-singleton.icc
343
+ - ext/gecode-2.1.1/gecode/iter/ranges-minus.icc
344
+ - ext/gecode-2.1.1/gecode/iter/virtual-ranges.icc
345
+ - ext/gecode-2.1.1/gecode/iter/virtual-ranges-union.icc
346
+ - ext/gecode-2.1.1/gecode/iter/ranges-singleton-append.icc
347
+ - ext/gecode-2.1.1/gecode/iter/ranges-compl.icc
348
+ - ext/gecode-2.1.1/gecode/iter/values-array.icc
349
+ - ext/gecode-2.1.1/gecode/iter/ranges-minmax.icc
350
+ - ext/gecode-2.1.1/gecode/iter/ranges-union.icc
351
+ - ext/gecode-2.1.1/gecode/iter/ranges-array.icc
352
+ - ext/gecode-2.1.1/gecode/iter/ranges-scale.icc
353
+ - ext/gecode-2.1.1/gecode/iter/ranges-diff.icc
354
+ - ext/gecode-2.1.1/gecode/iter/ranges-cache.icc
355
+ - ext/gecode-2.1.1/gecode/iter/values-offset.icc
356
+ - ext/gecode-2.1.1/gecode/kernel.hh
272
357
  - ext/gecode-2.1.1/gecode/int
273
- - ext/gecode-2.1.1/gecode/int/distinct.hh
274
- - ext/gecode-2.1.1/gecode/int/gcc.cc
275
- - ext/gecode-2.1.1/gecode/int/int-set.icc
276
- - ext/gecode-2.1.1/gecode/int/rel.hh
358
+ - ext/gecode-2.1.1/gecode/int/gcc.hh
359
+ - ext/gecode-2.1.1/gecode/int/dom
360
+ - ext/gecode-2.1.1/gecode/int/dom/range.icc
361
+ - ext/gecode-2.1.1/gecode/int/dom/spec.icc
362
+ - ext/gecode-2.1.1/gecode/int/view
363
+ - ext/gecode-2.1.1/gecode/int/view/print.cc
364
+ - ext/gecode-2.1.1/gecode/int/view/int.icc
365
+ - ext/gecode-2.1.1/gecode/int/view/minus.icc
366
+ - ext/gecode-2.1.1/gecode/int/view/iter.icc
367
+ - ext/gecode-2.1.1/gecode/int/view/zero.icc
368
+ - ext/gecode-2.1.1/gecode/int/view/scale.icc
369
+ - ext/gecode-2.1.1/gecode/int/view/offset.icc
370
+ - ext/gecode-2.1.1/gecode/int/view/rtest.icc
371
+ - ext/gecode-2.1.1/gecode/int/view/constint.icc
372
+ - ext/gecode-2.1.1/gecode/int/view/bool.icc
373
+ - ext/gecode-2.1.1/gecode/int/channel.cc
374
+ - ext/gecode-2.1.1/gecode/int/count.hh
375
+ - ext/gecode-2.1.1/gecode/int/dom.cc
376
+ - ext/gecode-2.1.1/gecode/int/gcc
377
+ - ext/gecode-2.1.1/gecode/int/gcc/dom.icc
378
+ - ext/gecode-2.1.1/gecode/int/gcc/graphsup.icc
379
+ - ext/gecode-2.1.1/gecode/int/gcc/val.icc
380
+ - ext/gecode-2.1.1/gecode/int/gcc/bnd.icc
381
+ - ext/gecode-2.1.1/gecode/int/gcc/lbc.icc
382
+ - ext/gecode-2.1.1/gecode/int/gcc/ubc.icc
383
+ - ext/gecode-2.1.1/gecode/int/gcc/occur.icc
384
+ - ext/gecode-2.1.1/gecode/int/gcc/gccbndsup.icc
385
+ - ext/gecode-2.1.1/gecode/int/array.cc
386
+ - ext/gecode-2.1.1/gecode/int/var
387
+ - ext/gecode-2.1.1/gecode/int/var/int.icc
388
+ - ext/gecode-2.1.1/gecode/int/var/int.cc
389
+ - ext/gecode-2.1.1/gecode/int/var/bool.cc
390
+ - ext/gecode-2.1.1/gecode/int/var/bool.icc
391
+ - ext/gecode-2.1.1/gecode/int/branch.hh
392
+ - ext/gecode-2.1.1/gecode/int/arithmetic.hh
393
+ - ext/gecode-2.1.1/gecode/int/arithmetic
394
+ - ext/gecode-2.1.1/gecode/int/arithmetic/sqr.icc
395
+ - ext/gecode-2.1.1/gecode/int/arithmetic/max.icc
396
+ - ext/gecode-2.1.1/gecode/int/arithmetic/abs.icc
397
+ - ext/gecode-2.1.1/gecode/int/arithmetic/mult.icc
398
+ - ext/gecode-2.1.1/gecode/int/arithmetic/sqrt.icc
399
+ - ext/gecode-2.1.1/gecode/int/element.hh
400
+ - ext/gecode-2.1.1/gecode/int/extensional.hh
401
+ - ext/gecode-2.1.1/gecode/int/linear.hh
402
+ - ext/gecode-2.1.1/gecode/int/distinct.cc
403
+ - ext/gecode-2.1.1/gecode/int/sorted.hh
277
404
  - ext/gecode-2.1.1/gecode/int/distinct
405
+ - ext/gecode-2.1.1/gecode/int/distinct/dom.icc
278
406
  - ext/gecode-2.1.1/gecode/int/distinct/val.icc
279
- - ext/gecode-2.1.1/gecode/int/distinct/bnd.icc
407
+ - ext/gecode-2.1.1/gecode/int/distinct/bilink.icc
408
+ - ext/gecode-2.1.1/gecode/int/distinct/ter-dom.icc
409
+ - ext/gecode-2.1.1/gecode/int/distinct/combptr.icc
280
410
  - ext/gecode-2.1.1/gecode/int/distinct/edge.icc
411
+ - ext/gecode-2.1.1/gecode/int/distinct/bnd.icc
281
412
  - ext/gecode-2.1.1/gecode/int/distinct/node.icc
282
- - ext/gecode-2.1.1/gecode/int/distinct/combptr.icc
283
- - ext/gecode-2.1.1/gecode/int/distinct/ter-dom.icc
284
- - ext/gecode-2.1.1/gecode/int/distinct/bilink.icc
285
- - ext/gecode-2.1.1/gecode/int/distinct/dom.icc
286
- - ext/gecode-2.1.1/gecode/int/branch.cc
287
- - ext/gecode-2.1.1/gecode/int/sorted.cc
288
- - ext/gecode-2.1.1/gecode/int/circuit.cc
289
- - ext/gecode-2.1.1/gecode/int/element.hh
290
- - ext/gecode-2.1.1/gecode/int/linear-bool.cc
291
- - ext/gecode-2.1.1/gecode/int/count
292
- - ext/gecode-2.1.1/gecode/int/count/rel.icc
293
- - ext/gecode-2.1.1/gecode/int/count/int.icc
294
- - ext/gecode-2.1.1/gecode/int/count/view.icc
413
+ - ext/gecode-2.1.1/gecode/int/cumulatives.cc
414
+ - ext/gecode-2.1.1/gecode/int/rel
415
+ - ext/gecode-2.1.1/gecode/int/rel/nq.icc
416
+ - ext/gecode-2.1.1/gecode/int/rel/lq-le.icc
417
+ - ext/gecode-2.1.1/gecode/int/rel/eq.icc
418
+ - ext/gecode-2.1.1/gecode/int/rel/lex.icc
419
+ - ext/gecode-2.1.1/gecode/int/gcc.cc
420
+ - ext/gecode-2.1.1/gecode/int/array.icc
421
+ - ext/gecode-2.1.1/gecode/int/propagator.icc
422
+ - ext/gecode-2.1.1/gecode/int/linear-int.cc
423
+ - ext/gecode-2.1.1/gecode/int/var-imp.icc
424
+ - ext/gecode-2.1.1/gecode/int/circuit
425
+ - ext/gecode-2.1.1/gecode/int/circuit/dom.icc
426
+ - ext/gecode-2.1.1/gecode/int/circuit/val.icc
427
+ - ext/gecode-2.1.1/gecode/int/circuit/base.icc
428
+ - ext/gecode-2.1.1/gecode/int/arithmetic.cc
295
429
  - ext/gecode-2.1.1/gecode/int/element
296
430
  - ext/gecode-2.1.1/gecode/int/element/int.icc
297
431
  - ext/gecode-2.1.1/gecode/int/element/view.icc
298
- - ext/gecode-2.1.1/gecode/int/bool.hh
299
- - ext/gecode-2.1.1/gecode/int/unshare.cc
300
432
  - ext/gecode-2.1.1/gecode/int/bool
301
- - ext/gecode-2.1.1/gecode/int/bool/eq.icc
302
433
  - ext/gecode-2.1.1/gecode/int/bool/base.icc
303
- - ext/gecode-2.1.1/gecode/int/bool/eqv.icc
304
434
  - ext/gecode-2.1.1/gecode/int/bool/lq.icc
305
435
  - ext/gecode-2.1.1/gecode/int/bool/or.icc
306
- - ext/gecode-2.1.1/gecode/int/exception.icc
307
- - ext/gecode-2.1.1/gecode/int/gcc
308
- - ext/gecode-2.1.1/gecode/int/gcc/val.icc
309
- - ext/gecode-2.1.1/gecode/int/gcc/bnd.icc
310
- - ext/gecode-2.1.1/gecode/int/gcc/gccbndsup.icc
311
- - ext/gecode-2.1.1/gecode/int/gcc/graphsup.icc
312
- - ext/gecode-2.1.1/gecode/int/gcc/ubc.icc
313
- - ext/gecode-2.1.1/gecode/int/gcc/occur.icc
314
- - ext/gecode-2.1.1/gecode/int/gcc/dom.icc
315
- - ext/gecode-2.1.1/gecode/int/gcc/lbc.icc
316
- - ext/gecode-2.1.1/gecode/int/cumulatives.hh
317
- - ext/gecode-2.1.1/gecode/int/sorted
318
- - ext/gecode-2.1.1/gecode/int/sorted/propagate.icc
319
- - ext/gecode-2.1.1/gecode/int/sorted/narrowing.icc
320
- - ext/gecode-2.1.1/gecode/int/sorted/matching.icc
321
- - ext/gecode-2.1.1/gecode/int/sorted/order.icc
322
- - ext/gecode-2.1.1/gecode/int/sorted/sortsup.icc
323
- - ext/gecode-2.1.1/gecode/int/cumulatives
324
- - ext/gecode-2.1.1/gecode/int/cumulatives/val.icc
325
- - ext/gecode-2.1.1/gecode/int/circuit
326
- - ext/gecode-2.1.1/gecode/int/circuit/val.icc
327
- - ext/gecode-2.1.1/gecode/int/circuit/base.icc
328
- - ext/gecode-2.1.1/gecode/int/circuit/dom.icc
329
- - ext/gecode-2.1.1/gecode/int/distinct.cc
330
- - ext/gecode-2.1.1/gecode/int/channel.hh
331
- - ext/gecode-2.1.1/gecode/int/rel.cc
332
- - ext/gecode-2.1.1/gecode/int/int-set.cc
333
- - ext/gecode-2.1.1/gecode/int/view.icc
334
- - ext/gecode-2.1.1/gecode/int/var-imp.icc
436
+ - ext/gecode-2.1.1/gecode/int/bool/eq.icc
437
+ - ext/gecode-2.1.1/gecode/int/bool/eqv.icc
438
+ - ext/gecode-2.1.1/gecode/int/circuit.hh
439
+ - ext/gecode-2.1.1/gecode/int/extensional.cc
440
+ - ext/gecode-2.1.1/gecode/int/count.cc
441
+ - ext/gecode-2.1.1/gecode/int/linear-bool.cc
335
442
  - ext/gecode-2.1.1/gecode/int/linear
443
+ - ext/gecode-2.1.1/gecode/int/linear/int-noview.icc
336
444
  - ext/gecode-2.1.1/gecode/int/linear/int-ter.icc
337
445
  - ext/gecode-2.1.1/gecode/int/linear/bool-int.icc
338
- - ext/gecode-2.1.1/gecode/int/linear/bool-view.icc
339
- - ext/gecode-2.1.1/gecode/int/linear/int-post.cc
340
- - ext/gecode-2.1.1/gecode/int/linear/bool-post.cc
341
- - ext/gecode-2.1.1/gecode/int/linear/post.icc
342
- - ext/gecode-2.1.1/gecode/int/linear/int-dom.icc
343
- - ext/gecode-2.1.1/gecode/int/linear/int-noview.icc
344
446
  - ext/gecode-2.1.1/gecode/int/linear/bool-scale.icc
345
447
  - ext/gecode-2.1.1/gecode/int/linear/int-bin.icc
448
+ - ext/gecode-2.1.1/gecode/int/linear/post.icc
449
+ - ext/gecode-2.1.1/gecode/int/linear/bool-post.cc
450
+ - ext/gecode-2.1.1/gecode/int/linear/bool-view.icc
346
451
  - ext/gecode-2.1.1/gecode/int/linear/int-nary.icc
347
- - ext/gecode-2.1.1/gecode/int/view
348
- - ext/gecode-2.1.1/gecode/int/view/iter.icc
349
- - ext/gecode-2.1.1/gecode/int/view/print.cc
350
- - ext/gecode-2.1.1/gecode/int/view/offset.icc
351
- - ext/gecode-2.1.1/gecode/int/view/scale.icc
352
- - ext/gecode-2.1.1/gecode/int/view/int.icc
353
- - ext/gecode-2.1.1/gecode/int/view/bool.icc
354
- - ext/gecode-2.1.1/gecode/int/view/minus.icc
355
- - ext/gecode-2.1.1/gecode/int/view/zero.icc
356
- - ext/gecode-2.1.1/gecode/int/view/constint.icc
357
- - ext/gecode-2.1.1/gecode/int/view/rtest.icc
358
- - ext/gecode-2.1.1/gecode/int/var-imp
359
- - ext/gecode-2.1.1/gecode/int/var-imp/bool.cc
360
- - ext/gecode-2.1.1/gecode/int/var-imp/delta.icc
361
- - ext/gecode-2.1.1/gecode/int/var-imp/int.icc
362
- - ext/gecode-2.1.1/gecode/int/var-imp/bool.icc
363
- - ext/gecode-2.1.1/gecode/int/var-imp/int.vis
364
- - ext/gecode-2.1.1/gecode/int/var-imp/bool.vis
365
- - ext/gecode-2.1.1/gecode/int/var-imp/int.cc
366
- - ext/gecode-2.1.1/gecode/int/element.cc
367
- - ext/gecode-2.1.1/gecode/int/dom.hh
368
- - ext/gecode-2.1.1/gecode/int/dom
369
- - ext/gecode-2.1.1/gecode/int/dom/spec.icc
370
- - ext/gecode-2.1.1/gecode/int/dom/range.icc
452
+ - ext/gecode-2.1.1/gecode/int/linear/int-dom.icc
453
+ - ext/gecode-2.1.1/gecode/int/linear/int-post.cc
371
454
  - ext/gecode-2.1.1/gecode/int/bool.cc
372
- - ext/gecode-2.1.1/gecode/int/rel
373
- - ext/gecode-2.1.1/gecode/int/rel/eq.icc
374
- - ext/gecode-2.1.1/gecode/int/rel/lex.icc
375
- - ext/gecode-2.1.1/gecode/int/rel/lq-le.icc
376
- - ext/gecode-2.1.1/gecode/int/rel/nq.icc
377
- - ext/gecode-2.1.1/gecode/int/cumulatives.cc
378
- - ext/gecode-2.1.1/gecode/int/count.hh
379
- - ext/gecode-2.1.1/gecode/int/linear-int.cc
380
- - ext/gecode-2.1.1/gecode/int/arithmetic.hh
381
- - ext/gecode-2.1.1/gecode/int/extensional.hh
382
- - ext/gecode-2.1.1/gecode/int/var
383
- - ext/gecode-2.1.1/gecode/int/var/bool.cc
384
- - ext/gecode-2.1.1/gecode/int/var/int.icc
385
- - ext/gecode-2.1.1/gecode/int/var/bool.icc
386
- - ext/gecode-2.1.1/gecode/int/var/int.cc
387
- - ext/gecode-2.1.1/gecode/int/arithmetic
388
- - ext/gecode-2.1.1/gecode/int/arithmetic/abs.icc
389
- - ext/gecode-2.1.1/gecode/int/arithmetic/max.icc
390
- - ext/gecode-2.1.1/gecode/int/arithmetic/sqr.icc
391
- - ext/gecode-2.1.1/gecode/int/arithmetic/sqrt.icc
392
- - ext/gecode-2.1.1/gecode/int/arithmetic/mult.icc
455
+ - ext/gecode-2.1.1/gecode/int/dom.hh
393
456
  - ext/gecode-2.1.1/gecode/int/extensional
394
- - ext/gecode-2.1.1/gecode/int/extensional/tuple-set.icc
395
- - ext/gecode-2.1.1/gecode/int/extensional/layered-graph.icc
396
- - ext/gecode-2.1.1/gecode/int/extensional/tuple-set.cc
397
- - ext/gecode-2.1.1/gecode/int/extensional/base.icc
398
457
  - ext/gecode-2.1.1/gecode/int/extensional/bitset.icc
399
458
  - ext/gecode-2.1.1/gecode/int/extensional/dfa.icc
459
+ - ext/gecode-2.1.1/gecode/int/extensional/base.icc
400
460
  - ext/gecode-2.1.1/gecode/int/extensional/basic.icc
401
461
  - ext/gecode-2.1.1/gecode/int/extensional/dfa.cc
462
+ - ext/gecode-2.1.1/gecode/int/extensional/layered-graph.icc
463
+ - ext/gecode-2.1.1/gecode/int/extensional/tuple-set.icc
402
464
  - ext/gecode-2.1.1/gecode/int/extensional/incremental.icc
403
- - ext/gecode-2.1.1/gecode/int/gcc.hh
404
- - ext/gecode-2.1.1/gecode/int/branch.hh
405
- - ext/gecode-2.1.1/gecode/int/channel.cc
406
- - ext/gecode-2.1.1/gecode/int/branch
407
- - ext/gecode-2.1.1/gecode/int/branch/select-view.icc
408
- - ext/gecode-2.1.1/gecode/int/branch/select-val.icc
465
+ - ext/gecode-2.1.1/gecode/int/extensional/tuple-set.cc
409
466
  - ext/gecode-2.1.1/gecode/int/limits.icc
410
- - ext/gecode-2.1.1/gecode/int/sorted.hh
411
- - ext/gecode-2.1.1/gecode/int/circuit.hh
412
- - ext/gecode-2.1.1/gecode/int/array.cc
413
- - ext/gecode-2.1.1/gecode/int/dom.cc
467
+ - ext/gecode-2.1.1/gecode/int/sorted
468
+ - ext/gecode-2.1.1/gecode/int/sorted/sortsup.icc
469
+ - ext/gecode-2.1.1/gecode/int/sorted/order.icc
470
+ - ext/gecode-2.1.1/gecode/int/sorted/matching.icc
471
+ - ext/gecode-2.1.1/gecode/int/sorted/narrowing.icc
472
+ - ext/gecode-2.1.1/gecode/int/sorted/propagate.icc
473
+ - ext/gecode-2.1.1/gecode/int/distinct.hh
474
+ - ext/gecode-2.1.1/gecode/int/exception.icc
475
+ - ext/gecode-2.1.1/gecode/int/int-set.cc
476
+ - ext/gecode-2.1.1/gecode/int/view.icc
477
+ - ext/gecode-2.1.1/gecode/int/var-imp
478
+ - ext/gecode-2.1.1/gecode/int/var-imp/int.icc
479
+ - ext/gecode-2.1.1/gecode/int/var-imp/int.cc
480
+ - ext/gecode-2.1.1/gecode/int/var-imp/delta.icc
481
+ - ext/gecode-2.1.1/gecode/int/var-imp/bool.cc
482
+ - ext/gecode-2.1.1/gecode/int/var-imp/int.vis
483
+ - ext/gecode-2.1.1/gecode/int/var-imp/bool.icc
484
+ - ext/gecode-2.1.1/gecode/int/var-imp/bool.vis
485
+ - ext/gecode-2.1.1/gecode/int/int-set.icc
486
+ - ext/gecode-2.1.1/gecode/int/rel.cc
487
+ - ext/gecode-2.1.1/gecode/int/bool.hh
488
+ - ext/gecode-2.1.1/gecode/int/circuit.cc
489
+ - ext/gecode-2.1.1/gecode/int/cumulatives
490
+ - ext/gecode-2.1.1/gecode/int/cumulatives/val.icc
491
+ - ext/gecode-2.1.1/gecode/int/unshare.cc
492
+ - ext/gecode-2.1.1/gecode/int/cumulatives.hh
493
+ - ext/gecode-2.1.1/gecode/int/channel.hh
494
+ - ext/gecode-2.1.1/gecode/int/rel.hh
495
+ - ext/gecode-2.1.1/gecode/int/branch.cc
414
496
  - ext/gecode-2.1.1/gecode/int/channel
497
+ - ext/gecode-2.1.1/gecode/int/channel/dom.icc
415
498
  - ext/gecode-2.1.1/gecode/int/channel/val.icc
416
- - ext/gecode-2.1.1/gecode/int/channel/link-single.cc
417
- - ext/gecode-2.1.1/gecode/int/channel/link-multi.icc
418
499
  - ext/gecode-2.1.1/gecode/int/channel/base.icc
419
500
  - ext/gecode-2.1.1/gecode/int/channel/link-multi.cc
501
+ - ext/gecode-2.1.1/gecode/int/channel/link-multi.icc
502
+ - ext/gecode-2.1.1/gecode/int/channel/link-single.cc
420
503
  - ext/gecode-2.1.1/gecode/int/channel/link-single.icc
421
- - ext/gecode-2.1.1/gecode/int/channel/dom.icc
422
- - ext/gecode-2.1.1/gecode/int/linear.hh
423
- - ext/gecode-2.1.1/gecode/int/array.icc
424
- - ext/gecode-2.1.1/gecode/int/propagator.icc
425
- - ext/gecode-2.1.1/gecode/int/count.cc
426
- - ext/gecode-2.1.1/gecode/int/arithmetic.cc
427
- - ext/gecode-2.1.1/gecode/int/extensional.cc
428
- - ext/gecode-2.1.1/gecode/set
429
- - ext/gecode-2.1.1/gecode/set/select
430
- - ext/gecode-2.1.1/gecode/set/select/disjoint.icc
431
- - ext/gecode-2.1.1/gecode/set/select/idxarray.icc
432
- - ext/gecode-2.1.1/gecode/set/select/idxarray.hh
433
- - ext/gecode-2.1.1/gecode/set/select/union.icc
434
- - ext/gecode-2.1.1/gecode/set/select/disjoint.cc
435
- - ext/gecode-2.1.1/gecode/set/select/unionConst.icc
436
- - ext/gecode-2.1.1/gecode/set/select/inter.icc
437
- - ext/gecode-2.1.1/gecode/set/distinct.hh
438
- - ext/gecode-2.1.1/gecode/set/rel.hh
439
- - ext/gecode-2.1.1/gecode/set/branch.cc
440
- - ext/gecode-2.1.1/gecode/set/distinct
441
- - ext/gecode-2.1.1/gecode/set/distinct/atmostOne.icc
442
- - ext/gecode-2.1.1/gecode/set/distinct/atmostOne.cc
443
- - ext/gecode-2.1.1/gecode/set/convex.cc
444
- - ext/gecode-2.1.1/gecode/set/cardinality.cc
445
- - ext/gecode-2.1.1/gecode/set/projectors
446
- - ext/gecode-2.1.1/gecode/set/projectors/formula.icc
447
- - ext/gecode-2.1.1/gecode/set/projectors/projector-set.cc
448
- - ext/gecode-2.1.1/gecode/set/projectors/projector.icc
449
- - ext/gecode-2.1.1/gecode/set/projectors/set-expr.icc
450
- - ext/gecode-2.1.1/gecode/set/projectors/formula.cc
451
- - ext/gecode-2.1.1/gecode/set/projectors/projector.cc
452
- - ext/gecode-2.1.1/gecode/set/projectors/set-expr.cc
453
- - ext/gecode-2.1.1/gecode/set/projectors/propagator.hh
454
- - ext/gecode-2.1.1/gecode/set/projectors/projector-set.icc
455
- - ext/gecode-2.1.1/gecode/set/projectors/compiler.cc
456
- - ext/gecode-2.1.1/gecode/set/projectors/propagator
457
- - ext/gecode-2.1.1/gecode/set/projectors/propagator/re-nary.cc
458
- - ext/gecode-2.1.1/gecode/set/projectors/propagator/card.icc
459
- - ext/gecode-2.1.1/gecode/set/projectors/propagator/nary.icc
460
- - ext/gecode-2.1.1/gecode/set/projectors/propagator/re-nary.icc
461
- - ext/gecode-2.1.1/gecode/set/int
462
- - ext/gecode-2.1.1/gecode/set/int/card.icc
463
- - ext/gecode-2.1.1/gecode/set/int/minmax.icc
464
- - ext/gecode-2.1.1/gecode/set/int/weights.icc
465
- - ext/gecode-2.1.1/gecode/set/int/match.icc
466
- - ext/gecode-2.1.1/gecode/set/int/channel-int.icc
467
- - ext/gecode-2.1.1/gecode/set/int/channel-bool.icc
468
- - ext/gecode-2.1.1/gecode/set/exception.icc
469
- - ext/gecode-2.1.1/gecode/set/rel-op.hh
470
- - ext/gecode-2.1.1/gecode/set/sequence.cc
471
- - ext/gecode-2.1.1/gecode/set/projectors-compiler.hh
472
- - ext/gecode-2.1.1/gecode/set/convex
473
- - ext/gecode-2.1.1/gecode/set/convex/hull.icc
474
- - ext/gecode-2.1.1/gecode/set/convex/conv.icc
475
- - ext/gecode-2.1.1/gecode/set/convex/hull.cc
476
- - ext/gecode-2.1.1/gecode/set/convex/conv.cc
477
- - ext/gecode-2.1.1/gecode/set/select.cc
478
- - ext/gecode-2.1.1/gecode/set/distinct.cc
479
- - ext/gecode-2.1.1/gecode/set/rel.cc
480
- - ext/gecode-2.1.1/gecode/set/rel-op-const.cc
481
- - ext/gecode-2.1.1/gecode/set/view.icc
482
- - ext/gecode-2.1.1/gecode/set/sequence
483
- - ext/gecode-2.1.1/gecode/set/sequence/common.icc
484
- - ext/gecode-2.1.1/gecode/set/sequence/seq.icc
485
- - ext/gecode-2.1.1/gecode/set/sequence/seq-u.icc
486
- - ext/gecode-2.1.1/gecode/set/sequence/seq.cc
487
- - ext/gecode-2.1.1/gecode/set/sequence/seq-u.cc
488
- - ext/gecode-2.1.1/gecode/set/var-imp.icc
489
- - ext/gecode-2.1.1/gecode/set/view
490
- - ext/gecode-2.1.1/gecode/set/view/singleton.icc
491
- - ext/gecode-2.1.1/gecode/set/view/complement.icc
492
- - ext/gecode-2.1.1/gecode/set/view/print.cc
493
- - ext/gecode-2.1.1/gecode/set/view/const.icc
494
- - ext/gecode-2.1.1/gecode/set/view/offset.icc
495
- - ext/gecode-2.1.1/gecode/set/view/set.icc
496
- - ext/gecode-2.1.1/gecode/set/var-imp
497
- - ext/gecode-2.1.1/gecode/set/var-imp/set.cc
498
- - ext/gecode-2.1.1/gecode/set/var-imp/iter.icc
499
- - ext/gecode-2.1.1/gecode/set/var-imp/delta.icc
500
- - ext/gecode-2.1.1/gecode/set/var-imp/integerset.icc
501
- - ext/gecode-2.1.1/gecode/set/var-imp/set.icc
502
- - ext/gecode-2.1.1/gecode/set/var-imp/set.vis
503
- - ext/gecode-2.1.1/gecode/set/var-imp/integerset.cc
504
- - ext/gecode-2.1.1/gecode/set/rel-op.cc
505
- - ext/gecode-2.1.1/gecode/set/rel
506
- - ext/gecode-2.1.1/gecode/set/rel/nosubset.icc
507
- - ext/gecode-2.1.1/gecode/set/rel/eq.icc
508
- - ext/gecode-2.1.1/gecode/set/rel/subset.icc
509
- - ext/gecode-2.1.1/gecode/set/rel/common.icc
510
- - ext/gecode-2.1.1/gecode/set/rel/re-eq.icc
511
- - ext/gecode-2.1.1/gecode/set/rel/re-subset.icc
512
- - ext/gecode-2.1.1/gecode/set/rel/nq.icc
513
- - ext/gecode-2.1.1/gecode/set/projectors.hh
514
- - ext/gecode-2.1.1/gecode/set/int.hh
515
- - ext/gecode-2.1.1/gecode/set/var
516
- - ext/gecode-2.1.1/gecode/set/var/set.cc
517
- - ext/gecode-2.1.1/gecode/set/var/set.icc
518
- - ext/gecode-2.1.1/gecode/set/branch.hh
519
- - ext/gecode-2.1.1/gecode/set/branch
520
- - ext/gecode-2.1.1/gecode/set/branch/select-view.icc
521
- - ext/gecode-2.1.1/gecode/set/branch/select-val.icc
522
- - ext/gecode-2.1.1/gecode/set/rel-op
523
- - ext/gecode-2.1.1/gecode/set/rel-op/post.icc
524
- - ext/gecode-2.1.1/gecode/set/rel-op/superofinter.icc
525
- - ext/gecode-2.1.1/gecode/set/rel-op/subofunion.icc
526
- - ext/gecode-2.1.1/gecode/set/rel-op/common.icc
527
- - ext/gecode-2.1.1/gecode/set/rel-op/union.icc
528
- - ext/gecode-2.1.1/gecode/set/rel-op/partition.icc
529
- - ext/gecode-2.1.1/gecode/set/rel-op/inter.icc
530
- - ext/gecode-2.1.1/gecode/set/limits.icc
531
- - ext/gecode-2.1.1/gecode/set/convex.hh
532
- - ext/gecode-2.1.1/gecode/set/array.cc
533
- - ext/gecode-2.1.1/gecode/set/dom.cc
534
- - ext/gecode-2.1.1/gecode/set/sequence.hh
535
- - ext/gecode-2.1.1/gecode/set/propagator.icc
536
- - ext/gecode-2.1.1/gecode/set/array.icc
537
- - ext/gecode-2.1.1/gecode/set/select.hh
538
- - ext/gecode-2.1.1/gecode/set/projectors.cc
539
- - ext/gecode-2.1.1/gecode/set/int.cc
540
- - ext/gecode-2.1.1/gecode/iter.hh
541
- - ext/gecode-2.1.1/gecode/search.hh
542
- - ext/gecode-2.1.1/gecode/iter
543
- - ext/gecode-2.1.1/gecode/iter/virtual-ranges-inter.icc
544
- - ext/gecode-2.1.1/gecode/iter/values-offset.icc
545
- - ext/gecode-2.1.1/gecode/iter/ranges-singleton-append.icc
546
- - ext/gecode-2.1.1/gecode/iter/ranges-append.icc
547
- - ext/gecode-2.1.1/gecode/iter/ranges-diff.icc
548
- - ext/gecode-2.1.1/gecode/iter/ranges-size.icc
549
- - ext/gecode-2.1.1/gecode/iter/ranges-compl.icc
550
- - ext/gecode-2.1.1/gecode/iter/values-minus.icc
551
- - ext/gecode-2.1.1/gecode/iter/virtual-ranges-union.icc
552
- - ext/gecode-2.1.1/gecode/iter/ranges-array.icc
553
- - ext/gecode-2.1.1/gecode/iter/ranges-inter.icc
554
- - ext/gecode-2.1.1/gecode/iter/values-singleton.icc
555
- - ext/gecode-2.1.1/gecode/iter/ranges-operations.icc
556
- - ext/gecode-2.1.1/gecode/iter/ranges-offset.icc
557
- - ext/gecode-2.1.1/gecode/iter/values-unique.icc
558
- - ext/gecode-2.1.1/gecode/iter/virtual-ranges.icc
559
- - ext/gecode-2.1.1/gecode/iter/ranges-scale.icc
560
- - ext/gecode-2.1.1/gecode/iter/ranges-add.icc
561
- - ext/gecode-2.1.1/gecode/iter/ranges-union.icc
562
- - ext/gecode-2.1.1/gecode/iter/ranges-minmax.icc
563
- - ext/gecode-2.1.1/gecode/iter/ranges-minus.icc
564
- - ext/gecode-2.1.1/gecode/iter/ranges-empty.icc
565
- - ext/gecode-2.1.1/gecode/iter/values-array.icc
566
- - ext/gecode-2.1.1/gecode/iter/virtual-ranges-compl.icc
567
- - ext/gecode-2.1.1/gecode/iter/ranges-values.icc
568
- - ext/gecode-2.1.1/gecode/iter/values-ranges.icc
569
- - ext/gecode-2.1.1/gecode/iter/ranges-singleton.icc
570
- - ext/gecode-2.1.1/gecode/iter/ranges-cache.icc
504
+ - ext/gecode-2.1.1/gecode/int/element.cc
505
+ - ext/gecode-2.1.1/gecode/int/sorted.cc
506
+ - ext/gecode-2.1.1/gecode/int/count
507
+ - ext/gecode-2.1.1/gecode/int/count/int.icc
508
+ - ext/gecode-2.1.1/gecode/int/count/view.icc
509
+ - ext/gecode-2.1.1/gecode/int/count/rel.icc
510
+ - ext/gecode-2.1.1/gecode/int/branch
511
+ - ext/gecode-2.1.1/gecode/int/branch/select-view.icc
512
+ - ext/gecode-2.1.1/gecode/int/branch/select-val.icc
513
+ - ext/gecode-2.1.1/gecode/cpltset
514
+ - ext/gecode-2.1.1/gecode/cpltset/propagators.hh
515
+ - ext/gecode-2.1.1/gecode/cpltset/view
516
+ - ext/gecode-2.1.1/gecode/cpltset/view/print.cc
517
+ - ext/gecode-2.1.1/gecode/cpltset/view/cpltset.icc
518
+ - ext/gecode-2.1.1/gecode/cpltset/propagators
519
+ - ext/gecode-2.1.1/gecode/cpltset/propagators/naryone.icc
520
+ - ext/gecode-2.1.1/gecode/cpltset/propagators/narytwo.icc
521
+ - ext/gecode-2.1.1/gecode/cpltset/propagators/unary.icc
522
+ - ext/gecode-2.1.1/gecode/cpltset/propagators/nary.icc
523
+ - ext/gecode-2.1.1/gecode/cpltset/propagators/binary.icc
524
+ - ext/gecode-2.1.1/gecode/cpltset/propagators/singleton.icc
525
+ - ext/gecode-2.1.1/gecode/cpltset/array.cc
526
+ - ext/gecode-2.1.1/gecode/cpltset/var
527
+ - ext/gecode-2.1.1/gecode/cpltset/var/cpltset.cc
528
+ - ext/gecode-2.1.1/gecode/cpltset/var/cpltset.icc
529
+ - ext/gecode-2.1.1/gecode/cpltset/branch.hh
530
+ - ext/gecode-2.1.1/gecode/cpltset/bddmanager.cc
531
+ - ext/gecode-2.1.1/gecode/cpltset/bddmanager.icc
532
+ - ext/gecode-2.1.1/gecode/cpltset/support.cc
533
+ - ext/gecode-2.1.1/gecode/cpltset/array.icc
534
+ - ext/gecode-2.1.1/gecode/cpltset/var-imp.icc
535
+ - ext/gecode-2.1.1/gecode/cpltset/exception.icc
536
+ - ext/gecode-2.1.1/gecode/cpltset/view.icc
537
+ - ext/gecode-2.1.1/gecode/cpltset/var-imp
538
+ - ext/gecode-2.1.1/gecode/cpltset/var-imp/cpltset.cc
539
+ - ext/gecode-2.1.1/gecode/cpltset/var-imp/cpltset.icc
540
+ - ext/gecode-2.1.1/gecode/cpltset/var-imp/cpltset.vis
541
+ - ext/gecode-2.1.1/gecode/cpltset/constraints
542
+ - ext/gecode-2.1.1/gecode/cpltset/constraints/dom.cc
543
+ - ext/gecode-2.1.1/gecode/cpltset/constraints/atmost.cc
544
+ - ext/gecode-2.1.1/gecode/cpltset/constraints/singleton.cc
545
+ - ext/gecode-2.1.1/gecode/cpltset/constraints/distinct.cc
546
+ - ext/gecode-2.1.1/gecode/cpltset/constraints/partition.cc
547
+ - ext/gecode-2.1.1/gecode/cpltset/constraints/rel.cc
548
+ - ext/gecode-2.1.1/gecode/cpltset/constraints/select.cc
549
+ - ext/gecode-2.1.1/gecode/cpltset/constraints/cardinality.cc
550
+ - ext/gecode-2.1.1/gecode/cpltset/constraints/rangeroots.cc
551
+ - ext/gecode-2.1.1/gecode/cpltset/support.icc
552
+ - ext/gecode-2.1.1/gecode/cpltset/branch.cc
553
+ - ext/gecode-2.1.1/gecode/cpltset/branch
554
+ - ext/gecode-2.1.1/gecode/cpltset/branch/select-view.icc
555
+ - ext/gecode-2.1.1/gecode/cpltset/branch/select-val.icc
556
+ - ext/gecode-2.1.1/gecode/minimodel
557
+ - ext/gecode-2.1.1/gecode/minimodel/lin-rel.icc
558
+ - ext/gecode-2.1.1/gecode/minimodel/lin-expr.icc
559
+ - ext/gecode-2.1.1/gecode/minimodel/bool-rel.icc
560
+ - ext/gecode-2.1.1/gecode/minimodel/reg.cc
561
+ - ext/gecode-2.1.1/gecode/minimodel/arithmetic.cc
562
+ - ext/gecode-2.1.1/gecode/minimodel/bool-expr.cc
563
+ - ext/gecode-2.1.1/gecode/minimodel/bool-expr.icc
564
+ - ext/gecode-2.1.1/gecode/minimodel/matrix.icc
565
+ - ext/gecode-2.1.1/gecode/minimodel/exception.icc
566
+ - ext/gecode-2.1.1/gecode/int.hh
567
+ - ext/gecode-2.1.1/gecode/minimodel.hh
568
+ - ext/gecode-2.1.1/gecode/cpltset.hh
569
+ - ext/gecode-2.1.1/gecode/serialization
570
+ - ext/gecode-2.1.1/gecode/serialization/boost.cc
571
+ - ext/gecode-2.1.1/gecode/serialization/flatzinc.cc
572
+ - ext/gecode-2.1.1/gecode/serialization/register.cc
573
+ - ext/gecode-2.1.1/gecode/serialization/javascript.hh
574
+ - ext/gecode-2.1.1/gecode/serialization/boost.icc
575
+ - ext/gecode-2.1.1/gecode/serialization/javascript.cc
576
+ - ext/gecode-2.1.1/gecode/iter.hh
571
577
  - ext/gecode-2.1.1/gecode/gist.hh
578
+ - ext/gecode-2.1.1/gecode/set.hh
579
+ - ext/gecode-2.1.1/gecode/serialization.hh
572
580
  - ext/gecode-2.1.1/gecode/search
573
- - ext/gecode-2.1.1/gecode/search/lds.icc
574
- - ext/gecode-2.1.1/gecode/search/options.cc
575
- - ext/gecode-2.1.1/gecode/search/dfs.cc
576
- - ext/gecode-2.1.1/gecode/search/bab.icc
577
- - ext/gecode-2.1.1/gecode/search/restart.icc
581
+ - ext/gecode-2.1.1/gecode/search/lds.cc
578
582
  - ext/gecode-2.1.1/gecode/search/stop.icc
583
+ - ext/gecode-2.1.1/gecode/search/dfs.cc
579
584
  - ext/gecode-2.1.1/gecode/search/engine-ctrl.icc
580
- - ext/gecode-2.1.1/gecode/search/lds.cc
581
- - ext/gecode-2.1.1/gecode/search/statistics.icc
582
585
  - ext/gecode-2.1.1/gecode/search/bab.cc
583
- - ext/gecode-2.1.1/gecode/search/options.icc
584
586
  - ext/gecode-2.1.1/gecode/search/reco-stack.icc
585
- - ext/gecode-2.1.1/gecode/search/dfs.icc
587
+ - ext/gecode-2.1.1/gecode/search/options.icc
588
+ - ext/gecode-2.1.1/gecode/search/statistics.icc
589
+ - ext/gecode-2.1.1/gecode/search/bab.icc
590
+ - ext/gecode-2.1.1/gecode/search/lds.icc
591
+ - ext/gecode-2.1.1/gecode/search/restart.icc
586
592
  - ext/gecode-2.1.1/gecode/search/stop.cc
593
+ - ext/gecode-2.1.1/gecode/search/dfs.icc
594
+ - ext/gecode-2.1.1/gecode/search/options.cc
587
595
  - ext/gecode-2.1.1/gecode/gist
588
- - ext/gecode-2.1.1/gecode/gist/analysiscursor.hh
589
- - ext/gecode-2.1.1/gecode/gist/nodecursor.icc
596
+ - ext/gecode-2.1.1/gecode/gist/addchild.hh
597
+ - ext/gecode-2.1.1/gecode/gist/mainwindow.hh
598
+ - ext/gecode-2.1.1/gecode/gist/node.hh
599
+ - ext/gecode-2.1.1/gecode/gist/ui_addvisualisationdialog.hh
590
600
  - ext/gecode-2.1.1/gecode/gist/addchild.cc
591
- - ext/gecode-2.1.1/gecode/gist/nodecursor.hh
592
- - ext/gecode-2.1.1/gecode/gist/addvisualisationdialog.hh
593
- - ext/gecode-2.1.1/gecode/gist/preferences.cc
594
- - ext/gecode-2.1.1/gecode/gist/config.cc
595
- - ext/gecode-2.1.1/gecode/gist/textoutput.cc
596
- - ext/gecode-2.1.1/gecode/gist/treecanvas.hh
601
+ - ext/gecode-2.1.1/gecode/gist/nodevisitor.icc
602
+ - ext/gecode-2.1.1/gecode/gist/postscript.hh
603
+ - ext/gecode-2.1.1/gecode/gist/spacenode.cc
604
+ - ext/gecode-2.1.1/gecode/gist/gist.icc
597
605
  - ext/gecode-2.1.1/gecode/gist/shapelist.hh
606
+ - ext/gecode-2.1.1/gecode/gist/shapelist.cc
607
+ - ext/gecode-2.1.1/gecode/gist/nodevisitor.hh
608
+ - ext/gecode-2.1.1/gecode/gist/analysiscursor.hh
609
+ - ext/gecode-2.1.1/gecode/gist/nodecursor.icc
610
+ - ext/gecode-2.1.1/gecode/gist/reflectionhelpers.cc
611
+ - ext/gecode-2.1.1/gecode/gist/drawingcursor.hh
598
612
  - ext/gecode-2.1.1/gecode/gist/visualisation
599
- - ext/gecode-2.1.1/gecode/gist/visualisation/intvaritem.hh
600
- - ext/gecode-2.1.1/gecode/gist/visualisation/vararrayview.hh
601
- - ext/gecode-2.1.1/gecode/gist/visualisation/setvaritem.hh
602
- - ext/gecode-2.1.1/gecode/gist/visualisation/vararrayitem.hh
603
- - ext/gecode-2.1.1/gecode/gist/visualisation/vararrayviewt.hh
604
- - ext/gecode-2.1.1/gecode/gist/visualisation/varitem.hh
605
613
  - ext/gecode-2.1.1/gecode/gist/visualisation/intvaritem.cc
614
+ - ext/gecode-2.1.1/gecode/gist/visualisation/varitem.cc
615
+ - ext/gecode-2.1.1/gecode/gist/visualisation/vararrayitem.hh
606
616
  - ext/gecode-2.1.1/gecode/gist/visualisation/vararrayview.cc
617
+ - ext/gecode-2.1.1/gecode/gist/visualisation/varitem.hh
618
+ - ext/gecode-2.1.1/gecode/gist/visualisation/intvaritem.hh
607
619
  - ext/gecode-2.1.1/gecode/gist/visualisation/setvaritem.cc
608
- - ext/gecode-2.1.1/gecode/gist/visualisation/varitem.cc
609
- - ext/gecode-2.1.1/gecode/gist/visualnode.cc
610
- - ext/gecode-2.1.1/gecode/gist/postscript.cc
611
- - ext/gecode-2.1.1/gecode/gist/spacenode.hh
612
- - ext/gecode-2.1.1/gecode/gist/nodevisitor.icc
613
- - ext/gecode-2.1.1/gecode/gist/nodevisitor.hh
614
- - ext/gecode-2.1.1/gecode/gist/analysiscursor.cc
615
- - ext/gecode-2.1.1/gecode/gist/nodecursor.cc
616
- - ext/gecode-2.1.1/gecode/gist/addvisualisationdialog.cc
617
- - ext/gecode-2.1.1/gecode/gist/mainwindow.hh
618
- - ext/gecode-2.1.1/gecode/gist/reflectionhelpers.hh
620
+ - ext/gecode-2.1.1/gecode/gist/visualisation/vararrayview.hh
621
+ - ext/gecode-2.1.1/gecode/gist/visualisation/vararrayviewt.hh
622
+ - ext/gecode-2.1.1/gecode/gist/visualisation/setvaritem.hh
619
623
  - ext/gecode-2.1.1/gecode/gist/treecanvas.cc
620
- - ext/gecode-2.1.1/gecode/gist/shapelist.cc
621
- - ext/gecode-2.1.1/gecode/gist/node.hh
622
- - ext/gecode-2.1.1/gecode/gist/better.hh
623
- - ext/gecode-2.1.1/gecode/gist/spacenode.cc
624
- - ext/gecode-2.1.1/gecode/gist/drawingcursor.hh
625
- - ext/gecode-2.1.1/gecode/gist/ui_addchild.hh
626
- - ext/gecode-2.1.1/gecode/gist/addchild.hh
624
+ - ext/gecode-2.1.1/gecode/gist/drawingcursor.cc
627
625
  - ext/gecode-2.1.1/gecode/gist/gist.cc
628
- - ext/gecode-2.1.1/gecode/gist/preferences.hh
626
+ - ext/gecode-2.1.1/gecode/gist/addvisualisationdialog.hh
627
+ - ext/gecode-2.1.1/gecode/gist/better.hh
628
+ - ext/gecode-2.1.1/gecode/gist/node.cc
629
+ - ext/gecode-2.1.1/gecode/gist/postscript.cc
630
+ - ext/gecode-2.1.1/gecode/gist/preferences.cc
629
631
  - ext/gecode-2.1.1/gecode/gist/mainwindow.cc
630
- - ext/gecode-2.1.1/gecode/gist/reflectionhelpers.cc
631
- - ext/gecode-2.1.1/gecode/gist/config.hh
632
- - ext/gecode-2.1.1/gecode/gist/gist.icc
633
632
  - ext/gecode-2.1.1/gecode/gist/test.cc
633
+ - ext/gecode-2.1.1/gecode/gist/preferences.hh
634
+ - ext/gecode-2.1.1/gecode/gist/config.hh
635
+ - ext/gecode-2.1.1/gecode/gist/textoutput.cc
636
+ - ext/gecode-2.1.1/gecode/gist/visualnode.hh
637
+ - ext/gecode-2.1.1/gecode/gist/reflectionhelpers.hh
638
+ - ext/gecode-2.1.1/gecode/gist/config.cc
639
+ - ext/gecode-2.1.1/gecode/gist/nodecursor.cc
640
+ - ext/gecode-2.1.1/gecode/gist/analysiscursor.cc
641
+ - ext/gecode-2.1.1/gecode/gist/visualnode.cc
634
642
  - ext/gecode-2.1.1/gecode/gist/textoutput.hh
643
+ - ext/gecode-2.1.1/gecode/gist/ui_addchild.hh
644
+ - ext/gecode-2.1.1/gecode/gist/spacenode.hh
645
+ - ext/gecode-2.1.1/gecode/gist/nodecursor.hh
646
+ - ext/gecode-2.1.1/gecode/gist/addvisualisationdialog.cc
635
647
  - ext/gecode-2.1.1/gecode/gist/gecodelogo.icc
636
- - ext/gecode-2.1.1/gecode/gist/visualnode.hh
637
- - ext/gecode-2.1.1/gecode/gist/postscript.hh
638
- - ext/gecode-2.1.1/gecode/gist/node.cc
639
- - ext/gecode-2.1.1/gecode/gist/drawingcursor.cc
640
- - ext/gecode-2.1.1/gecode/gist/ui_addvisualisationdialog.hh
641
- - ext/gecode-2.1.1/gecode/support.hh
642
- - ext/gecode-2.1.1/gecode/serialization.hh
643
- - ext/gecode-2.1.1/gecode/minimodel.hh
644
- - ext/gecode-2.1.1/gecode/cpltset.hh
648
+ - ext/gecode-2.1.1/gecode/gist/treecanvas.hh
649
+ - ext/gecode-2.1.1/gecode/search.hh
650
+ - ext/gecode-2.1.1/gecode/kernel
651
+ - ext/gecode-2.1.1/gecode/kernel/var-type.cc
652
+ - ext/gecode-2.1.1/gecode/kernel/core.icc
653
+ - ext/gecode-2.1.1/gecode/kernel/memory-manager.cc
654
+ - ext/gecode-2.1.1/gecode/kernel/reflection.cc
655
+ - ext/gecode-2.1.1/gecode/kernel/var-type.icc
656
+ - ext/gecode-2.1.1/gecode/kernel/reflection.icc
657
+ - ext/gecode-2.1.1/gecode/kernel/core.cc
658
+ - ext/gecode-2.1.1/gecode/kernel/advisor.icc
659
+ - ext/gecode-2.1.1/gecode/kernel/modevent.icc
660
+ - ext/gecode-2.1.1/gecode/kernel/var-traits.icc
661
+ - ext/gecode-2.1.1/gecode/kernel/array.icc
662
+ - ext/gecode-2.1.1/gecode/kernel/propagator.icc
663
+ - ext/gecode-2.1.1/gecode/kernel/branching.icc
664
+ - ext/gecode-2.1.1/gecode/kernel/var-imp.icc
665
+ - ext/gecode-2.1.1/gecode/kernel/exception.icc
666
+ - ext/gecode-2.1.1/gecode/kernel/var-map.cc
667
+ - ext/gecode-2.1.1/gecode/kernel/view.icc
668
+ - ext/gecode-2.1.1/gecode/kernel/var.icc
669
+ - ext/gecode-2.1.1/gecode/kernel/var-map.icc
670
+ - ext/gecode-2.1.1/gecode/kernel/memory-manager.icc
671
+ - ext/gecode-2.1.1/gecode/kernel/macros.icc
672
+ - ext/gecode-2.1.1/gecode/kernel/shared-array.icc
645
673
  - ext/gecode-2.1.1/gecode/support
646
- - ext/gecode-2.1.1/gecode/support/sentinel-stack.icc
647
- - ext/gecode-2.1.1/gecode/support/macros.icc
648
- - ext/gecode-2.1.1/gecode/support/exception.cc
649
- - ext/gecode-2.1.1/gecode/support/sort.icc
650
- - ext/gecode-2.1.1/gecode/support/dynamic-stack.icc
651
- - ext/gecode-2.1.1/gecode/support/static-pqueue.icc
652
- - ext/gecode-2.1.1/gecode/support/cast.icc
653
674
  - ext/gecode-2.1.1/gecode/support/static-stack.icc
654
- - ext/gecode-2.1.1/gecode/support/symbol.cc
655
- - ext/gecode-2.1.1/gecode/support/exception.icc
656
- - ext/gecode-2.1.1/gecode/support/dynamic-array.icc
657
- - ext/gecode-2.1.1/gecode/support/symbol.icc
658
- - ext/gecode-2.1.1/gecode/support/memory.icc
659
- - ext/gecode-2.1.1/gecode/support/block-allocator.icc
660
- - ext/gecode-2.1.1/gecode/support/config.icc.in
661
- - ext/gecode-2.1.1/gecode/support/buddy
662
- - ext/gecode-2.1.1/gecode/support/buddy/bdd.h
663
- - ext/gecode-2.1.1/gecode/support/buddy/tree.c
664
- - ext/gecode-2.1.1/gecode/support/buddy/fdd.h
665
- - ext/gecode-2.1.1/gecode/support/buddy/reorder.c
666
- - ext/gecode-2.1.1/gecode/support/buddy/cache.c
667
- - ext/gecode-2.1.1/gecode/support/buddy/AUTHORS
668
- - ext/gecode-2.1.1/gecode/support/buddy/cppext.cc
669
- - ext/gecode-2.1.1/gecode/support/buddy/ChangeLog
670
- - ext/gecode-2.1.1/gecode/support/buddy/cache.h
671
- - ext/gecode-2.1.1/gecode/support/buddy/config.h
672
- - ext/gecode-2.1.1/gecode/support/buddy/README
673
- - ext/gecode-2.1.1/gecode/support/buddy/prime.c
674
- - ext/gecode-2.1.1/gecode/support/buddy/imatrix.c
675
- - ext/gecode-2.1.1/gecode/support/buddy/bddtree.h
676
- - ext/gecode-2.1.1/gecode/support/buddy/pairs.c
677
- - ext/gecode-2.1.1/gecode/support/buddy/bvec.c
678
- - ext/gecode-2.1.1/gecode/support/buddy/kernel.c
679
- - ext/gecode-2.1.1/gecode/support/buddy/bddio.c
680
- - ext/gecode-2.1.1/gecode/support/buddy/prime.h
681
- - ext/gecode-2.1.1/gecode/support/buddy/imatrix.h
682
- - ext/gecode-2.1.1/gecode/support/buddy/bvec.h
683
- - ext/gecode-2.1.1/gecode/support/buddy/kernel.h
684
- - ext/gecode-2.1.1/gecode/support/buddy/bddop.c
685
- - ext/gecode-2.1.1/gecode/support/buddy/NEWS
686
- - ext/gecode-2.1.1/gecode/support/buddy/fdd.c
687
- - ext/gecode-2.1.1/gecode/support/map.icc
688
675
  - ext/gecode-2.1.1/gecode/support/random.icc
689
- - ext/gecode-2.1.1/gecode/support/marked-pointer.icc
690
- - ext/gecode-2.1.1/gecode/serialization
691
- - ext/gecode-2.1.1/gecode/serialization/boost.icc
692
- - ext/gecode-2.1.1/gecode/serialization/javascript.hh
693
- - ext/gecode-2.1.1/gecode/serialization/register.cc
694
- - ext/gecode-2.1.1/gecode/serialization/boost.cc
695
- - ext/gecode-2.1.1/gecode/serialization/javascript.cc
696
- - ext/gecode-2.1.1/gecode/serialization/flatzinc.cc
697
- - ext/gecode-2.1.1/gecode/minimodel
698
- - ext/gecode-2.1.1/gecode/minimodel/lin-rel.icc
699
- - ext/gecode-2.1.1/gecode/minimodel/matrix.icc
700
- - ext/gecode-2.1.1/gecode/minimodel/reg.cc
701
- - ext/gecode-2.1.1/gecode/minimodel/bool-expr.icc
702
- - ext/gecode-2.1.1/gecode/minimodel/bool-rel.icc
703
- - ext/gecode-2.1.1/gecode/minimodel/bool-expr.cc
704
- - ext/gecode-2.1.1/gecode/minimodel/exception.icc
705
- - ext/gecode-2.1.1/gecode/minimodel/lin-expr.icc
706
- - ext/gecode-2.1.1/gecode/minimodel/arithmetic.cc
707
- - ext/gecode-2.1.1/gecode/kernel.hh
708
- - ext/gecode-2.1.1/gecode/cpltset
709
- - ext/gecode-2.1.1/gecode/cpltset/branch.cc
710
- - ext/gecode-2.1.1/gecode/cpltset/bddmanager.icc
711
- - ext/gecode-2.1.1/gecode/cpltset/var
712
- - ext/gecode-2.1.1/gecode/cpltset/var/cpltset.cc
713
- - ext/gecode-2.1.1/gecode/cpltset/var/cpltset.icc
714
- - ext/gecode-2.1.1/gecode/cpltset/exception.icc
715
- - ext/gecode-2.1.1/gecode/cpltset/branch.hh
716
- - ext/gecode-2.1.1/gecode/cpltset/branch
717
- - ext/gecode-2.1.1/gecode/cpltset/branch/select-view.icc
718
- - ext/gecode-2.1.1/gecode/cpltset/branch/select-val.icc
719
- - ext/gecode-2.1.1/gecode/cpltset/propagators.hh
720
- - ext/gecode-2.1.1/gecode/cpltset/support.cc
721
- - ext/gecode-2.1.1/gecode/cpltset/propagators
722
- - ext/gecode-2.1.1/gecode/cpltset/propagators/singleton.icc
723
- - ext/gecode-2.1.1/gecode/cpltset/propagators/narytwo.icc
724
- - ext/gecode-2.1.1/gecode/cpltset/propagators/binary.icc
725
- - ext/gecode-2.1.1/gecode/cpltset/propagators/nary.icc
726
- - ext/gecode-2.1.1/gecode/cpltset/propagators/naryone.icc
727
- - ext/gecode-2.1.1/gecode/cpltset/propagators/unary.icc
728
- - ext/gecode-2.1.1/gecode/cpltset/array.cc
729
- - ext/gecode-2.1.1/gecode/cpltset/constraints
730
- - ext/gecode-2.1.1/gecode/cpltset/constraints/dom.cc
731
- - ext/gecode-2.1.1/gecode/cpltset/constraints/select.cc
732
- - ext/gecode-2.1.1/gecode/cpltset/constraints/distinct.cc
733
- - ext/gecode-2.1.1/gecode/cpltset/constraints/rel.cc
734
- - ext/gecode-2.1.1/gecode/cpltset/constraints/singleton.cc
735
- - ext/gecode-2.1.1/gecode/cpltset/constraints/cardinality.cc
736
- - ext/gecode-2.1.1/gecode/cpltset/constraints/rangeroots.cc
737
- - ext/gecode-2.1.1/gecode/cpltset/constraints/atmost.cc
738
- - ext/gecode-2.1.1/gecode/cpltset/constraints/partition.cc
739
- - ext/gecode-2.1.1/gecode/cpltset/view.icc
740
- - ext/gecode-2.1.1/gecode/cpltset/var-imp.icc
741
- - ext/gecode-2.1.1/gecode/cpltset/bddmanager.cc
742
- - ext/gecode-2.1.1/gecode/cpltset/support.icc
743
- - ext/gecode-2.1.1/gecode/cpltset/view
744
- - ext/gecode-2.1.1/gecode/cpltset/view/print.cc
745
- - ext/gecode-2.1.1/gecode/cpltset/view/cpltset.icc
746
- - ext/gecode-2.1.1/gecode/cpltset/var-imp
747
- - ext/gecode-2.1.1/gecode/cpltset/var-imp/cpltset.cc
748
- - ext/gecode-2.1.1/gecode/cpltset/var-imp/cpltset.icc
749
- - ext/gecode-2.1.1/gecode/cpltset/var-imp/cpltset.vis
750
- - ext/gecode-2.1.1/gecode/cpltset/array.icc
751
- - ext/gecode-2.1.1/configure.ac.in
676
+ - ext/gecode-2.1.1/gecode/support/symbol.icc
677
+ - ext/gecode-2.1.1/gecode/support/static-pqueue.icc
678
+ - ext/gecode-2.1.1/gecode/support/block-allocator.icc
679
+ - ext/gecode-2.1.1/gecode/support/exception.cc
680
+ - ext/gecode-2.1.1/gecode/support/map.icc
681
+ - ext/gecode-2.1.1/gecode/support/dynamic-stack.icc
682
+ - ext/gecode-2.1.1/gecode/support/exception.icc
683
+ - ext/gecode-2.1.1/gecode/support/memory.icc
684
+ - ext/gecode-2.1.1/gecode/support/sentinel-stack.icc
685
+ - ext/gecode-2.1.1/gecode/support/cast.icc
686
+ - ext/gecode-2.1.1/gecode/support/buddy
687
+ - ext/gecode-2.1.1/gecode/support/buddy/fdd.c
688
+ - ext/gecode-2.1.1/gecode/support/buddy/README
689
+ - ext/gecode-2.1.1/gecode/support/buddy/AUTHORS
690
+ - ext/gecode-2.1.1/gecode/support/buddy/imatrix.c
691
+ - ext/gecode-2.1.1/gecode/support/buddy/config.h
692
+ - ext/gecode-2.1.1/gecode/support/buddy/cache.h
693
+ - ext/gecode-2.1.1/gecode/support/buddy/bvec.c
694
+ - ext/gecode-2.1.1/gecode/support/buddy/prime.h
695
+ - ext/gecode-2.1.1/gecode/support/buddy/bdd.h
696
+ - ext/gecode-2.1.1/gecode/support/buddy/imatrix.h
697
+ - ext/gecode-2.1.1/gecode/support/buddy/pairs.c
698
+ - ext/gecode-2.1.1/gecode/support/buddy/bddop.c
699
+ - ext/gecode-2.1.1/gecode/support/buddy/fdd.h
700
+ - ext/gecode-2.1.1/gecode/support/buddy/bvec.h
701
+ - ext/gecode-2.1.1/gecode/support/buddy/kernel.c
702
+ - ext/gecode-2.1.1/gecode/support/buddy/NEWS
703
+ - ext/gecode-2.1.1/gecode/support/buddy/bddio.c
704
+ - ext/gecode-2.1.1/gecode/support/buddy/ChangeLog
705
+ - ext/gecode-2.1.1/gecode/support/buddy/cache.c
706
+ - ext/gecode-2.1.1/gecode/support/buddy/cppext.cc
707
+ - ext/gecode-2.1.1/gecode/support/buddy/tree.c
708
+ - ext/gecode-2.1.1/gecode/support/buddy/kernel.h
709
+ - ext/gecode-2.1.1/gecode/support/buddy/reorder.c
710
+ - ext/gecode-2.1.1/gecode/support/buddy/bddtree.h
711
+ - ext/gecode-2.1.1/gecode/support/buddy/prime.c
712
+ - ext/gecode-2.1.1/gecode/support/symbol.cc
713
+ - ext/gecode-2.1.1/gecode/support/config.icc.in
714
+ - ext/gecode-2.1.1/gecode/support/macros.icc
715
+ - ext/gecode-2.1.1/gecode/support/marked-pointer.icc
716
+ - ext/gecode-2.1.1/gecode/support/dynamic-array.icc
717
+ - ext/gecode-2.1.1/gecode/support/sort.icc
718
+ - ext/gecode-2.1.1/contribs
719
+ - ext/gecode-2.1.1/contribs/README
720
+ - ext/gecode-2.1.1/contribs/qecode
721
+ - ext/gecode-2.1.1/contribs/qecode/SDFVariableHeuristic.cc
722
+ - ext/gecode-2.1.1/contribs/qecode/implicative.hh
723
+ - ext/gecode-2.1.1/contribs/qecode/examples
724
+ - ext/gecode-2.1.1/contribs/qecode/examples/COMPILING
725
+ - ext/gecode-2.1.1/contribs/qecode/examples/MatrixGame.cpp
726
+ - ext/gecode-2.1.1/contribs/qecode/examples/stress_test.cpp
727
+ - ext/gecode-2.1.1/contribs/qecode/examples/NimFibo.cpp
728
+ - ext/gecode-2.1.1/contribs/qecode/FirstFailValueHeuristic.hh
729
+ - ext/gecode-2.1.1/contribs/qecode/SDFVariableHeuristic.hh
730
+ - ext/gecode-2.1.1/contribs/qecode/qsolver.hh
731
+ - ext/gecode-2.1.1/contribs/qecode/heap.cc
732
+ - ext/gecode-2.1.1/contribs/qecode/qecore.hh
733
+ - ext/gecode-2.1.1/contribs/qecode/implicative.cc
734
+ - ext/gecode-2.1.1/contribs/qecode/qecore.cc
735
+ - ext/gecode-2.1.1/contribs/qecode/qecode.hh
736
+ - ext/gecode-2.1.1/contribs/qecode/warner.hh
737
+ - ext/gecode-2.1.1/contribs/qecode/shortdesc.ac
738
+ - ext/gecode-2.1.1/contribs/qecode/myDom.cc
739
+ - ext/gecode-2.1.1/contribs/qecode/FirstFailValueHeuristic.cc
740
+ - ext/gecode-2.1.1/contribs/qecode/extensivecomparator.hh
741
+ - ext/gecode-2.1.1/contribs/qecode/Doxyfile
742
+ - ext/gecode-2.1.1/contribs/qecode/vartype.hh
743
+ - ext/gecode-2.1.1/contribs/qecode/NaiveValueHeuristics.cc
744
+ - ext/gecode-2.1.1/contribs/qecode/extensivecomparator.cc
745
+ - ext/gecode-2.1.1/contribs/qecode/Makefile.in.in
746
+ - ext/gecode-2.1.1/contribs/qecode/configure
747
+ - ext/gecode-2.1.1/contribs/qecode/valueHeuristic.hh
748
+ - ext/gecode-2.1.1/contribs/qecode/qsolver.cc
749
+ - ext/gecode-2.1.1/contribs/qecode/warner.cc
750
+ - ext/gecode-2.1.1/contribs/qecode/myspace.cc
751
+ - ext/gecode-2.1.1/contribs/qecode/myspace.hh
752
+ - ext/gecode-2.1.1/contribs/qecode/NaiveValueHeuristics.hh
753
+ - ext/gecode-2.1.1/contribs/qecode/configure.ac
754
+ - ext/gecode-2.1.1/variables.vsl
755
+ - ext/gecode-2.1.1/Makefile.in
752
756
  - ext/gecode-2.1.1/misc
753
- - ext/gecode-2.1.1/misc/gentxtchangelog.perl
757
+ - ext/gecode-2.1.1/misc/fixproperties.sh
758
+ - ext/gecode-2.1.1/misc/svn-ignore.txt
754
759
  - ext/gecode-2.1.1/misc/genchangelog.perl
755
- - ext/gecode-2.1.1/misc/debian
756
- - ext/gecode-2.1.1/misc/debian/gecode.spec
757
- - ext/gecode-2.1.1/misc/debian/control
758
- - ext/gecode-2.1.1/misc/debian/gecode.info
759
- - ext/gecode-2.1.1/misc/debian/changelog
760
- - ext/gecode-2.1.1/misc/debian/copyright
761
- - ext/gecode-2.1.1/misc/debian/Makefile.am
762
- - ext/gecode-2.1.1/misc/debian/rules
763
- - ext/gecode-2.1.1/misc/debian/gecode.install
764
- - ext/gecode-2.1.1/misc/genstatistics.perl
765
- - ext/gecode-2.1.1/misc/AppleHelpbookInfo.plist
766
- - ext/gecode-2.1.1/misc/genlcovmakefile.perl
767
- - ext/gecode-2.1.1/misc/gecode.pc.in
768
- - ext/gecode-2.1.1/misc/makedepend.perl
769
760
  - ext/gecode-2.1.1/misc/gecode-search.pc.in
770
- - ext/gecode-2.1.1/misc/getrevision.perl
771
- - ext/gecode-2.1.1/misc/gecode-gist.pc.in
772
- - ext/gecode-2.1.1/misc/genregistry.perl
773
- - ext/gecode-2.1.1/misc/genvariables.perl
774
- - ext/gecode-2.1.1/misc/svn-ignore.txt
775
- - ext/gecode-2.1.1/misc/gecode-serialization.pc.in
776
- - ext/gecode-2.1.1/misc/gecode-minimodel.pc.in
761
+ - ext/gecode-2.1.1/misc/gentxtchangelog.perl
762
+ - ext/gecode-2.1.1/misc/genlcovmakefile.perl
763
+ - ext/gecode-2.1.1/misc/AppleHelpbookInfo.plist
777
764
  - ext/gecode-2.1.1/misc/allexamples.perl
778
- - ext/gecode-2.1.1/misc/fixproperties.sh
779
- - ext/gecode-2.1.1/misc/genlicense.perl
780
765
  - ext/gecode-2.1.1/misc/doxygen
781
- - ext/gecode-2.1.1/misc/doxygen/stylesheet.css
782
766
  - ext/gecode-2.1.1/misc/doxygen/footer.html
767
+ - ext/gecode-2.1.1/misc/doxygen/stylesheet.css
783
768
  - ext/gecode-2.1.1/misc/doxygen/back.png
784
769
  - ext/gecode-2.1.1/misc/doxygen/gecode-logo-100.png
785
770
  - ext/gecode-2.1.1/misc/doxygen/header.html
786
- - ext/gecode-2.1.1/variables.vsl
771
+ - ext/gecode-2.1.1/misc/gecode-minimodel.pc.in
772
+ - ext/gecode-2.1.1/misc/genregistry.perl
773
+ - ext/gecode-2.1.1/misc/genvariables.perl
774
+ - ext/gecode-2.1.1/misc/gecode.pc.in
775
+ - ext/gecode-2.1.1/misc/gecode-serialization.pc.in
776
+ - ext/gecode-2.1.1/misc/debian
777
+ - ext/gecode-2.1.1/misc/debian/changelog
778
+ - ext/gecode-2.1.1/misc/debian/gecode.info
779
+ - ext/gecode-2.1.1/misc/debian/copyright
780
+ - ext/gecode-2.1.1/misc/debian/gecode.install
781
+ - ext/gecode-2.1.1/misc/debian/rules
782
+ - ext/gecode-2.1.1/misc/debian/Makefile.am
783
+ - ext/gecode-2.1.1/misc/debian/gecode.spec
784
+ - ext/gecode-2.1.1/misc/debian/control
785
+ - ext/gecode-2.1.1/misc/gecode-gist.pc.in
786
+ - ext/gecode-2.1.1/misc/makedepend.perl
787
+ - ext/gecode-2.1.1/misc/getrevision.perl
788
+ - ext/gecode-2.1.1/misc/genlicense.perl
789
+ - ext/gecode-2.1.1/misc/genstatistics.perl
790
+ - ext/gecode-2.1.1/configure.ac.in
791
+ - ext/gecode-2.1.1/configure.ac
787
792
  - ext/gecode-2.1.1/changelog.in
788
- - ext/gecode-2.1.1/doxygen
789
- - ext/gecode-2.1.1/doxygen/doxygen.hh.in
790
- - ext/gecode-2.1.1/doxygen/doxygen.conf.in
791
- - ext/gecode-2.1.1/doxygen/reflection.hh
792
- - ext/gecode-2.1.1/install-sh
793
793
  test_files:
794
- - specs/constraints/boolean.rb
794
+ - specs/logging.rb
795
+ - specs/branch.rb
796
+ - specs/enum_matrix.rb
797
+ - specs/search.rb
798
+ - specs/bool_var.rb
799
+ - specs/distribution.rb
800
+ - specs/spec_helper.rb
801
+ - specs/int_var.rb
802
+ - specs/enum_wrapper.rb
803
+ - specs/model.rb
804
+ - specs/set_var.rb
795
805
  - specs/constraints/channel.rb
796
- - specs/constraints/int_domain.rb
806
+ - specs/constraints/bool_enum_relation.rb
797
807
  - specs/constraints/distinct.rb
808
+ - specs/constraints/set_operation.rb
809
+ - specs/constraints/element.rb
798
810
  - specs/constraints/set_domain.rb
799
- - specs/constraints/constraint_helper.rb
800
- - specs/constraints/selection.rb
801
- - specs/constraints/int_relation.rb
802
- - specs/constraints/sort.rb
811
+ - specs/constraints/arithmetic.rb
812
+ - specs/constraints/constraints.rb
803
813
  - specs/constraints/count.rb
814
+ - specs/constraints/cardinality.rb
804
815
  - specs/constraints/set_relation.rb
805
- - specs/constraints/element.rb
806
- - specs/constraints/arithmetic.rb
807
- - specs/constraints/reification_sugar.rb
816
+ - specs/constraints/extensional.rb
808
817
  - specs/constraints/equality.rb
818
+ - specs/constraints/boolean.rb
819
+ - specs/constraints/int_relation.rb
820
+ - specs/constraints/sort.rb
821
+ - specs/constraints/constraint_helper.rb
822
+ - specs/constraints/int_domain.rb
823
+ - specs/constraints/reification_sugar.rb
824
+ - specs/constraints/selection.rb
809
825
  - specs/constraints/connection.rb
810
- - specs/constraints/cardinality.rb
811
- - specs/constraints/constraints.rb
812
826
  - specs/constraints/linear.rb
813
- - specs/constraints/set_operation.rb
814
- - specs/constraints/extensional.rb
815
- - specs/constraints/bool_enum_relation.rb
816
- - specs/branch.rb
817
- - specs/model.rb
818
- - specs/binding_changes.rb
819
- - specs/int_var.rb
820
- - specs/bool_var.rb
821
- - specs/set_var.rb
822
- - specs/enum_wrapper.rb
823
- - specs/search.rb
824
- - specs/logging.rb
825
- - specs/enum_matrix.rb
826
- - specs/spec_helper.rb
827
- - specs/distribution.rb
828
827
  - specs/examples.rb
829
828
  rdoc_options:
830
829
  - --title
@@ -839,53 +838,55 @@ extra_rdoc_files:
839
838
  - README
840
839
  - CHANGES
841
840
  - LGPL-LICENSE
842
- - lib/gecoder/interface/constraints/bool_enum/channel.rb
843
- - lib/gecoder/interface/constraints/bool_enum/extensional.rb
844
- - lib/gecoder/interface/constraints/bool_enum/relation.rb
845
- - lib/gecoder/interface/constraints/set_enum/operation.rb
846
- - lib/gecoder/interface/constraints/set_enum/distinct.rb
847
- - lib/gecoder/interface/constraints/set_enum/selection.rb
848
- - lib/gecoder/interface/constraints/set_enum/channel.rb
849
- - lib/gecoder/interface/constraints/int/domain.rb
841
+ - lib/gecoder.rb
842
+ - lib/gecoder/bindings.rb
843
+ - lib/gecoder/interface/branch.rb
844
+ - lib/gecoder/interface/enum_matrix.rb
845
+ - lib/gecoder/interface/search.rb
846
+ - lib/gecoder/interface/constraints.rb
847
+ - lib/gecoder/interface/variables.rb
848
+ - lib/gecoder/interface/enum_wrapper.rb
849
+ - lib/gecoder/interface/model.rb
850
+ - lib/gecoder/interface/constraints/set_var_constraints.rb
851
+ - lib/gecoder/interface/constraints/extensional_regexp.rb
852
+ - lib/gecoder/interface/constraints/int_enum_constraints.rb
853
+ - lib/gecoder/interface/constraints/set/channel.rb
854
+ - lib/gecoder/interface/constraints/set/cardinality.rb
855
+ - lib/gecoder/interface/constraints/set/operation.rb
856
+ - lib/gecoder/interface/constraints/set/connection.rb
857
+ - lib/gecoder/interface/constraints/set/domain.rb
858
+ - lib/gecoder/interface/constraints/set/relation.rb
859
+ - lib/gecoder/interface/constraints/int/channel.rb
850
860
  - lib/gecoder/interface/constraints/int/arithmetic.rb
851
861
  - lib/gecoder/interface/constraints/int/linear.rb
852
- - lib/gecoder/interface/constraints/int/channel.rb
862
+ - lib/gecoder/interface/constraints/int/domain.rb
863
+ - lib/gecoder/interface/constraints/set_enum_constraints.rb
864
+ - lib/gecoder/interface/constraints/bool/channel.rb
853
865
  - lib/gecoder/interface/constraints/bool/boolean.rb
854
866
  - lib/gecoder/interface/constraints/bool/linear.rb
855
- - lib/gecoder/interface/constraints/bool/channel.rb
856
- - lib/gecoder/interface/constraints/set/relation.rb
857
- - lib/gecoder/interface/constraints/set/connection.rb
858
- - lib/gecoder/interface/constraints/set/operation.rb
859
- - lib/gecoder/interface/constraints/set/cardinality.rb
860
- - lib/gecoder/interface/constraints/set/domain.rb
861
- - lib/gecoder/interface/constraints/int_enum/equality.rb
862
- - lib/gecoder/interface/constraints/int_enum/distinct.rb
863
- - lib/gecoder/interface/constraints/int_enum/sort.rb
864
867
  - lib/gecoder/interface/constraints/int_enum/channel.rb
865
- - lib/gecoder/interface/constraints/int_enum/count.rb
866
- - lib/gecoder/interface/constraints/int_enum/arithmetic.rb
868
+ - lib/gecoder/interface/constraints/int_enum/distinct.rb
867
869
  - lib/gecoder/interface/constraints/int_enum/element.rb
870
+ - lib/gecoder/interface/constraints/int_enum/arithmetic.rb
871
+ - lib/gecoder/interface/constraints/int_enum/count.rb
868
872
  - lib/gecoder/interface/constraints/int_enum/extensional.rb
869
- - lib/gecoder/interface/constraints/int_enum_constraints.rb
873
+ - lib/gecoder/interface/constraints/int_enum/equality.rb
874
+ - lib/gecoder/interface/constraints/int_enum/sort.rb
875
+ - lib/gecoder/interface/constraints/bool_var_constraints.rb
870
876
  - lib/gecoder/interface/constraints/bool_enum_constraints.rb
871
- - lib/gecoder/interface/constraints/set_enum_constraints.rb
877
+ - lib/gecoder/interface/constraints/bool_enum/channel.rb
878
+ - lib/gecoder/interface/constraints/bool_enum/extensional.rb
879
+ - lib/gecoder/interface/constraints/bool_enum/relation.rb
872
880
  - lib/gecoder/interface/constraints/int_var_constraints.rb
873
881
  - lib/gecoder/interface/constraints/reifiable_constraints.rb
874
- - lib/gecoder/interface/constraints/bool_var_constraints.rb
875
- - lib/gecoder/interface/constraints/set_var_constraints.rb
876
- - lib/gecoder/interface/branch.rb
877
- - lib/gecoder/interface/model.rb
882
+ - lib/gecoder/interface/constraints/set_enum/channel.rb
883
+ - lib/gecoder/interface/constraints/set_enum/distinct.rb
884
+ - lib/gecoder/interface/constraints/set_enum/operation.rb
885
+ - lib/gecoder/interface/constraints/set_enum/selection.rb
878
886
  - lib/gecoder/interface/binding_changes.rb
879
- - lib/gecoder/interface/enum_wrapper.rb
880
- - lib/gecoder/interface/search.rb
881
- - lib/gecoder/interface/constraints.rb
882
- - lib/gecoder/interface/enum_matrix.rb
883
- - lib/gecoder/interface/variables.rb
884
- - lib/gecoder/bindings/bindings.rb
885
- - lib/gecoder/bindings.rb
886
- - lib/gecoder/interface.rb
887
887
  - lib/gecoder/version.rb
888
- - lib/gecoder.rb
888
+ - lib/gecoder/interface.rb
889
+ - lib/gecoder/bindings/bindings.rb
889
890
  executables: []
890
891
 
891
892
  extensions: