OKlibrary  0.2.1.6
OKlib::SATCompetition::Test_RepresentationSolverSeries< LexicographicalEvaluation > Class Template Reference

Tests representations of the run of a solver on a series. More...

#include <LexicographicalEvaluation_Tests.hpp>

Inheritance diagram for OKlib::SATCompetition::Test_RepresentationSolverSeries< LexicographicalEvaluation >:
OKlib::TestSystem::TestBase OKlib::TestSystem::Test OKlib::TestSystem::Test

List of all members.

Public Types

typedef
Test_RepresentationSolverSeries 
test_type

Public Member Functions

 Test_RepresentationSolverSeries ()

Detailed Description

template<template< class IndexedDatabase, class SeriesPolicy=LexicographicalSeriesPolicy< Result >, typename NumberType=double > class LexicographicalEvaluation>
class OKlib::SATCompetition::Test_RepresentationSolverSeries< LexicographicalEvaluation >

Tests representations of the run of a solver on a series.

Todo:
Complete the tests as outlined below (using the extended test machinery).

Definition at line 52 of file LexicographicalEvaluation_Tests.hpp.


Member Typedef Documentation

template<template< class IndexedDatabase, class SeriesPolicy=LexicographicalSeriesPolicy< Result >, typename NumberType=double > class LexicographicalEvaluation>
typedef Test_RepresentationSolverSeries OKlib::SATCompetition::Test_RepresentationSolverSeries< LexicographicalEvaluation >::test_type

Reimplemented from OKlib::TestSystem::Test.

Definition at line 54 of file LexicographicalEvaluation_Tests.hpp.


Constructor & Destructor Documentation

template<template< class IndexedDatabase, class SeriesPolicy=LexicographicalSeriesPolicy< Result >, typename NumberType=double > class LexicographicalEvaluation>
OKlib::SATCompetition::Test_RepresentationSolverSeries< LexicographicalEvaluation >::Test_RepresentationSolverSeries ( ) [inline]

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