OKlibrary  0.2.1.6
OKlib::SATCompetition::ResultElement_with_name Class Reference

Addition of a name to SATCompetition::ResultElement, by which result elements can be alphabetically sorted. More...

#include <SingleResult.hpp>

Inheritance diagram for OKlib::SATCompetition::ResultElement_with_name:
OKlib::SATCompetition::ResultElement OKlib::SATCompetition::Benchmark OKlib::SATCompetition::Series OKlib::SATCompetition::Solver OKlib::SATCompetition::Series_with_n OKlib::SATCompetition::RandomKSat_n

List of all members.

Public Types

typedef
OKlib::Concepts::ResultElementWithName_tag 
concept_tag

Public Member Functions

 ResultElement_with_name ()
 ResultElement_with_name (const string_type &name)
string_type name () const
const ResultElement_with_nameself () const

Detailed Description

Addition of a name to SATCompetition::ResultElement, by which result elements can be alphabetically sorted.

A model of concept Concepts::ResultElementWithName (thus the requirement of the linear order is fulfilled by using the lexicographical order on the names).

Definition at line 72 of file SingleResult.hpp.


Member Typedef Documentation


Constructor & Destructor Documentation


Member Function Documentation


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