OKlibrary  0.2.1.6
OKlib::Concepts::ResultElement< Res > Class Template Reference

Root class for the concept hierarchy about result elements (requiring only types). More...

#include <ResultElements.hpp>

List of all members.

Public Types

typedef
OKlib::SATCompetition::traits::string_type
< Res >::type 
string_type
typedef
OKlib::SATCompetition::traits::floating_point_type
< Res >::type 
floating_point_type
typedef
OKlib::SATCompetition::traits::natural_number_type
< Res >::type 
natural_number_type

Public Member Functions

void constraints ()

Detailed Description

template<typename Res>
class OKlib::Concepts::ResultElement< Res >

Root class for the concept hierarchy about result elements (requiring only types).

Requires string_type, floating_point_type, natural_number_type.

Definition at line 41 of file ResultElements.hpp.


Member Typedef Documentation

Definition at line 43 of file ResultElements.hpp.

Definition at line 44 of file ResultElements.hpp.

Definition at line 42 of file ResultElements.hpp.


Member Function Documentation

template<typename Res >
void OKlib::Concepts::ResultElement< Res >::constraints ( ) [inline]

Definition at line 45 of file ResultElements.hpp.

References OKLIB_MODELS_CONCEPT_REQUIRES, and OKLIB_MODELS_CONCEPT_TAG.


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