40 namespace Gecode {
namespace Float {
45 if ((
x.min() >
y.max()) || (
x.max() <
y.min()))
return RT_FALSE;
52 if ((
x.min() >
n.max()) || (
x.max() <
n.min()))
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.
bool assigned(void) const
Test whether view is assigned.
int n
Number of negative literals for node type.
RelTest
Result of testing relation.
Post propagator for SetVar SetOpType SetVar y
RelTest rtest_eq(View x, View y)
Test whether views x and y are equal.
Post propagator for SetVar x
RelTest rtest_le(View x, View y)
Test whether view x is less than view y.
Gecode toplevel namespace
Relation may hold or not.