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.