|
| 1 | +/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */ |
| 2 | +/* |
| 3 | + * Main authors: |
| 4 | + * Jason Nguyen <[email protected]> |
| 5 | + * |
| 6 | + * Copyright: |
| 7 | + * Jason nguyen, 2023 |
| 8 | + * |
| 9 | + * This file is part of Gecode, the generic constraint |
| 10 | + * development environment: |
| 11 | + * http://www.gecode.org |
| 12 | + * |
| 13 | + * Permission is hereby granted, free of charge, to any person obtaining |
| 14 | + * a copy of this software and associated documentation files (the |
| 15 | + * "Software"), to deal in the Software without restriction, including |
| 16 | + * without limitation the rights to use, copy, modify, merge, publish, |
| 17 | + * distribute, sublicense, and/or sell copies of the Software, and to |
| 18 | + * permit persons to whom the Software is furnished to do so, subject to |
| 19 | + * the following conditions: |
| 20 | + * |
| 21 | + * The above copyright notice and this permission notice shall be |
| 22 | + * included in all copies or substantial portions of the Software. |
| 23 | + * |
| 24 | + * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, |
| 25 | + * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF |
| 26 | + * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND |
| 27 | + * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE |
| 28 | + * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION |
| 29 | + * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION |
| 30 | + * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. |
| 31 | + * |
| 32 | + */ |
| 33 | + |
| 34 | +#include "test/flatzinc.hh" |
| 35 | + |
| 36 | +namespace Test { namespace FlatZinc { |
| 37 | + |
| 38 | + namespace { |
| 39 | + /// Helper class to create and register tests |
| 40 | + class Create { |
| 41 | + public: |
| 42 | + |
| 43 | + /// Perform creation and registration |
| 44 | + Create(void) { |
| 45 | + (void) new FlatZincTest("subtyping::1", |
| 46 | +R"FZN( |
| 47 | +bool: pb = true; |
| 48 | +int: pi = 1; |
| 49 | +float: pf = 1.5; |
| 50 | +set of int: ps = {1, 3}; |
| 51 | +var bool: vb :: output_var; |
| 52 | +var 1..1: vi :: output_var; |
| 53 | +var 1.5..1.5: vf :: output_var; |
| 54 | +var set of 1..1: vs :: output_var; |
| 55 | +array [1..3] of var bool: vba = [vb, pb, true]; |
| 56 | +array [1..3] of var int: via = [vi, pi, 3]; |
| 57 | +array [1..3] of var float: vfa = [vf, pf, 3.5]; |
| 58 | +array [1..3] of var set of int: vsa = [vs, ps, {1}]; |
| 59 | +constraint bool_eq(vb, pb); |
| 60 | +constraint set_card(vs, pi); |
| 61 | +solve satisfy; |
| 62 | +)FZN", |
| 63 | +R"OUT(vb = true; |
| 64 | +vf = 1.5; |
| 65 | +vi = 1; |
| 66 | +vs = 1..1; |
| 67 | +---------- |
| 68 | +)OUT"); |
| 69 | + } |
| 70 | + }; |
| 71 | + |
| 72 | + Create c; |
| 73 | + } |
| 74 | + |
| 75 | +}} |
| 76 | + |
| 77 | +// STATISTICS: test-flatzinc |
0 commit comments