OKlib::Concepts::TestIndex Namespace Reference

Classes
struct	assert_index
struct	assert_index< index_type, true >
Functions
template<typename index_type >
void	assert_ge0 (const index_type &i)

---

Function Documentation

template<typename index_type >

void OKlib::Concepts::TestIndex::assert_ge0

(

const index_type &

i

)

Definition at line 227 of file Variables_Tests.hpp.

Referenced by OKlib::Concepts::VariablesAsIndex_Axiom< Var >::VariablesAsIndex_Axiom().