OKlibrary  0.2.1.6
OKlib::SATCompetition::Test_Copy_results_ParserResultRandomSat_ResultRandomSat Class Reference

#include <ParsingResultSequences_Tests.hpp>

Inheritance diagram for OKlib::SATCompetition::Test_Copy_results_ParserResultRandomSat_ResultRandomSat:
OKlib::TestSystem::TestBase OKlib::TestSystem::Test OKlib::TestSystem::Test

List of all members.

Public Types

typedef
Test_Copy_results_ParserResultRandomSat_ResultRandomSat 
test_type

Public Member Functions

 Test_Copy_results_ParserResultRandomSat_ResultRandomSat ()

Detailed Description

Definition at line 159 of file ParsingResultSequences_Tests.hpp.


Member Typedef Documentation


Constructor & Destructor Documentation


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