You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
For more precise classifications it is still useful to provide these traits:
is_character -> char32/char16/char8/wchar/char
is_integer -> signed and unsigned int128..8
is_unsigned_integer -> is_integer && is_unsigned
is_signed_integer -> is_integer && is_signed
is_bool -> only bool
is_logic -> is_bool || boost::tribool (specialized for tribool in boost::logic)
I intend to provide a 4-valued logic (https://en.wikipedia.org/wiki/Many-valued_logic#Belnap_logic_(B4)) and a more modern variant of a 3-valued logic (instead of boost::tribool) (and for completeness "normal 2-valued logic"):
For more precise classifications it is still useful to provide these traits:
I intend to provide a 4-valued logic (https://en.wikipedia.org/wiki/Many-valued_logic#Belnap_logic_(B4)) and a more modern variant of a 3-valued logic (instead of boost::tribool) (and for completeness "normal 2-valued logic"):
This is needed at https://en.cppreference.com/w/cpp/language/structured_binding
auto [a, b] = std::div(x, y)
-> is a quot or rem or is b quot or rem ?
(PS: maybe you could submit a proposal to the C++ standard committee to set Xdiv_t to a unique order).
exact/specific traits eg
thx
Gero
The text was updated successfully, but these errors were encountered: