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