sage logo

Class: IntegerNumber

Documentation: Definition: Integer numbers (-1,0,1,2, 100, 3398129, etc.) are precise numbers that are results of counting and enumerating. Integer numbers are discrete, the set of integers is infinite but countable. No arbitrary limit is imposed on the range of integer numbers. Two NULL flavors are defined for the positive and negative infinity. Exhibit 123: type IntegerNumber alias INT specializes QTY { INT successor; INT times(INT x); INT predecessor; INT negated; BL isNegative; BL nonNegative; INT dividedBy(INT x); INT remainder(INT x); BL isOne; literal ST; };

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
value A data value Integer 0:1

Own Slots
  Slot Name Value
alias INT
semantic_properties INT successor; INT times(INT x); INT predecessor; INT negated; BL isNegative; BL nonNegative; INT dividedBy(INT x); INT remainder(INT x); BL isOne;
:ROLE Concrete
:SLOT-CONSTRAINTS  

  ^ back to top

Return to Class Hierarchy

Generated: 10/04/2006, 1:24:43 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.