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

Refines concept ResultElementWithOrder by adding the possibility to construct result elements with a given name, and to query this name. The order on such result elements must be given by the natural order on the names. More...

#include <ResultElements.hpp>

List of all members.

Public Types

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

Public Member Functions

void constraints ()

Public Attributes

string_type s
const string_type sc
Res r
const Res rc

Detailed Description

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

Refines concept ResultElementWithOrder by adding the possibility to construct result elements with a given name, and to query this name. The order on such result elements must be given by the natural order on the names.

Definition at line 116 of file ResultElements.hpp.


Member Typedef Documentation

Definition at line 117 of file ResultElements.hpp.


Member Function Documentation


Member Data Documentation

template<typename Res >
Res OKlib::Concepts::ResultElementWithName< Res >::r
template<typename Res >
const Res OKlib::Concepts::ResultElementWithName< Res >::rc
template<typename Res >
const string_type OKlib::Concepts::ResultElementWithName< Res >::sc

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