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