36 namespace Test {
namespace FlatZinc {
45 (void)
new FlatZincTest(
"bool_clause",
"var bool: w :: output_var;\ 46 var bool: x :: output_var;\ 47 array [1..3] of var bool: y :: output_array([1..3]);\ 48 array [1..3] of var bool: z :: output_array([1..3]);\ 50 constraint bool_clause([w], []);\ 51 constraint bool_clause([], [x]);\ 52 constraint bool_clause(y, []);\ 53 constraint bool_clause([], z);\ 58 y = array1d(1..3, [true, false, false]);\n\ 59 z = array1d(1..3, [false, false, false]);\n\ Gecode::FloatVal c(-8, 8)