Function I-LOWER-BOUND

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

Slots on this function:

Documentation:

(I-LOWER-BOUND r) denotes the integer lower bound of range r.

Instance-Of: Function

Arity: 2

Domain: Integer-range

Range: Integer

Other Related Axioms:

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

(Inherited-Facet-Value Slot-Cardinality
                       Integer-Range
                       I-Lower-Bound
                       1)

(<=> (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 $Y))

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

(= (I-Lower-Bound Month-Number) 1)

(= (I-Lower-Bound Day-Number) 1)

(= (I-Lower-Bound Hour-Number) 0)

(= (I-Lower-Bound Minute-Number) 0)