FM / predicates

/usr/include/boost/icl/predicates

Name	Size	Mode	Actions
distinct_equal.hpp	1083	0644	edit dl rm
element_equal.hpp	1075	0644	edit dl rm
std_equal.hpp	1131	0644	edit dl rm
sub_super_set.hpp	1870	0644	edit dl rm

Edit: /usr/include/boost/icl/predicates/distinct_equal.hpp (1083B)

#include <boost/icl/type_traits/predicate.hpp>
#include <boost/icl/type_traits/type_to_string.hpp>

namespace boost{namespace icl
{
    template <class Type> 
    struct distinct_equal : public relation<Type,Type>
    {
        bool operator()(const Type& lhs, const Type& rhs)const
        {
            return is_distinct_equal(lhs, rhs);
        }
    };

template<>
    inline std::string unary_template_to_string<icl::distinct_equal>::apply()  
    { return "==/0"; }

}} // namespace icl boost

#endif

/*-----------------------------------------------------------------------------+ Copyright (c) 2010-2010: Joachim Faulhaber +------------------------------------------------------------------------------+ Distributed under the Boost Software License, Version 1.0. (See accompanying file LICENCE.txt or copy at http://www.boost.org/LICENSE_1_0.txt) +-----------------------------------------------------------------------------*/ #ifndef BOOST_ICL_PREDICATES_DISTINCT_EQUAL_HPP_JOFA_101102 #define BOOST_ICL_PREDICATES_DISTINCT_EQUAL_HPP_JOFA_101102 #include #include namespace boost{namespace icl { template struct distinct_equal : public relation { bool operator()(const Type& lhs, const Type& rhs)const { return is_distinct_equal(lhs, rhs); } }; template<> inline std::string unary_template_to_string::apply() { return "==/0"; } }} // namespace icl boost #endif