40 namespace Gecode {
namespace Float {
45 if ((x.min() > y.max()) || (x.max() < y.min()))
return RT_FALSE;
59 if (x.max() <= y.min())
return RT_TRUE;
60 if (x.min() > y.max())
return RT_FALSE;
75 if (x.max() < y.min())
return RT_TRUE;
76 if (x.min() >= y.max())
return RT_FALSE;
RelTest rtest_lq(View x, View y)
Test whether view x is less or equal than view y.
RelTest
Result of testing relation.
int n
Number of negative literals for node type.
RelTest
Result of testing relation.
RelTest rtest_eq(View x, View y)
Test whether views x and y are equal.
Node * x
Pointer to corresponding Boolean expression node.
RelTest rtest_le(View x, View y)
Test whether view x is less than view y.
Gecode toplevel namespace
Relation may hold or not.
friend FloatVal max(const FloatVal &x, const FloatVal &y)
friend FloatVal min(const FloatVal &x, const FloatVal &y)