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

Checks for objects a, b whether either (a == b and b == a) holds or (not (a == b) and not (b == a)). More...

#include <std_Basics_Tests.hpp>

Inheritance diagram for OKlib::Concepts::EqualityComparable_Axiom_symmetry< T >:
OKlib::TestSystem::Test

List of all members.

Public Types

typedef
EqualityComparable_Axiom_symmetry 
test_type

Public Member Functions

 EqualityComparable_Axiom_symmetry (const T &a, const T &b)

Detailed Description

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

Checks for objects a, b whether either (a == b and b == a) holds or (not (a == b) and not (b == a)).

Todo:
Should be an instance of a general symmetry-test.

Definition at line 63 of file std_Basics_Tests.hpp.


Member Typedef Documentation


Constructor & Destructor Documentation

template<typename T >
OKlib::Concepts::EqualityComparable_Axiom_symmetry< T >::EqualityComparable_Axiom_symmetry ( const T a,
const T b 
) [inline]

Definition at line 65 of file std_Basics_Tests.hpp.


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