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

Test function for concept Concepts::VariablesWithIndex, checking that indices of variables are not negative. More...

#include <Variables_Tests.hpp>

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

List of all members.

Public Types

typedef
VariablesWithIndex_Axiom_index_nonnegative 
test_type

Public Member Functions

 VariablesWithIndex_Axiom_index_nonnegative (const Var &v)

Detailed Description

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

Test function for concept Concepts::VariablesWithIndex, checking that indices of variables are not negative.

Definition at line 110 of file Variables_Tests.hpp.


Member Typedef Documentation


Constructor & Destructor Documentation

Definition at line 112 of file Variables_Tests.hpp.


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