sage logo

Abstract Class: Quantity

Documentation: Definition: The quantity data type is an abstract generalization for all data types (1) whose value set has an order relation (less-or-equal) and (2) where difference is defined in all of the data type's totally ordered value subsets. The quantity type abstraction is needed in defining certain other types, such as the interval and the probability distribution. Exhibit 110: abstract type Quantity alias QTY specializes ANY { BL lessOrEqual(QTY x); BL compares(QTY x); DataType diffType; QTY minus(QTY x); QTY plus(QTY x); BL isZero; BL lessThan(QTY x); BL greaterOrEqual(QTY x); BL greaterThan(QTY x); };

Superclasses
Subclasses
Types
Template Slots
  Slot Name Documentation Type Cardinality
label A short human readable string indicating the content of the instancehuman-readable string for the instance String 0:1
nullFlavor If a value is an exceptional value (NULL-value), this specifies in what way and why proper information is missing. Class 0:1

Own Slots
  Slot Name Value
alias QTY
semantic_properties BL lessOrEqual(QTY x); BL compares(QTY x); DataType diffType; QTY minus(QTY x); QTY plus(QTY x); BL isZero; BL lessThan(QTY x); BL greaterOrEqual(QTY x); BL greaterThan(QTY x);
:ROLE Abstract
:SLOT-CONSTRAINTS  

  ^ back to top

Return to Class Hierarchy

Generated: 10/04/2006, 1:25:00 PM, Pacific Daylight Time

The SAGE project was supported in part by grant 70NANB1H3049 of the NIST Advanced Technology Program. Protégé is a trademark of Stanford University, Copyright (c) 1998-2006 Stanford University.