Instigate Open Source Documentation

---

src/generic/_less_than_comparable.hpp

Go to the documentation of this file.

#ifndef _INSTIGATE_OPEN_SOURCE_INTERNAL_HEADER_IN_CONCEPT
#error This is an internal header file used to implement Instigate Open Source.\
        It should never be included directly by a program.
#endif

#ifndef INSTIGATE_GENERIC_LESS_THAN_COMPARABLE_HPP
#define INSTIGATE_GENERIC_LESS_THAN_COMPARABLE_HPP

// Headers from this project

// Headers from other projects

// Headers from standard libraries

// Forward declarations

namespace instigate {
        namespace generic {
                namespace less_than_comparable {
                        struct tag;
                        template<typename T> struct interface;
                        template<typename T> struct requirements;
                }
        }
} 

struct instigate::generic::less_than_comparable::tag
{
};

template<typename T> 
struct instigate::generic::less_than_comparable::interface
{
        static bool less_than(const T& a, const T& b)
        {
                return a < b;
        }
};
 
template<typename T>
struct instigate::generic::less_than_comparable::requirements
{
private:
        static void require_less_than(const T& a, const T& b)
        {
                instigate::generic::less_than_comparable::interface<T>
                                                        ::less_than(a, b);
        }
        
        static void return_type_must_be_convertible_to_bool(const T& a, 
                const T& b)
        {
                (bool)instigate::generic::less_than_comparable::
                        interface<T>::less_than(a, b);
        }
public:

        requirements()
        {
                (void)require_less_than;
                (void)return_type_must_be_convertible_to_bool;
        }
};

// vim:et:tabstop=8:shiftwidth=8:cindent:fo=croq:textwidth=80:

#endif // INSTIGATE_GENERIC_LESS_THEN_COMPARABLE_HPP 

---

© Instigate CJSC, Open Source