40 namespace Test {
namespace FlatZinc {
49 (void)
new FlatZincTest(
"sat_cmp_reif",
59 array [1..9] of var bool: result :: output_array([1..9]) =\n\
60 [lt_a, lt_b, gt_a, gt_b, le_a, le_b, le_c, ge_a, ge_b];\n\
61 constraint bool_lt_reif(lt_a, lt_b, true);\n\
62 constraint bool_lt_reif(gt_b, gt_a, true);\n\
63 constraint bool_le_reif(true, le_a, true);\n\
64 constraint bool_le_reif(le_b, false, true);\n\
65 constraint bool_le_reif(false, true, true);\n\
66 constraint bool_le_reif(ge_a, false, true);\n\
67 constraint bool_le_reif(true, ge_b, true);\n\
70 ",
"result = array1d(1..9, [false, true, true, false, true, false, false, false, true]);\n\
Gecode::FloatVal c(-8, 8)