Boost-Commit :

Date view	Thread view	Subject view	Author view

Subject: [Boost-commit] svn:boost r66350 - in sandbox/icl: boost/icl boost/icl/concept boost/icl/detail boost/icl/predicates boost/icl_xt boost/validate/laws boost/validate/validater libs/validate/example/de_morgan_ libs/validate/example/labat_single_
From: afojgo_at_[hidden]
Date: 2010-11-02 07:45:29

Next message: afojgo_at_[hidden]: "[Boost-commit] svn:boost r66351 - in sandbox/icl/boost/icl: . type_traits"
Previous message: dsaritz_at_[hidden]: "[Boost-commit] svn:boost r66349 - sandbox/function/boost/function/detail"

Author: jofaber
Date: 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
New Revision: 66350
URL: http://svn.boost.org/trac/boost/changeset/66350

Log:
Decomposed predicates.hpp in single files to reduce dependencies. Stable{msvc-9.0 gcc-3.4.4}

Added:
   sandbox/icl/boost/icl/predicates/
   sandbox/icl/boost/icl/predicates/distinct_equal.hpp (contents, props changed)
   sandbox/icl/boost/icl/predicates/element_equal.hpp (contents, props changed)
   sandbox/icl/boost/icl/predicates/std_equal.hpp (contents, props changed)
   sandbox/icl/boost/icl/predicates/sub_super_set.hpp (contents, props changed)
Text files modified:
   sandbox/icl/boost/icl/concept/interval_map.hpp | 10 ++++
   sandbox/icl/boost/icl/concept/joinable.hpp | 9 ---
   sandbox/icl/boost/icl/concept/map_value.hpp | 15 ++++++
   sandbox/icl/boost/icl/detail/set_algo.hpp | 1
   sandbox/icl/boost/icl/map.hpp | 1
   sandbox/icl/boost/icl/predicates.hpp | 98 +++++++++++++++++++++++++++++++++++++++
   sandbox/icl/boost/icl_xt/list.hpp | 1
   sandbox/icl/boost/icl_xt/set.hpp | 1
   sandbox/icl/boost/validate/laws/algo_equivalence.hpp | 1
   sandbox/icl/boost/validate/laws/atomic_equivalence.hpp | 2
   sandbox/icl/boost/validate/laws/function_equality.hpp | 2
   sandbox/icl/boost/validate/laws/inversion_laws.hpp | 1
   sandbox/icl/boost/validate/laws/map_laws.hpp | 1
   sandbox/icl/boost/validate/laws/minor_set_laws.hpp | 1
   sandbox/icl/boost/validate/laws/monoid.hpp | 2
   sandbox/icl/boost/validate/laws/order.hpp | 1
   sandbox/icl/boost/validate/laws/set_laws.hpp | 2
   sandbox/icl/boost/validate/laws/symmetric_difference.hpp | 1
   sandbox/icl/boost/validate/validater/bit_collector_validater.hpp | 1
   sandbox/icl/boost/validate/validater/collector_validater.hpp | 1
   sandbox/icl/boost/validate/validater/icl_induced_relations.hpp | 2
   sandbox/icl/boost/validate/validater/icl_order_validater.hpp | 2
   sandbox/icl/boost/validate/validater/icl_set_validater.hpp | 1
   sandbox/icl/boost/validate/validater/interval_morphic_validater.hpp | 1
   sandbox/icl/boost/validate/validater/signed_quantifier_validater.hpp | 2
   sandbox/icl/boost/validate/validater/unsigned_quantifier_validater.hpp | 2
   sandbox/icl/libs/validate/example/de_morgan_/de_morgan.cpp | 1
   sandbox/icl/libs/validate/example/labat_single_/labat_single.cpp | 1
   28 files changed, 143 insertions(+), 21 deletions(-)

Modified: sandbox/icl/boost/icl/concept/interval_map.hpp
==============================================================================
--- sandbox/icl/boost/icl/concept/interval_map.hpp (original)
+++ sandbox/icl/boost/icl/concept/interval_map.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -17,6 +17,7 @@
#include <boost/icl/detail/set_algo.hpp>
#include <boost/icl/detail/interval_map_algo.hpp>
#include <boost/icl/concept/interval.hpp>
+#include <boost/icl/concept/joinable.hpp>

