Determines whether two types can be used in operator &, | amd ^ expressions. More...

#include <operators.hpp>

Concept definition

template<class TLhs, class TRhs>
concept sl::concepts::logically_combinable_with =  conjunctive_with<TLhs, TRhs>
                                        && disjunctive_with<TLhs, TRhs>
                                        && exclusive_disjunctive_with<TLhs, TRhs>

Detailed Description

Determines whether two types can be used in operator &, | amd ^ expressions.

Template Parameters

TLhs	The left-hand-side type
TRhs	the right-hand-side-type