/*-----------------------------------------------------------------------------+ 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