Classes | |
struct | catsfoot::equality< T, U > |
Check whether T is comparable to U by ==. More... | |
struct | catsfoot::printable< T, U > |
Check whether U is printable on a stream T. More... | |
struct | catsfoot::is_same< T, U > |
Check whether T and U are the same type. More... | |
struct | catsfoot::equivalence< T, Rel > |
Generic concept for equivalence relation. More... | |
struct | catsfoot::equivalence_eq< T > |
Concept for equivalence relation with operator==. More... | |
struct | catsfoot::congruence< Rel, Op, Args > |
Check whether an operation sees equality as congruence relation. More... | |
struct | catsfoot::congruence_eq< T, Args > |
Concept for congruence relation with operator==. More... | |
struct | catsfoot::container< T, ValueType > |
struct | catsfoot::generator_for< T, Type > |
Whether T is a generator of Type. More... |