OKlibrary  0.2.1.6
OKlib::Concepts::VariablesWithIndex_Axiom_index_identity< Var > Class Template Reference

Test function for concept Concepts::VariablesWithIndex, checking that variables with identical indices are identical. More...

#include <Variables_Tests.hpp>

Inheritance diagram for OKlib::Concepts::VariablesWithIndex_Axiom_index_identity< Var >:
OKlib::TestSystem::Test

List of all members.

Public Types

typedef
VariablesWithIndex_Axiom_index_identity 
test_type

Public Member Functions

 VariablesWithIndex_Axiom_index_identity (const Var &v, const Var &w)

Detailed Description

template<typename Var>
class OKlib::Concepts::VariablesWithIndex_Axiom_index_identity< Var >

Test function for concept Concepts::VariablesWithIndex, checking that variables with identical indices are identical.

Todo:
This axiom actually should go into a refinement (variables with equal indices could be different, for example when used in different contexts) ?!?

Definition at line 174 of file Variables_Tests.hpp.


Member Typedef Documentation


Constructor & Destructor Documentation

template<typename Var >
OKlib::Concepts::VariablesWithIndex_Axiom_index_identity< Var >::VariablesWithIndex_Axiom_index_identity ( const Var v,
const Var w 
) [inline]

Definition at line 176 of file Variables_Tests.hpp.


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