Class RealDomain
The type domain of a floating-point type that represents a real number.
Import path
import cppDirect supertypes
Indirect supertypes
Predicates
| toString | Gets a textual representation of this type domain. |
The type domain of a floating-point type that represents a real number.
import cpp| toString | Gets a textual representation of this type domain. |