36namespace Test {
namespace FlatZinc {
45 (void)
new FlatZincTest(
"fzn_arrays",
49var set of 1..10: s1;\n\
51array [1..3] of var bool: ab1;\n\
52array [1..3] of var 1.0..10.0: af1;\n\
53array [1..3] of var 1..10: ai1;\n\
54array [1..3] of var set of 1..10: as1;\n\
56constraint array_bool_element(1, [true, false], b1);\n\
57constraint array_var_bool_element(2, ab1, b1);\n\
59constraint array_int_element(2, [1, 2, 3], i1);\n\
60constraint array_var_int_element(2, ai1, i1);\n\
62constraint array_set_element(1, [{1}, {2}, {3}], s1);\n\
63constraint array_var_set_element(2, as1, s1);\n\
Gecode::FloatVal c(-8, 8)