rel-test.hpp
Go to the documentation of this file.
/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
/*
* Main authors:
* Christian Schulte <schulte@gecode.org>
*
* Copyright:
* Christian Schulte, 2003
*
* This file is part of Gecode, the generic constraint
* development environment:
* http://www.gecode.org
*
* Permission is hereby granted, free of charge, to any person obtaining
* a copy of this software and associated documentation files (the
* "Software"), to deal in the Software without restriction, including
* without limitation the rights to use, copy, modify, merge, publish,
* distribute, sublicense, and/or sell copies of the Software, and to
* permit persons to whom the Software is furnished to do so, subject to
* the following conditions:
*
* The above copyright notice and this permission notice shall be
* included in all copies or substantial portions of the Software.
*
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
* MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
* LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
* OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
* WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
*
*/
namespace Gecode { namespace Int {
/*
* Testing equality
*
*/
template<class VX, class VY>
forceinline RelTest
rtest_eq_bnd(VX x, VY y) {
if ((x.min() > y.max()) || (x.max() < y.min())) return RT_FALSE;
return (x.assigned() && y.assigned()) ? RT_TRUE : RT_MAYBE;
}
template<class VX, class VY>
RelTest
rtest_eq_dom_check(VX x, VY y) {
ViewRanges<VX> rx(x);
ViewRanges<VY> ry(y);
while (rx() && ry()) {
if (rx.max() < ry.min()) {
++rx;
} else if (ry.max() < rx.min()) {
++ry;
} else return RT_MAYBE;
}
return RT_FALSE;
}
template<class VX, class VY>
forceinline RelTest
rtest_eq_dom(VX x, VY y) {
RelTest rt = rtest_eq_bnd(x,y);
if (rt != RT_MAYBE) return rt;
return (x.range() && y.range()) ? RT_MAYBE : rtest_eq_dom_check(x,y);
}
template<class VX>
forceinline RelTest
rtest_eq_bnd(VX x, int n) {
if ((n > x.max()) || (n < x.min())) return RT_FALSE;
return x.assigned() ? RT_TRUE : RT_MAYBE;
}
template<class VX>
RelTest
rtest_eq_dom_check(VX x, int n) {
ViewRanges<VX> rx(x);
while (n > rx.max()) ++rx;
return (n >= rx.min()) ? RT_MAYBE : RT_FALSE;
}
template<class VX>
forceinline RelTest
rtest_eq_dom(VX x, int n) {
RelTest rt = rtest_eq_bnd(x,n);
if (rt != RT_MAYBE) return rt;
return x.range() ? RT_MAYBE : rtest_eq_dom_check(x,n);
}
/*
* Testing disequality
*
*/
template<class VX, class VY>
forceinline RelTest
rtest_nq_bnd(VX x, VY y) {
if ((x.min() > y.max()) || (x.max() < y.min())) return RT_TRUE;
return (x.assigned() && y.assigned()) ? RT_FALSE : RT_MAYBE;
}
template<class VX, class VY>
forceinline RelTest
rtest_nq_dom_check(VX x, VY y) {
ViewRanges<VX> rx(x);
ViewRanges<VY> ry(y);
while (rx() && ry()) {
if (rx.max() < ry.min()) {
++rx;
} else if (ry.max() < rx.min()) {
++ry;
} else return RT_MAYBE;
}
return RT_TRUE;
}
template<class VX, class VY>
forceinline RelTest
rtest_nq_dom(VX x, VY y) {
RelTest rt = rtest_nq_bnd(x,y);
if (rt != RT_MAYBE) return rt;
return (x.range() && y.range()) ? RT_MAYBE : rtest_nq_dom_check(x,y);
}
template<class VX>
forceinline RelTest
rtest_nq_bnd(VX x, int n) {
if ((n > x.max()) || (n < x.min())) return RT_TRUE;
return (x.assigned()) ? RT_FALSE : RT_MAYBE;
}
template<class VX>
forceinline RelTest
rtest_nq_dom_check(VX x, int n) {
ViewRanges<VX> rx(x);
while (n > rx.max()) ++rx;
return (n >= rx.min()) ? RT_MAYBE : RT_TRUE;
}
template<class VX>
forceinline RelTest
rtest_nq_dom(VX x, int n) {
RelTest rt = rtest_nq_bnd(x,n);
if (rt != RT_MAYBE) return rt;
return x.range() ? RT_MAYBE : rtest_nq_dom_check(x,n);
}
/*
* Testing inequalities
*
*/
template<class VX, class VY>
forceinline RelTest
rtest_lq(VX x, VY y) {
if (x.max() <= y.min()) return RT_TRUE;
if (x.min() > y.max()) return RT_FALSE;
return RT_MAYBE;
}
template<class VX>
forceinline RelTest
rtest_lq(VX x, int n) {
if (x.max() <= n) return RT_TRUE;
if (x.min() > n) return RT_FALSE;
return RT_MAYBE;
}
template<class VX, class VY>
forceinline RelTest
rtest_le(VX x, VY y) {
if (x.max() < y.min()) return RT_TRUE;
if (x.min() >= y.max()) return RT_FALSE;
return RT_MAYBE;
}
template<class VX>
forceinline RelTest
rtest_le(VX x, int n) {
if (x.max() < n) return RT_TRUE;
if (x.min() >= n) return RT_FALSE;
return RT_MAYBE;
}
template<class VX, class VY>
forceinline RelTest
rtest_gq(VX x, VY y) {
if (x.max() < y.min()) return RT_FALSE;
if (x.min() >= y.max()) return RT_TRUE;
return RT_MAYBE;
}
template<class VX>
forceinline RelTest
rtest_gq(VX x, int n) {
if (x.max() < n) return RT_FALSE;
if (x.min() >= n) return RT_TRUE;
return RT_MAYBE;
}
template<class VX, class VY>
forceinline RelTest
rtest_gr(VX x, VY y) {
if (x.max() <= y.min()) return RT_FALSE;
if (x.min() > y.max()) return RT_TRUE;
return RT_MAYBE;
}
template<class VX>
forceinline RelTest
rtest_gr(VX x, int n) {
if (x.max() <= n) return RT_FALSE;
if (x.min() > n) return RT_TRUE;
return RT_MAYBE;
}
}}
// STATISTICS: int-var
Gecode::Int::ViewRanges
Range iterator for integer views.
Definition view.hpp:54
Gecode::Int::ViewRanges::max
int max(void) const
Return largest value of range.
Gecode::Int::ViewRanges::min
int min(void) const
Return smallest value of range.
Gecode::Int
Finite domain integers.
Gecode::Int::rtest_eq_dom
RelTest rtest_eq_dom(VX x, VY y)
Test whether views x and y are equal (use full domain information).
Definition rel-test.hpp:65
Gecode::Int::rtest_nq_dom
RelTest rtest_nq_dom(VX x, VY y)
Test whether views x and y are different (use full domain information).
Definition rel-test.hpp:126
Gecode::Int::rtest_eq_dom_check
RelTest rtest_eq_dom_check(VX x, VY y)
Definition rel-test.hpp:50
Gecode::Int::rtest_nq_dom_check
RelTest rtest_nq_dom_check(VX x, VY y)
Definition rel-test.hpp:111
Gecode::Int::rtest_eq_bnd
RelTest rtest_eq_bnd(VX x, VY y)
Test whether views x and y are equal (use bounds information).
Definition rel-test.hpp:43
Gecode::Int::rtest_lq
RelTest rtest_lq(VX x, VY y)
Test whether view x is less or equal than view y.
Definition rel-test.hpp:164
Gecode::Int::rtest_le
RelTest rtest_le(VX x, VY y)
Test whether view x is less than view y.
Definition rel-test.hpp:180
Gecode::Int::RelTest
RelTest
Result of testing relation.
Definition view.hpp:1734
Gecode::Int::RT_TRUE
@ RT_TRUE
Relation does hold.
Definition view.hpp:1737
Gecode::Int::RT_MAYBE
@ RT_MAYBE
Relation may hold or not.
Definition view.hpp:1736
Gecode::Int::RT_FALSE
@ RT_FALSE
Relation does not hold.
Definition view.hpp:1735
Gecode::Int::rtest_nq_bnd
RelTest rtest_nq_bnd(VX x, VY y)
Test whether views x and y are different (use bounds information).
Definition rel-test.hpp:104
Gecode::Int::rtest_gr
RelTest rtest_gr(VX x, VY y)
Test whether view x is greater than view y.
Definition rel-test.hpp:212
Gecode::Int::rtest_gq
RelTest rtest_gq(VX x, VY y)
Test whether view x is greater or equal than view y.
Definition rel-test.hpp:196
Gecode
Gecode toplevel namespace
forceinline
#define forceinline
Definition config.hpp:187