/*-----------------------------------------------------------------------------+ | |
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_SUB_SUPER_SET_HPP_JOFA_101102 | |
#define BOOST_ICL_PREDICATES_SUB_SUPER_SET_HPP_JOFA_101102 | |
#include <boost/icl/type_traits/predicate.hpp> | |
#include <boost/icl/type_traits/type_to_string.hpp> | |
namespace boost{namespace icl | |
{ | |
/// Functor class template contained_in implements the subset relation. | |
template<class Type> | |
struct sub_super_set : public relation<Type,Type> | |
{ | |
/// Apply the subset relation. | |
/** <tt>contained_in(sub, super)</tt> is true if <tt>sub</tt> | |
is contained in <tt>super</tt> */ | |
bool operator()(const Type& sub, const Type& super)const | |
{ | |
return contains(super, sub); | |
} | |
}; | |
template<> | |
inline std::string unary_template_to_string<icl::sub_super_set>::apply() | |
{ return "C="; } | |
/// Functor class template <b>contains</b> implements the superset relation. | |
template<class Type> | |
struct super_sub_set : public relation<Type,Type> | |
{ | |
/// Apply the superset relation. | |
/** <tt>contains(super, sub)</tt> is true if <tt>super</tt> containes | |
<tt>sub</tt> */ | |
bool operator()(const Type& super, const Type& sub)const | |
{ | |
return contains(super, sub); | |
} | |
}; | |
template<> | |
inline std::string unary_template_to_string<icl::super_sub_set>::apply() | |
{ return "D="; } | |
}} // namespace icl boost | |
#endif | |