gecoder-with-gecode 1.1.1 → 1.1.1.1
Sign up to get free protection for your applications and to get access to all the features.
- data/ext/gecode-2.2.0/gecode/int/count/view.icc +3 -3
- data/lib/gecoder/version.rb +1 -1
- data/tasks/website.rake +2 -2
- metadata +3 -2
@@ -152,7 +152,7 @@ namespace Gecode { namespace Int { namespace Count {
|
|
152
152
|
ViewArray<VX>& x, VY y, VZ z, int c) {
|
153
153
|
if (z.assigned())
|
154
154
|
return EqInt<VX,VY>::post(home,x,y,z.val()+c);
|
155
|
-
if (sharing(x,y,z))
|
155
|
+
if (EqView::sharing(x,y,z))
|
156
156
|
(void) new (home) EqView<VX,VY,VZ,true>(home,x,y,z,c);
|
157
157
|
else
|
158
158
|
(void) new (home) EqView<VX,VY,VZ,false>(home,x,y,z,c);
|
@@ -309,7 +309,7 @@ namespace Gecode { namespace Int { namespace Count {
|
|
309
309
|
VY y, VZ z, int c) {
|
310
310
|
if (z.assigned())
|
311
311
|
return LqInt<VX,VY>::post(home,x,y,z.val()+c);
|
312
|
-
if (sharing(x,y,z))
|
312
|
+
if (LqView::sharing(x,y,z))
|
313
313
|
(void) new (home) LqView<VX,VY,VZ,true>(home,x,y,z,c);
|
314
314
|
else
|
315
315
|
(void) new (home) LqView<VX,VY,VZ,false>(home,x,y,z,c);
|
@@ -384,7 +384,7 @@ namespace Gecode { namespace Int { namespace Count {
|
|
384
384
|
ViewArray<VX>& x, VY y, VZ z, int c) {
|
385
385
|
if (z.assigned())
|
386
386
|
return GqInt<VX,VY>::post(home,x,y,z.val()+c);
|
387
|
-
if (sharing(x,y,z))
|
387
|
+
if (GqView::sharing(x,y,z))
|
388
388
|
(void) new (home) GqView<VX,VY,VZ,true>(home,x,y,z,c);
|
389
389
|
else
|
390
390
|
(void) new (home) GqView<VX,VY,VZ,false>(home,x,y,z,c);
|
data/lib/gecoder/version.rb
CHANGED
data/tasks/website.rake
CHANGED
metadata
CHANGED
@@ -1,13 +1,14 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: gecoder-with-gecode
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
hash:
|
4
|
+
hash: 81
|
5
5
|
prerelease:
|
6
6
|
segments:
|
7
7
|
- 1
|
8
8
|
- 1
|
9
9
|
- 1
|
10
|
-
|
10
|
+
- 1
|
11
|
+
version: 1.1.1.1
|
11
12
|
platform: ruby
|
12
13
|
authors:
|
13
14
|
- Gecode/R Development Team
|