this repo has no description
dekker.one
1%
2% Main authors:
3% Guido Tack <tack@gecode.org>
4% Mikael lagerkvist <lagerkvist@gecode.org>
5%
6% Copyright:
7% Guido Tack, 2007
8% Mikael Lagerkvist, 2009
9%
10% This file is part of Gecode, the generic constraint
11% development environment:
12% http://www.gecode.org
13%
14% Permission is hereby granted, free of charge, to any person obtaining
15% a copy of this software and associated documentation files (the
16% "Software"), to deal in the Software without restriction, including
17% without limitation the rights to use, copy, modify, merge, publish,
18% distribute, sublicense, and/or sell copies of the Software, and to
19% permit persons to whom the Software is furnished to do so, subject to
20% the following conditions:
21%
22% The above copyright notice and this permission notice shall be
23% included in all copies or substantial portions of the Software.
24%
25% THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
26% EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
27% MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
28% NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
29% LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
30% OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
31% WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
32%
33%
34
35predicate fzn_cumulative(array[int] of var int: s,
36 array[int] of var int: d,
37 array[int] of var int: r, var int: b) =
38 gecode_cumulatives(s, d, r, b);
39
40predicate gecode_cumulatives(array[int] of var int: s,
41 array[int] of var int: d,
42 array[int] of var int: r, var int: b);