ph::CCanSubtract Concept Reference

Check if instances of types can be subtracted. More...

#include <traits.h>

Concept definition

template<typename A, typename B, typename C>
concept ph::CCanSubtract =  requires (A a, B b, C c)
{
    c = a - b;
}

Detailed Description

Check if instances of types can be subtracted.

Checks whether the instances of the involved types can be subtracted and is capable of assigning the result into an instance of the third type, i.e., able to do C = A - B with corresponding instances.