OKlibrary  0.2.1.6
OKlib::Concepts::LessThanComparable_Axiom_equivalence_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::LessThanComparable_Axiom_equivalence_transitivity< T >:
OKlib::TestSystem::Test

List of all members.

Public Types

typedef
LessThanComparable_Axiom_equivalence_transitivity 
test_type

Public Member Functions

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

Detailed Description

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

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

Todo:

Either the assumptions a ~ b and b ~ c become assertions, or the test should be applicable to all a, b, c (fully symmetrical).

Should be an instance of a general transitivity test (see also above).

Definition at line 301 of file std_Basics_Tests.hpp.


Member Typedef Documentation


Constructor & Destructor Documentation

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

Definition at line 303 of file std_Basics_Tests.hpp.


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