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

Checks for objects a, b, c with a == b and b == c, whether a == c holds. More...

#include <std_Basics_Tests.hpp>

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

List of all members.

Public Types

typedef
EqualityComparable_Axiom_transitivity 
test_type

Public Member Functions

 EqualityComparable_Axiom_transitivity (const T &a, const T &b, const T &c)

Detailed Description

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

Checks for objects a, b, c with a == b and b == c, whether a == c holds.

Todo:
Actually, it tests something different: For arbitrary objects, a, b, c it is checked that if among the 3 possible pairs two equalities hold, then also the third equality must hold. Is this a good design? The motiviation is, that this test is more general, and can be applied under all circumstances.
Todo:
Should be an instance of a general transitivity-test.

Definition at line 97 of file std_Basics_Tests.hpp.


Member Typedef Documentation


Constructor & Destructor Documentation

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

Definition at line 99 of file std_Basics_Tests.hpp.


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