rel-test.hpp
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036 namespace Gecode { namespace Float {
00037
00038 template<class View>
00039 forceinline RelTest
00040 rtest_eq(View x, View y) {
00041 if ((x.min() > y.max()) || (x.max() < y.min())) return RT_FALSE;
00042 return (x.assigned() && y.assigned()) ? RT_TRUE : RT_MAYBE;
00043 }
00044
00045 template<class View>
00046 forceinline RelTest
00047 rtest_eq(View x, FloatVal n) {
00048 if ((x.min() > n.max()) || (x.max() < n.min())) return RT_FALSE;
00049 return x.assigned() ? RT_TRUE : RT_MAYBE;
00050 }
00051
00052 template<class View>
00053 forceinline RelTest
00054 rtest_lq(View x, View y) {
00055 if (x.max() <= y.min()) return RT_TRUE;
00056 if (x.min() > y.max()) return RT_FALSE;
00057 return RT_MAYBE;
00058 }
00059
00060 template<class View>
00061 forceinline RelTest
00062 rtest_lq(View x, FloatVal n) {
00063 if (x.max() <= n.min()) return RT_TRUE;
00064 if (x.min() > n.max()) return RT_FALSE;
00065 return RT_MAYBE;
00066 }
00067
00068 template<class View>
00069 forceinline RelTest
00070 rtest_le(View x, View y) {
00071 if (x.max() < y.min()) return RT_TRUE;
00072 if (x.min() >= y.max()) return RT_FALSE;
00073 return RT_MAYBE;
00074 }
00075
00076 template<class View>
00077 forceinline RelTest
00078 rtest_le(View x, FloatVal n) {
00079 if (x.max() < n.min()) return RT_TRUE;
00080 if (x.min() >= n.max()) return RT_FALSE;
00081 return RT_MAYBE;
00082 }
00083
00084 }}
00085
00086
00087