Regina 7.0 Calculation Engine
|
Determines if an integer of type From can always be assigned to an integer of type To with no loss of information. More...
Determines if an integer of type From can always be assigned to an integer of type To with no loss of information.
The result will be available through the compile-time boolean constant FaithfulAssignment<From, To>::value.
Currently this is only implemented for Regina's own integer types (Integer, LargeInteger and NativeInteger). If you attempt to use this with other types (e.g., int or long), this struct will be undefined.