OKlibrary  0.2.1.6
OKlib::SATCompetition::Test_ResultDatabase_ResultIterator< ResultDatabase > Class Template Reference

#include <ResultProcessing_Tests.hpp>

Inheritance diagram for OKlib::SATCompetition::Test_ResultDatabase_ResultIterator< ResultDatabase >:
OKlib::TestSystem::TestBase OKlib::TestSystem::Test OKlib::TestSystem::Test

List of all members.

Public Types

typedef
Test_ResultDatabase_ResultIterator 
test_type

Public Member Functions

 Test_ResultDatabase_ResultIterator ()

Detailed Description

template<template< typename ResultIterator > class ResultDatabase>
class OKlib::SATCompetition::Test_ResultDatabase_ResultIterator< ResultDatabase >

Definition at line 254 of file ResultProcessing_Tests.hpp.


Member Typedef Documentation

template<template< typename ResultIterator > class ResultDatabase>
typedef Test_ResultDatabase_ResultIterator OKlib::SATCompetition::Test_ResultDatabase_ResultIterator< ResultDatabase >::test_type

Reimplemented from OKlib::TestSystem::Test.

Definition at line 256 of file ResultProcessing_Tests.hpp.


Constructor & Destructor Documentation

template<template< typename ResultIterator > class ResultDatabase>
OKlib::SATCompetition::Test_ResultDatabase_ResultIterator< ResultDatabase >::Test_ResultDatabase_ResultIterator ( ) [inline]

Definition at line 257 of file ResultProcessing_Tests.hpp.

References OKlib::TestSystem::TestBase::insert().


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