OKlibrary  0.2.1.6
LexicographicalEvaluation_Tests.hpp File Reference

Tests for tools evaluating an "indexed database" by providing comparison tools. More...

Go to the source code of this file.

Classes

class  OKlib::SATCompetition::Test_RepresentationSolverSeries< LexicographicalEvaluation >
 Tests representations of the run of a solver on a series. More...
class  OKlib::SATCompetition::Test_LexicographicalEvaluation< LexicographicalEvaluation >
 Testing the basic facility for lexicographical evaluation. More...
class  OKlib::SATCompetition::Test_LexicographicalEvaluationRandom< LexicographicalEvaluationRandom >
 Testing lexicographical evaluation. More...

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::SATCompetition
 

Tools for evaluating SAT competition (under various circumstances)



Detailed Description

Tests for tools evaluating an "indexed database" by providing comparison tools.

Todo:
Distinguishinging between basic and enhanced tests is needed; running through these big files is "enhanced testing".

Definition in file LexicographicalEvaluation_Tests.hpp.