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 >.