41 if ((
x.min() >
y.max()) || (
x.max() <
y.min()))
return RT_FALSE;
friend FloatVal max(const FloatVal &x, const FloatVal &y)
friend FloatVal min(const FloatVal &x, const FloatVal &y)
RelTest
Result of testing relation.
@ RT_TRUE
Relation does hold.
@ RT_FALSE
Relation does not hold.
@ RT_MAYBE
Relation may hold or not.
RelTest rtest_le(View x, View y)
Test whether view x is less than view y.
RelTest rtest_eq(View x, View y)
Test whether views x and y are equal.
RelTest rtest_lq(View x, View y)
Test whether view x is less or equal than view y.
RelTest
Result of testing relation.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar y
Post propagator for SetVar x