OKlibrary  0.2.1.6
ResultProcessing_Testobjects.hpp File Reference

Go to the source code of this file.

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::SATCompetition
 

Tools for evaluating SAT competition (under various circumstances)


namespace  OKlib::SATCompetition::Testobjects

Variables

Test_ResultDatabase_ResultIterator
< ResultDatabase > 
OKlib::SATCompetition::Testobjects::test_ResultDatabase