this repo has no description
dekker.one
1%
2% Main authors:
3% Christian Schulte <schulte@gecode.org>
4% Guido Tack <tack@gecode.org>
5%
6% Copyright:
7% Christian Schulte, 2018
8% Guido Tack, 2007
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 gecode_table_int(array[int] of var int: x,
36 array[int] of int: t);
37
38predicate fzn_table_int(array[int] of var int: x, array[int, int] of int: t) =
39 gecode_table_int(x,array1d(t));