OKlibrary  0.2.1.6
OKlib::SATCompetition::Test_Database_vs_Container< ResultDatabase, ResultContainer > Class Template Reference

#include <ResultProcessing_Tests.hpp>

Inheritance diagram for OKlib::SATCompetition::Test_Database_vs_Container< ResultDatabase, ResultContainer >:
OKlib::TestSystem::Test

List of all members.

Public Types

typedef Test_Database_vs_Container test_type
typedef ResultContainer::value_type result_type

Public Member Functions

 Test_Database_vs_Container (ResultDatabase &rdb, ResultContainer &rc)

Detailed Description

template<class ResultDatabase, class ResultContainer>
class OKlib::SATCompetition::Test_Database_vs_Container< ResultDatabase, ResultContainer >

Definition at line 101 of file ResultProcessing_Tests.hpp.


Member Typedef Documentation

template<class ResultDatabase, class ResultContainer>
typedef ResultContainer::value_type OKlib::SATCompetition::Test_Database_vs_Container< ResultDatabase, ResultContainer >::result_type

Definition at line 107 of file ResultProcessing_Tests.hpp.

template<class ResultDatabase, class ResultContainer>
typedef Test_Database_vs_Container OKlib::SATCompetition::Test_Database_vs_Container< ResultDatabase, ResultContainer >::test_type

Reimplemented from OKlib::TestSystem::Test.

Definition at line 105 of file ResultProcessing_Tests.hpp.


Constructor & Destructor Documentation

template<class ResultDatabase, class ResultContainer>
OKlib::SATCompetition::Test_Database_vs_Container< ResultDatabase, ResultContainer >::Test_Database_vs_Container ( ResultDatabase rdb,
ResultContainer &  rc 
) [inline]

Definition at line 106 of file ResultProcessing_Tests.hpp.


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