OKlibrary  0.2.1.6
OKlib::Concepts::EqualitySubstitutable< T > Class Template Reference

Concept EqualitySubstitutable: Refines EqualityComparable with the requirement, that equal entities are substitution-equivalent. More...

#include <Basics.hpp>

List of all members.

Public Member Functions

void constraints ()

Detailed Description

template<typename T>
class OKlib::Concepts::EqualitySubstitutable< T >

Concept EqualitySubstitutable: Refines EqualityComparable with the requirement, that equal entities are substitution-equivalent.

Definition at line 291 of file Basics.hpp.


Member Function Documentation

template<typename T >
void OKlib::Concepts::EqualitySubstitutable< T >::constraints ( ) [inline]

Definition at line 292 of file Basics.hpp.


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