dedekind::sets::HasSetComplement Concept Reference

A set with a set complement: ~s is formed (the reducer's Not node, or a type's own closed-form complement). More...

Concept definition

template<typename S>
concept dedekind::sets::HasSetComplement =  requires(const S& s) { ~s; }

Detailed Description

A set with a set complement: ~s is formed (the reducer's Not node, or a type's own closed-form complement).

Template Parameters

S

the set.