OKlibrary  0.2.1.6
OKlib::SATCompetition::Test_ParserResultElement_RandomKSat_positive_cases< RandomKSat > Class Template Reference

#include <ParsingSingleResult_Tests.hpp>

Inheritance diagram for OKlib::SATCompetition::Test_ParserResultElement_RandomKSat_positive_cases< RandomKSat >:
OKlib::TestSystem::Test

List of all members.

Public Types

typedef
Test_ParserResultElement_RandomKSat_positive_cases 
test_type

Detailed Description

template<class RandomKSat>
class OKlib::SATCompetition::Test_ParserResultElement_RandomKSat_positive_cases< RandomKSat >

Definition at line 91 of file ParsingSingleResult_Tests.hpp.


Member Typedef Documentation


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