Class INTEGER-RANGE

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

Slots on this class:

Documentation:

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

Instance-Of: Class

Subclass-Of: Class

Inherited-Slot-Value: Integer

Domain-Of: I-lower-bound, I-upper-bound

Has-Instance:

Day-number, Hour-number, Minute-number, Month-number

---

Slots on instances of this class:

Subclass-Of: Integer

I-Lower-Bound:

Slot-Cardinality: 1

I-Upper-Bound:

Slot-Cardinality: 1

Equivalence Axioms:

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

Axioms:

(Forall (?I)
        (=> (Instance-Of ?I ?Class)
            (And (=< (I-Lower-Bound ?Class) ?I)
                 (=< ?I (I-Upper-Bound ?Class)))))

(Class ?Class)

Other Related Axioms:

(<= (Subclass-Of $X Integer) (Integer-Range $X))

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

(=> (I-Lower-Bound $X $Y) (Integer-Range $X))

(=> (I-Upper-Bound $X $Y) (Integer-Range $X))