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

Test function for concept Concepts::VariablesAsIndex, checks that variables constructed from an index return the same index. More...

#include <Variables_Tests.hpp>

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

List of all members.

Public Types

typedef VariablesAsIndex_Axiom test_type
typedef
OKlib::Variables::traits::index_type
< Var >::type 
index_type

Public Member Functions

 VariablesAsIndex_Axiom (const index_type &i)

Detailed Description

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

Test function for concept Concepts::VariablesAsIndex, checks that variables constructed from an index return the same index.

Definition at line 239 of file Variables_Tests.hpp.


Member Typedef Documentation

Definition at line 241 of file Variables_Tests.hpp.

Reimplemented from OKlib::TestSystem::Test.

Definition at line 240 of file Variables_Tests.hpp.


Constructor & Destructor Documentation

template<typename Var >
OKlib::Concepts::VariablesAsIndex_Axiom< Var >::VariablesAsIndex_Axiom ( const index_type i) [inline]

Definition at line 242 of file Variables_Tests.hpp.

References OKlib::Concepts::TestIndex::assert_ge0().


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