OKlibrary  0.2.1.6
ResultElements.hpp File Reference

Concepts for result elements, representing results of SAT solvers (especially for competitions). More...

Go to the source code of this file.

Classes

struct  OKlib::Concepts::ResultElement_tag
class  OKlib::Concepts::ResultElement< Res >
 Root class for the concept hierarchy about result elements (requiring only types). More...
class  OKlib::Concepts::ResultElement_Archetype
struct  OKlib::Concepts::ResultElement_Archetype::X
struct  OKlib::Concepts::ResultElement_Archetype::Y
struct  OKlib::Concepts::ResultElement_Archetype::Z
struct  OKlib::Concepts::ResultElementWithOrder_tag
class  OKlib::Concepts::ResultElementWithOrder< Res >
 Refines concept ResultElement by requiring a linear order on result elements. More...
class  OKlib::Concepts::ResultElementWithOrder_Archetype
struct  OKlib::Concepts::ResultElementWithOrder_Archetype::convertible_to_bool
struct  OKlib::Concepts::ResultElementWithName_tag
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. More...
class  OKlib::Concepts::ResultElementWithName_Archetype
struct  OKlib::Concepts::ResultElementWithName_Archetype::string_type
struct  OKlib::Concepts::ResultElementWithName_Archetype::string_type::convertible_to_bool

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::Concepts
 

Concept definitions and accompanying generic tests.



Detailed Description

Concepts for result elements, representing results of SAT solvers (especially for competitions).

Todo:

To be completed (see module SATCompetition, and there mainly SATCompetition/SingleResult.hpp).

Once sub-directories of modules are fully supported, these concepts should go to Concepts/CompetitionEvaluation.

Definition in file ResultElements.hpp.