OKlib::SATCompetition::ResultElement Class Reference

Polymorphic base class for the representation of various forms of "results". More...

#include <SingleResult.hpp>

Inheritance diagram for OKlib::SATCompetition::ResultElement:
OKlib::SATCompetition::ResultElement_with_name OKlib::SATCompetition::SATStatus 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 std::string string_type
typedef double floating_point_type
typedef unsigned int natural_number_type

Public Member Functions

virtual const ResultElementself () const
virtual ~ResultElement ()

Detailed Description

Polymorphic base class for the representation of various forms of "results".

A model of concept Concepts::ResultElement. Contains only nested types for the representation of strings, floating point numbers and natural numbers.

Definition at line 51 of file SingleResult.hpp.

Member Typedef Documentation

Definition at line 56 of file SingleResult.hpp.

Definition at line 54 of file SingleResult.hpp.

Constructor & Destructor Documentation

Definition at line 58 of file SingleResult.hpp.

Member Function Documentation

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