OKlibrary  0.2.1.6
OKlib::SATCompetition::Check_set< Map, Set > Class Template Reference

#include <ResultProcessing_Tests.hpp>

Inheritance diagram for OKlib::SATCompetition::Check_set< Map, Set >:
OKlib::TestSystem::Test

List of all members.

Public Types

typedef Check_set test_type

Public Member Functions

 Check_set (const Map &m, const Set &s)
 Check_set (const Check_set &cs)

Detailed Description

template<class Map, class Set>
class OKlib::SATCompetition::Check_set< Map, Set >

Definition at line 63 of file ResultProcessing_Tests.hpp.


Member Typedef Documentation

template<class Map, class Set>
typedef Check_set OKlib::SATCompetition::Check_set< Map, Set >::test_type

Reimplemented from OKlib::TestSystem::Test.

Definition at line 68 of file ResultProcessing_Tests.hpp.


Constructor & Destructor Documentation

template<class Map, class Set>
OKlib::SATCompetition::Check_set< Map, Set >::Check_set ( const Map &  m,
const Set &  s 
) [inline]

Definition at line 69 of file ResultProcessing_Tests.hpp.

template<class Map, class Set>
OKlib::SATCompetition::Check_set< Map, Set >::Check_set ( const Check_set< Map, Set > &  cs) [inline]

Definition at line 70 of file ResultProcessing_Tests.hpp.


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