OKlibrary  0.2.1.6
SingleResult_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)


Variables

::OKlib::Concepts::ResultElement_basic_test
< SATCompetition::ResultElement > 
OKlib::SATCompetition::test_ResultElement
::OKlib::Concepts::ResultElementWithName_basic_test
< SATCompetition::ResultElement_with_name > 
OKlib::SATCompetition::test_ResultElement_with_name