This file contains functionality for various constant values used in libsemigroups
.
|
using | LimitMax = detail::Constant<-2, detail::Max> |
| Type for the maximum value of something.
|
|
using | NegativeInfinity = detail::Constant<0, detail::Min> |
| Type for negative infinity.
|
|
using | PositiveInfinity = detail::Constant<-1, detail::Max> |
| Type for positive infinity.
|
|
using | Undefined = detail::Constant<0, detail::Max> |
| Type for undefined values.
|
|
◆ LimitMax
using LimitMax = detail::Constant<-2, detail::Max> |
Type for the maximum value of something.
◆ NegativeInfinity
Type for negative infinity.
◆ PositiveInfinity
Type for positive infinity.
◆ Undefined
using Undefined = detail::Constant<0, detail::Max> |
Type for undefined values.
◆ FOREVER
◆ LIMIT_MAX
This variable represents the maximum value that certain function parameters can have. LIMIT_MAX is comparable via ==
, !=
, <
, >
with any integral value (signed or unsigned), and is comparable to any other constant via ==
and !=
, but not by <
and >
.
◆ NEGATIVE_INFINITY
This variable represents \(-\infty\). NEGATIVE_INFINITY is comparable via ==
, !=
, <
, >
with any signed integral value and with POSITIVE_INFINITY, and is comparable to any other constant via ==
and !=
.
◆ POSITIVE_INFINITY
This variable represents \(\infty\). POSITIVE_INFINITY is comparable via ==
, !=
, <
, >
with any integral value (signed or unsigned) and with NEGATIVE_INFINITY, and is comparable to any other constant via ==
and !=
, but not by <
and >
.
◆ UNDEFINED
This variable is used to indicate that a value is undefined. UNDEFINED is comparable with any integral value (signed or unsigned) or constant via ==
and !=
but not via <
or >
.