always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix warm_start redefinition

Browse Source
This commit is contained in:
Laurent Perron
2022-06-07 07:41:36 +02:00
parent 5ad0feaa0c
commit 45c608e371
1 changed files with 0 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
ortools/flatzinc/mznlib/redefinitions-2.0.mzn
View File

@@ -98,17 +98,5 @@ predicate int_lin_ne_imp(array [int] of int: as, array [int] of var int: bs,
int: c, var bool: r);
annotation warm_start_array( array[int] of ann: w );
annotation warm_start( array[int] of var bool: x, array[int] of opt bool: v ) =
assert(index_sets_agree(x, v), "index sets of warm_start arguments don't agree",
let {
any: xx = [ x[i] | i in index_set(x) where occurs(v[i])];
any: vv = [ deopt(v[i]) | i in index_set(x) where occurs(v[i])];
} in warm_start(xx, vv));
annotation warm_start( array[int] of var int: x, array[int] of opt int: v ) =
assert(index_sets_agree(x, v), "index sets of warm_start arguments don't agree",
let {
any: xx = [ x[i] | i in index_set(x) where occurs(v[i])];
any: vv = [ deopt(v[i]) | i in index_set(x) where occurs(v[i])];
} in warm_start(xx, vv));