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