OKlibrary  0.2.1.6
OKlib::Concepts::ResultElementWithName_Axiom_name_equality< Res > Class Template Reference

Sub-test function for Concepts::ResultElementWithName, testing that equal names yield equal result elements. More...

#include <ResultElements_Tests.hpp>

Inheritance diagram for OKlib::Concepts::ResultElementWithName_Axiom_name_equality< Res >:
OKlib::TestSystem::Test

List of all members.

Public Types

typedef
ResultElementWithName_Axiom_name_equality 
test_type

Public Member Functions

 ResultElementWithName_Axiom_name_equality (const Res &a, const Res &b)

Detailed Description

template<typename Res>
class OKlib::Concepts::ResultElementWithName_Axiom_name_equality< Res >

Sub-test function for Concepts::ResultElementWithName, testing that equal names yield equal result elements.

Definition at line 78 of file ResultElements_Tests.hpp.


Member Typedef Documentation


Constructor & Destructor Documentation

template<typename Res >
OKlib::Concepts::ResultElementWithName_Axiom_name_equality< Res >::ResultElementWithName_Axiom_name_equality ( const Res &  a,
const Res &  b 
) [inline]

Definition at line 80 of file ResultElements_Tests.hpp.


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