namespace boost{ namespace icl
{
@@ -26,6 +27,15 @@
join(Type&);

+template<class Type>
+inline typename enable_if<is_interval_map<Type>, typename Type::segment_type>::type
+make_segment(const typename Type::element_type& element)
+{
+ typedef typename Type::interval_type interval_type;
+ typedef typename Type::segment_type segment_type;
+ return segment_type(icl::singleton<interval_type>(element.key), element.data);
+}
+
//==============================================================================
//= Containedness<IntervalMap>
//==============================================================================

Modified: sandbox/icl/boost/icl/concept/joinable.hpp
==============================================================================
--- sandbox/icl/boost/icl/concept/joinable.hpp (original)
+++ sandbox/icl/boost/icl/concept/joinable.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -14,15 +14,6 @@
namespace boost{ namespace icl
{

-template<class Type>
-inline typename enable_if<is_interval_map<Type>, typename Type::segment_type>::type
-make_segment(const typename Type::element_type& element)
-{
- typedef typename Type::interval_type interval_type;
- typedef typename Type::segment_type segment_type;
- return segment_type(icl::singleton<interval_type>(element.key), element.data);
-}
-
namespace segmental
{
template<class Type>

Modified: sandbox/icl/boost/icl/concept/map_value.hpp
==============================================================================
--- sandbox/icl/boost/icl/concept/map_value.hpp (original)
+++ sandbox/icl/boost/icl/concept/map_value.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -8,6 +8,8 @@
#ifndef BOOST_ICL_CONCEPT_MAP_VALUE_HPP_JOFA_100924
#define BOOST_ICL_CONCEPT_MAP_VALUE_HPP_JOFA_100924

+#include <boost/icl/type_traits/predicate.hpp>
+#include <boost/icl/type_traits/identity_element.hpp>
#include <boost/icl/type_traits/is_map.hpp>

namespace boost{ namespace icl
@@ -39,6 +41,19 @@
}

+template <class Type>
+class content_is_identity_element: public property<Type>
+{
+public:
+ bool operator() (const Type& value_pair)const
+ {
+ return value_pair.second
+ == identity_element<typename Type::second_type>::value();
+ }
+} ;
+
+
+
}} // namespace boost icl

#endif

Modified: sandbox/icl/boost/icl/detail/set_algo.hpp
==============================================================================
--- sandbox/icl/boost/icl/detail/set_algo.hpp (original)
+++ sandbox/icl/boost/icl/detail/set_algo.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -13,7 +13,6 @@
#include <boost/type_traits/remove_const.hpp>

#include <boost/icl/detail/notate.hpp>
-#include <boost/icl/predicates.hpp>
#include <boost/icl/functors.hpp>

#include <boost/icl/concept/container.hpp>

Modified: sandbox/icl/boost/icl/map.hpp
==============================================================================
--- sandbox/icl/boost/icl/map.hpp (original)
+++ sandbox/icl/boost/icl/map.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -32,7 +32,6 @@
#include <boost/icl/type_traits/has_inverse.hpp>
#include <boost/icl/type_traits/to_string.hpp>
#include <boost/icl/functors.hpp>
-#include <boost/icl/predicates.hpp>

#include <boost/icl/associative_element_container.hpp>

Modified: sandbox/icl/boost/icl/predicates.hpp
==============================================================================
--- sandbox/icl/boost/icl/predicates.hpp (original)
+++ sandbox/icl/boost/icl/predicates.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -10,9 +10,101 @@
#ifndef BOOST_ICL_PREDICATES_HPP_JOFA_990224
#define BOOST_ICL_PREDICATES_HPP_JOFA_990224

-#include <functional>
-#include <boost/icl/type_traits/type_to_string.hpp>
+//JODO remove file
+//#include <functional>
+//#include <boost/icl/type_traits/predicate.hpp>
+//#include <boost/icl/type_traits/type_to_string.hpp>
+//
+//namespace boost{namespace icl
+//{
+// // naming convention
+// // predicate: n-ary predicate
+// // property: unary predicate
+// // relation: binary predicate
+//
+//
+// // Binary predicates: relations
+//
+// template <class Type> struct std_equal : public relation<Type,Type>
+// {
+// bool operator()(const Type& lhs, const Type& rhs)const
+// {
+// return lhs == rhs;
+// }
+// };
+//
+// //-----------------------------------------------------------------------------
+//
+// template<>
+// inline std::string unary_template_to_string<icl::std_equal>::apply()
+// { return "=="; }
+//
+// template <class Type>
+// struct element_equal : public relation<Type,Type>
+// {
+// bool operator()(const Type& lhs, const Type& rhs)const
+// {
+// return is_element_equal(lhs, rhs);
+// }
+// };
+//
+// template<>
+// inline std::string unary_template_to_string<icl::element_equal>::apply()
+// { return "="; }
+//
+// 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"; }
+//
+//
+//
+// /// 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

+<<<<<<< .mine
+=======
namespace boost{namespace icl
{
// naming convention
@@ -133,5 +225,7 @@

}} // namespace icl boost

+>>>>>>> .r66349
#endif

+

Added: sandbox/icl/boost/icl/predicates/distinct_equal.hpp
==============================================================================
--- (empty file)
+++ sandbox/icl/boost/icl/predicates/distinct_equal.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -0,0 +1,32 @@
+/*-----------------------------------------------------------------------------+
+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 <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
+

Added: sandbox/icl/boost/icl/predicates/element_equal.hpp
==============================================================================
--- (empty file)
+++ sandbox/icl/boost/icl/predicates/element_equal.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -0,0 +1,32 @@
+/*-----------------------------------------------------------------------------+
+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_ELEMENT_EQUAL_HPP_JOFA_101102
+#define BOOST_ICL_PREDICATES_ELEMENT_EQUAL_HPP_JOFA_101102
+
+#include <boost/icl/type_traits/predicate.hpp>
+#include <boost/icl/type_traits/type_to_string.hpp>
+
+namespace boost{namespace icl
+{
+ template <class Type>
+ struct element_equal : public relation<Type,Type>
+ {
+ bool operator()(const Type& lhs, const Type& rhs)const
+ {
+ return is_element_equal(lhs, rhs);
+ }
+ };
+
+ template<>
+ inline std::string unary_template_to_string<icl::element_equal>::apply()
+ { return "="; }
+
+}} // namespace icl boost
+
+#endif
+

Added: sandbox/icl/boost/icl/predicates/std_equal.hpp
==============================================================================
--- (empty file)
+++ sandbox/icl/boost/icl/predicates/std_equal.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -0,0 +1,33 @@
+/*-----------------------------------------------------------------------------+
+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_STD_EQUAL_HPP_JOFA_101102
+#define BOOST_ICL_PREDICATES_STD_EQUAL_HPP_JOFA_101102
+
+#include <boost/icl/type_traits/predicate.hpp>
+#include <boost/icl/type_traits/type_to_string.hpp>
+
+namespace boost{namespace icl
+{
+ template <class Type> struct std_equal : public relation<Type,Type>
+ {
+ bool operator()(const Type& lhs, const Type& rhs)const
+ {
+ return lhs == rhs;
+ }
+ };
+
+ //-----------------------------------------------------------------------------
+
+ template<>
+ inline std::string unary_template_to_string<icl::std_equal>::apply()
+ { return "=="; }
+
+}} // namespace icl boost
+
+#endif
+

Added: sandbox/icl/boost/icl/predicates/sub_super_set.hpp
==============================================================================
--- (empty file)
+++ sandbox/icl/boost/icl/predicates/sub_super_set.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -0,0 +1,54 @@
+/*-----------------------------------------------------------------------------+
+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
+

Modified: sandbox/icl/boost/icl_xt/list.hpp
==============================================================================
--- sandbox/icl/boost/icl_xt/list.hpp (original)
+++ sandbox/icl/boost/icl_xt/list.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -23,7 +23,6 @@
#include <boost/icl/detail/design_config.hpp>
#include <boost/icl/type_traits/to_string.hpp>
#include <boost/icl/detail/set_algo.hpp>
-#include <boost/icl/predicates.hpp>

namespace boost{namespace icl

Modified: sandbox/icl/boost/icl_xt/set.hpp
==============================================================================
--- sandbox/icl/boost/icl_xt/set.hpp (original)
+++ sandbox/icl/boost/icl_xt/set.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -25,7 +25,6 @@
#include <boost/icl/type_traits/is_set.hpp>
#include <boost/icl/detail/subset_comparer.hpp>
#include <boost/icl/detail/set_algo.hpp>
-#include <boost/icl/predicates.hpp>
#include <boost/mpl/or.hpp>
#include <boost/mpl/not.hpp>
#include <boost/type_traits/is_same.hpp>

Modified: sandbox/icl/boost/validate/laws/algo_equivalence.hpp
==============================================================================
--- sandbox/icl/boost/validate/laws/algo_equivalence.hpp (original)
+++ sandbox/icl/boost/validate/laws/algo_equivalence.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -12,7 +12,6 @@

#include <boost/icl/type_traits/value_size.hpp>
#include <boost/icl/functors.hpp>
-#include <boost/icl/predicates.hpp>
#include <boost/validate/laws/law.hpp>

namespace boost{namespace icl

Modified: sandbox/icl/boost/validate/laws/atomic_equivalence.hpp
==============================================================================
--- sandbox/icl/boost/validate/laws/atomic_equivalence.hpp (original)
+++ sandbox/icl/boost/validate/laws/atomic_equivalence.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -13,7 +13,7 @@
#include <iterator>
#include <boost/icl/type_traits/value_size.hpp>
#include <boost/icl/functors.hpp>
-#include <boost/icl/predicates.hpp>
+#include <boost/icl/predicates/std_equal.hpp>
#include <boost/icl/detail/interval_morphism.hpp>
#include <boost/validate/laws/law.hpp>

Modified: sandbox/icl/boost/validate/laws/function_equality.hpp
==============================================================================
--- sandbox/icl/boost/validate/laws/function_equality.hpp (original)
+++ sandbox/icl/boost/validate/laws/function_equality.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -12,7 +12,7 @@

#include <boost/icl/type_traits/value_size.hpp>
#include <boost/icl/functors.hpp>
-#include <boost/icl/predicates.hpp>
+#include <boost/icl/predicates/std_equal.hpp>
#include <boost/validate/laws/law.hpp>

namespace boost{namespace icl

Modified: sandbox/icl/boost/validate/laws/inversion_laws.hpp
==============================================================================
--- sandbox/icl/boost/validate/laws/inversion_laws.hpp (original)
+++ sandbox/icl/boost/validate/laws/inversion_laws.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -12,6 +12,7 @@

#include <boost/icl/type_traits/value_size.hpp>
#include <boost/validate/laws/law.hpp>
+#include <boost/icl/predicates/std_equal.hpp>
#include <boost/icl/functors.hpp>

namespace boost{namespace icl

Modified: sandbox/icl/boost/validate/laws/map_laws.hpp
==============================================================================
--- sandbox/icl/boost/validate/laws/map_laws.hpp (original)
+++ sandbox/icl/boost/validate/laws/map_laws.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -12,6 +12,7 @@

#include <boost/icl/type_traits/value_size.hpp>
#include <boost/validate/laws/law.hpp>
+#include <boost/icl/predicates/std_equal.hpp>
#include <boost/icl/functors.hpp>

namespace boost{namespace icl

Modified: sandbox/icl/boost/validate/laws/minor_set_laws.hpp
==============================================================================
--- sandbox/icl/boost/validate/laws/minor_set_laws.hpp (original)
+++ sandbox/icl/boost/validate/laws/minor_set_laws.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -12,7 +12,6 @@

#include <boost/icl/type_traits/value_size.hpp>
#include <boost/icl/functors.hpp>
-#include <boost/icl/predicates.hpp>
#include <boost/validate/laws/law.hpp>

namespace boost{namespace icl

Modified: sandbox/icl/boost/validate/laws/monoid.hpp
==============================================================================
--- sandbox/icl/boost/validate/laws/monoid.hpp (original)
+++ sandbox/icl/boost/validate/laws/monoid.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -12,7 +12,7 @@

#include <boost/icl/type_traits/value_size.hpp>
#include <boost/icl/functors.hpp>
-#include <boost/icl/predicates.hpp>
+#include <boost/icl/predicates/std_equal.hpp>
#include <boost/validate/laws/law.hpp>

namespace boost{namespace icl

Modified: sandbox/icl/boost/validate/laws/order.hpp
==============================================================================
--- sandbox/icl/boost/validate/laws/order.hpp (original)
+++ sandbox/icl/boost/validate/laws/order.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -12,6 +12,7 @@

#include <boost/icl/type_traits/value_size.hpp>
#include <boost/validate/laws/law.hpp>
+#include <boost/icl/predicates/std_equal.hpp>

namespace boost{namespace icl
{

Modified: sandbox/icl/boost/validate/laws/set_laws.hpp
==============================================================================
--- sandbox/icl/boost/validate/laws/set_laws.hpp (original)
+++ sandbox/icl/boost/validate/laws/set_laws.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -11,8 +11,8 @@
#define BOOST_ICL_SET_LAWS_HPP_JOFA_071124

#include <boost/icl/type_traits/value_size.hpp>
-#include <boost/icl/predicates.hpp>
#include <boost/validate/laws/law.hpp>
+#include <boost/icl/predicates/std_equal.hpp>
#include <boost/icl/functors.hpp>

namespace boost{namespace icl

Modified: sandbox/icl/boost/validate/laws/symmetric_difference.hpp
==============================================================================
--- sandbox/icl/boost/validate/laws/symmetric_difference.hpp (original)
+++ sandbox/icl/boost/validate/laws/symmetric_difference.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -12,6 +12,7 @@

#include <boost/icl/type_traits/value_size.hpp>
#include <boost/validate/laws/law.hpp>
+#include <boost/icl/predicates/std_equal.hpp>
#include <boost/icl/functors.hpp>

namespace boost{namespace icl

Modified: sandbox/icl/boost/validate/validater/bit_collector_validater.hpp
==============================================================================
--- sandbox/icl/boost/validate/validater/bit_collector_validater.hpp (original)
+++ sandbox/icl/boost/validate/validater/bit_collector_validater.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -11,6 +11,7 @@
#define BOOST_VALIDATE_VALIDATER_BIT_COLLECTOR_VALIDATER_HPP_JOFA_091009

#include <boost/icl/functors.hpp>
+#include <boost/icl/predicates/element_equal.hpp>
#include <boost/validate/laws/monoid.hpp>
#include <boost/validate/laws/inversion_laws.hpp>
#include <boost/validate/laws/symmetric_difference.hpp>

Modified: sandbox/icl/boost/validate/validater/collector_validater.hpp
==============================================================================
--- sandbox/icl/boost/validate/validater/collector_validater.hpp (original)
+++ sandbox/icl/boost/validate/validater/collector_validater.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -12,6 +12,7 @@

#include <boost/icl/functors.hpp>
+#include <boost/icl/predicates/element_equal.hpp>
#include <boost/validate/laws/monoid.hpp>
#include <boost/validate/laws/inversion_laws.hpp>
#include <boost/validate/laws/symmetric_difference.hpp>

Modified: sandbox/icl/boost/validate/validater/icl_induced_relations.hpp
==============================================================================
--- sandbox/icl/boost/validate/validater/icl_induced_relations.hpp (original)
+++ sandbox/icl/boost/validate/validater/icl_induced_relations.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -11,6 +11,8 @@
#define BOOST_ICL_VALIDATE_VALIDATER_ICL_INDUCED_RELATIONS_HPP_JOFA_090304

#include <boost/icl/functors.hpp>
+#include <boost/icl/predicates/element_equal.hpp>
+#include <boost/icl/predicates/sub_super_set.hpp>
#include <boost/icl/detail/interval_morphism.hpp>
#include <boost/validate/laws/induced_relation.hpp>
#include <boost/validate/validater/law_validater.hpp>

Modified: sandbox/icl/boost/validate/validater/icl_order_validater.hpp
==============================================================================
--- sandbox/icl/boost/validate/validater/icl_order_validater.hpp (original)
+++ sandbox/icl/boost/validate/validater/icl_order_validater.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -14,6 +14,8 @@
#include <boost/icl/type_traits/is_continuous.hpp>
#include <boost/icl/type_traits/has_inverse.hpp>
#include <boost/icl/functors.hpp>
+#include <boost/icl/predicates/element_equal.hpp>
+#include <boost/icl/predicates/sub_super_set.hpp>
#include <boost/validate/validater/strict_weak_order_validater.hpp>
#include <boost/validate/validater/partial_order_validater.hpp>

Modified: sandbox/icl/boost/validate/validater/icl_set_validater.hpp
==============================================================================
--- sandbox/icl/boost/validate/validater/icl_set_validater.hpp (original)
+++ sandbox/icl/boost/validate/validater/icl_set_validater.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -11,6 +11,7 @@
#define BOOST_ICL_VALIDATE_VALIDATER_ICL_SET_VALIDATER_HPP_JOFA_090303

#include <boost/icl/functors.hpp>
+#include <boost/icl/predicates/element_equal.hpp>
#include <boost/validate/laws/monoid.hpp>
#include <boost/validate/laws/inversion_laws.hpp>
#include <boost/validate/laws/symmetric_difference.hpp>

Modified: sandbox/icl/boost/validate/validater/interval_morphic_validater.hpp
==============================================================================
--- sandbox/icl/boost/validate/validater/interval_morphic_validater.hpp (original)
+++ sandbox/icl/boost/validate/validater/interval_morphic_validater.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -14,6 +14,7 @@
#include <boost/icl/type_traits/is_continuous.hpp>
#include <boost/icl/type_traits/has_inverse.hpp>
#include <boost/icl/functors.hpp>
+#include <boost/icl/predicates/element_equal.hpp>
#include <boost/icl/detail/interval_morphism.hpp>
#include <boost/validate/laws/set_laws.hpp>
#include <boost/validate/laws/order.hpp>

Modified: sandbox/icl/boost/validate/validater/signed_quantifier_validater.hpp
==============================================================================
--- sandbox/icl/boost/validate/validater/signed_quantifier_validater.hpp (original)
+++ sandbox/icl/boost/validate/validater/signed_quantifier_validater.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -11,6 +11,8 @@
#define BOOST_ICL_VALIDATE_VALIDATER_SIGNED_QUANTIFIER_VALIDATER_HPP_JOFA_090314

#include <boost/icl/functors.hpp>
+#include <boost/icl/predicates/element_equal.hpp>
+#include <boost/icl/predicates/distinct_equal.hpp>
#include <boost/icl/type_traits/is_interval_splitter.hpp>
#include <boost/icl/type_traits/absorbs_identities.hpp>
#include <boost/icl/type_traits/is_total.hpp>

Modified: sandbox/icl/boost/validate/validater/unsigned_quantifier_validater.hpp
==============================================================================
--- sandbox/icl/boost/validate/validater/unsigned_quantifier_validater.hpp (original)
+++ sandbox/icl/boost/validate/validater/unsigned_quantifier_validater.hpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -11,6 +11,8 @@
#define BOOST_ICL_VALIDATE_VALIDATER_UNSIGNED_QUANTIFIER_VALIDATER_HPP_JOFA_090314

#include <boost/icl/functors.hpp>
+#include <boost/icl/predicates/element_equal.hpp>
+#include <boost/icl/predicates/distinct_equal.hpp>
#include <boost/icl/type_traits/absorbs_identities.hpp>
#include <boost/icl/type_traits/is_total.hpp>
#include <boost/validate/laws/monoid.hpp>

Modified: sandbox/icl/libs/validate/example/de_morgan_/de_morgan.cpp
==============================================================================
--- sandbox/icl/libs/validate/example/de_morgan_/de_morgan.cpp (original)
+++ sandbox/icl/libs/validate/example/de_morgan_/de_morgan.cpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -138,6 +138,7 @@
#include <iostream>
#include <boost/date_time/posix_time/posix_time.hpp>

+#include <boost/icl/predicates/element_equal.hpp>
#include <boost/icl/interval_set.hpp>
#include <boost/icl/split_interval_map.hpp>

Modified: sandbox/icl/libs/validate/example/labat_single_/labat_single.cpp
==============================================================================
--- sandbox/icl/libs/validate/example/labat_single_/labat_single.cpp (original)
+++ sandbox/icl/libs/validate/example/labat_single_/labat_single.cpp 2010-11-02 07:45:23 EDT (Tue, 02 Nov 2010)
@@ -18,6 +18,7 @@
#include <boost/icl/map.hpp>
#include <boost/icl/detail/interval_morphism.hpp>
#include <boost/validate/icl/functors.hpp>
+#include <boost/icl/predicates/sub_super_set.hpp>
#include <boost/validate/laws/induced_relation.hpp>
#include <boost/validate/laws/symmetric_difference.hpp>
#include <boost/validate/laws/pushouts.hpp>

Next message: afojgo_at_[hidden]: "[Boost-commit] svn:boost r66351 - in sandbox/icl/boost/icl: . type_traits"
Previous message: dsaritz_at_[hidden]: "[Boost-commit] svn:boost r66349 - sandbox/function/boost/function/detail"

Date view	Thread view	Subject view	Author view

Boost-Commit list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk