Class DV_QUANTIFIED

Abstract class defining the concept of true quantified values, i.e. values which
are not only ordered, but which have a precise magnitude.

Declaration :

Directly inherited by : DV_ABSOLUTE_QUANTITY DV_AMOUNT

Artifact : DV_QUANTIFIED

Attribut magnitude_status

Optional status of magnitude with values:
= : magnitude is a point value
< : value is < magnitude
> : value is > magnitude
<= : value is <= magnitude
>= : value is >= magnitude
~ : value is approximately magnitude
If not present, meaning is = .

Declaration :

Operation valid_magnitude_status


Test whether a string value is one of the valid
values for the magnitude_status attribute.

Declaration :

Attribut magnitude

Numeric value of the quantity in canonical (i.e. single value) form.
Implemented as constant, function or attribute in subtypes as
appropriate. The type Ordered_numeric is mapped to the available
appropriate type in each implementation technology.

*** BEWARE ***

Declaration :

All public operations : is_normal , is_simple , is_strictly_comparable_to , operator< , valid_magnitude_status