OKlibrary
0.2.1.6

Checks for objects a, b whether either (a == b and not (a != b)) or (not (a == b) and a != b) holds. More...
#include <Basics_Tests.hpp>
Public Types  
typedef FullyEqualityComparable_Axiom_equal_vs_unequal  test_type 
Public Member Functions  
FullyEqualityComparable_Axiom_equal_vs_unequal (const T &a, const T &b) 
Checks for objects a, b whether either (a == b and not (a != b)) or (not (a == b) and a != b) holds.
Definition at line 51 of file Basics_Tests.hpp.
typedef FullyEqualityComparable_Axiom_equal_vs_unequal OKlib::Concepts::FullyEqualityComparable_Axiom_equal_vs_unequal< T >::test_type 
Reimplemented from OKlib::TestSystem::Test.
Definition at line 52 of file Basics_Tests.hpp.
OKlib::Concepts::FullyEqualityComparable_Axiom_equal_vs_unequal< T >::FullyEqualityComparable_Axiom_equal_vs_unequal  (  const T &  a, 
const T &  b  
)  [inline] 
Definition at line 53 of file Basics_Tests.hpp.