NumberSetTy
types for set of numbers
Attributes
- Graph
-
- Supertypes
Members list
Value members
Concrete methods
Inherited methods
intersection type
partial order/subset operator
This returns an canonical form of the number type. 1) If the type is a set of integers, this must return NumberIntTy. 2) Else if the gamma(type) is finite, then this must return NumberSetTy. 3) Otherwise, this must return NumberSignTy.
This returns an canonical form of the number type. 1) If the type is a set of integers, this must return NumberIntTy. 2) Else if the gamma(type) is finite, then this must return NumberSetTy. 3) Otherwise, this must return NumberSignTy.
IMPORTANT: NaN value should be considered as NumberSetTy (Temporal).
Attributes
- Returns
-
canonical form of the number type
- Inherited from:
- NumberTy
inclusion check
negative integral check
non-negative integral check
non-positive integral check
positive integral check
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
prune operator
Get the sign of the number type. Ignores NaN values.
Get the sign of the number type. Ignores NaN values.
Attributes
- Returns
-
the sign of the number type
- Inherited from:
- NumberTy
Overapproximate a number type to a sign type. Also considers NaN values.
Overapproximate a number type to a sign type. Also considers NaN values.
Attributes
- Returns
-
the sign type
- Inherited from:
- NumberTy