gecoder-with-gecode 0.8.2 → 0.8.3

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (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: