Class REAL-RANGE

• Defined in theory: Jat-generic
• Source code: job-assignment-generic.lisp

Slots on this class:

Documentation:

An real range is a class of real numbers specified by lower and upper bounds. Instances of an real-range are real numbers.

Subclass-Of: Class

---

Slots on instances of this class:

Subclass-Of: Real-number

R-Lower-Bound:

Slot-Cardinality: 1

R-Upper-Bound:

Slot-Cardinality: 1

Axioms:

(<=> (Real-Range ?Class)
     (And (Class ?Class)
          (Subclass-Of ?Class Real-Number)
          (Value-Cardinality ?Class R-Lower-Bound 1)
          (Value-Cardinality ?Class R-Upper-Bound 1)
          (Forall (?I)
                  (=> (Instance-Of ?I ?Class)
                      (And (=< (R-Lower-Bound ?Class) ?I)
                           (=< ?I (R-Upper-Bound ?Class)))))))