OKlibrary  0.2.1.6
OKlib::Concepts::ConstCorrect< T > Class Template Reference

Concept ConstCorrect: Semantical requirement, that operations allowed for const objects maintain substitution-equivalence. More...

#include <Basics.hpp>

List of all members.

Public Member Functions

void constraints ()

Detailed Description

template<typename T>
class OKlib::Concepts::ConstCorrect< T >

Concept ConstCorrect: Semantical requirement, that operations allowed for const objects maintain substitution-equivalence.

This concept is included in the basic concept Concepts::BasicRequirements for all library concepts (and thus is not used anymore on its own).

Definition at line 317 of file Basics.hpp.


Member Function Documentation

template<typename T >
void OKlib::Concepts::ConstCorrect< T >::constraints ( ) [inline]

Definition at line 318 of file Basics.hpp.


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