instigate::generic::equality_comparable::requirements< T > Struct Template Reference

Requirements of the Equality Comparable Concept. More...

#include <_equality_comparable.hpp>

Inheritance diagram for instigate::generic::equality_comparable::requirements< T >:

List of all members.

Public Member Functions
	requirements ()
	Constructor.
Static Public Member Functions
static void	return_type_must_be_convertible_to_bool (const T &a, const T &b)
	Require the convertibility of the equal() return type to bool.
static void	require_equal (const T &a, const T &b)
	Require the equal() method, which must be defined in instigate::generic::equality_comparable::interface.

---

Detailed Description

template<typename T>
struct instigate::generic::equality_comparable::requirements< T >

Requirements of the Equality Comparable Concept.

This code will be compiled if and only if T is a model of the instigate::generic::equality_comparable concept.

---

Constructor & Destructor Documentation

template<typename T>

instigate::generic::equality_comparable::requirements< T >::requirements

(

)

[inline]

Constructor.

Check the requirements of the Equality Comparable Concept

Reimplemented in instigate::stl::bidirectional_iterator::requirements< T >, instigate::stl::random_access_iterator::requirements< T >, and instigate::stl::single_pass_iterator::requirements< T >.

References instigate::generic::equality_comparable::requirements< T >::require_equal(), and instigate::generic::equality_comparable::requirements< T >::return_type_must_be_convertible_to_bool().

---

The documentation for this struct was generated from the following file:

• src/generic/_equality_comparable.hpp