Test axioms of a concept with local axioms. More...
#include <test_all_driver.hh>
Public Member Functions | |
template<typename Generator , typename... Axioms, typename Stream , typename Index = std::integral_constant<size_t, 0>> | |
bool | test (Generator &g, const std::tuple< Axioms...> &axioms, Stream &s, Index=Index()) |
Test axiom number "Index". | |
template<typename Generator , typename... Axioms, typename Stream > | |
bool | test (Generator &, const std::tuple< Axioms...> &, Stream &, std::integral_constant< size_t, sizeof...(Axioms)>) |
All axioms were tested. | |
template<typename Generator , typename Stream = decltype(std::cerr)> | |
bool | operator() (Generator &g, Stream &s=std::cerr) |
Test axioms of a concept with local axioms.