OKlibrary
0.2.1.6
|
Generic components to help with testing. More...
Classes | |
class | Id |
Identity relation. More... | |
class | Total |
Total relation. More... | |
class | Empty |
Empty relation. More... | |
class | Test_Id |
Testing the identity relation. More... | |
class | Test_Total |
Testing the total relation. More... | |
class | Test_Empty |
Testing the empty relation. More... | |
class | TestReflexivity |
Tests whether a binary predicate on a range of objects is reflexiv. More... | |
class | TestIrreflexivity |
Tests whether a binary predicate on a range of objects is irreflexiv. More... | |
class | TestSymmetry |
Tests whether a binary predicate on a range of objects is symmetric. More... | |
class | TestAsymmetry |
Tests whether a binary predicate on a range of objects is asymmetric. More... | |
class | TestAntisymmetry |
Tests whether a binary predicate on a range of objects is antisymmetric. More... | |
class | TestTotality |
Tests whether a binary predicate on a range of objects is total. More... | |
class | TestTrichotomy |
Tests whether a binary predicate on a range of objects fulfils trichotomy. More... | |
class | TestTransitivity |
Tests whether a binary predicate on a range of objects is transitiv. More... | |
class | TestQuasiorder |
Tests whether a binary predicate on a range of objects is a quasiorder. More... | |
class | TestEquivalence |
Tests whether a binary predicate on a range of objects is an equivalence. More... | |
class | Test_TestReflexivity |
Tests the test whether a binary predicate on a range of objects is reflexiv. More... | |
class | Test_TestIrreflexivity |
Tests the test whether a binary predicate on a range of objects is irreflexiv. More... | |
class | Test_TestSymmetry |
Tests the test whether a binary predicate on a range of objects is symmetric. More... | |
class | Test_TestAsymmetry |
Tests the test whether a binary predicate on a range of objects is asymmetric. More... | |
class | Test_TestAntisymmetry |
Tests the test whether a binary predicate on a range of objects is antisymmetric. More... | |
class | Test_TestTotality |
Tests the test whether a binary predicate on a range of objects is total. More... | |
class | Test_TestTrichotomy |
Tests the test whether a binary predicate on a range of objects fulfils trochotomy. More... | |
class | Test_TestTransitivity |
Tests the test whether a binary predicate on a range of objects is transitiv. More... | |
class | Test_TestQuasiorder |
Tests the test whether a binary predicate on a range of objects is a quasiorder. More... | |
class | Test_TestEquivalence |
Tests the test whether a binary predicate on a range of objects is an equivalence. More... | |
class | TestCounter |
Test function which increments a global counter each time it is called, and throws a test exception of the value of that counter after increment equals a throw_value. More... | |
class | Test_TestCounter |
Tests the test counter by calling it some times. More... | |
class | EnumerationBase |
Helper base class for enumerating test cases. More... | |
class | AllCombinations |
Test function, depending on the dimension dim, which takes a range of objects and a test function F, and performs all tests F(x_1, ..., x_dim), where {x_1, ..., x_dim} runs through all dim-element subsets of the set of objects given by the range. More... | |
struct | AllCombinations< 1, InputRange, Functor > |
struct | AllCombinations< 2, InputRange, Functor > |
struct | AllCombinations< 3, InputRange, Functor > |
class | AllVariations |
Test function, depending on the dimension dim, which takes a range of objects and a test function F, and performs all tests F(x_1, ..., x_dim), where (x_1, ..., x_dim) runs through all possibilities. More... | |
struct | AllVariations< 1, InputRange, Functor > |
struct | AllVariations< 2, InputRange, Functor > |
struct | AllVariations< 3, InputRange, Functor > |
class | Test_AllCombinations |
Tests a facility AllCombinations by executing it and counting the number of sub-tests executed. More... | |
class | Test_AllVariations |
Tests a facility AllVariations by executing it and counting the number of sub-tests executed. More... | |
Variables | |
Test_Id< Id > | test_id |
Test_Total< Total > | test_total |
Test_Empty< Empty > | test_empty |
Test_TestReflexivity < TestReflexivity > | test_testreflexivity |
Test_TestIrreflexivity < TestIrreflexivity > | test_testirreflexivity |
Test_TestSymmetry< TestSymmetry > | test_testsymmetry |
Test_TestAsymmetry< TestAsymmetry > | test_testasymmetry |
Test_TestAntisymmetry < TestAntisymmetry > | test_testantisymmetry |
Test_TestTotality< TestTotality > | test_testtotality |
Test_TestTrichotomy < TestTrichotomy > | test_testtrichotomy |
Test_TestTransitivity < TestTransitivity > | test_testtransitivity |
Test_TestQuasiorder < TestQuasiorder > | test_testquasiorder |
Test_TestEquivalence < TestEquivalence > | test_testequivalence |
Test_TestCounter< TestCounter > | test_testcounter |
Test_AllCombinations < AllCombinations > | test_allcombinations |
Test_AllVariations< AllVariations > | test_allvariations |
Generic components to help with testing.
Definition at line 18 of file TestAlgorithms_Testobjects.hpp.
Definition at line 19 of file TestAlgorithms_Testobjects.hpp.
Definition at line 20 of file ExampleRelations_Testobjects.hpp.
Definition at line 18 of file ExampleRelations_Testobjects.hpp.
Definition at line 23 of file RelationTests_Testobjects.hpp.
Definition at line 22 of file RelationTests_Testobjects.hpp.
Definition at line 18 of file SecondOrderTestTools_Testobjects.hpp.
Definition at line 31 of file RelationTests_Testobjects.hpp.
Definition at line 19 of file RelationTests_Testobjects.hpp.
Definition at line 30 of file RelationTests_Testobjects.hpp.
Definition at line 18 of file RelationTests_Testobjects.hpp.
Definition at line 21 of file RelationTests_Testobjects.hpp.
Definition at line 25 of file RelationTests_Testobjects.hpp.
Definition at line 28 of file RelationTests_Testobjects.hpp.
Definition at line 26 of file RelationTests_Testobjects.hpp.
Definition at line 19 of file ExampleRelations_Testobjects.hpp.