Class DISCRETE-TIME-RANGE-CLASS

• Defined in theory: Job-assignment-task
• Source code: job-assignment-task.lisp

Slots on this class:

Documentation:

DISCRETE-TIME-RANGE-CLASS denotes a time range whose start time and end time are measured by a time-range-unit.

Instance-Of: Class

Subclass-Of: Class

Domain-Of: Time-range-unit

Superclass-Of: Unit-time-range-class

---

Slots on instances of this class:

Time-Range-Unit:

Slot-Cardinality: 1

Equivalence Axioms:

(<=> (Discrete-Time-Range-Class ?Class)
     (And (Class ?Class)
          (Value-Cardinality ?Class Time-Range-Unit 1)
          (Forall (?I)
                  (=> (Instance-Of ?I ?Class)
                      (And (Measured-By (Time-Range.Start-Time ?I)
                                        (Time-Range-Unit ?Class))
                           (Measured-By (Time-Range.End-Time ?I)
                                        (Time-Range-Unit ?Class)))))))

Axioms:

(Forall (?I)
        (=> (Instance-Of ?I ?Class)
            (And (Measured-By (Time-Range.Start-Time ?I)
                              (Time-Range-Unit ?Class))
                 (Measured-By (Time-Range.End-Time ?I)
                              (Time-Range-Unit ?Class)))))

(Class ?Class)

Other Related Axioms:

(<=> (Discrete-Time-Range-Class ?Class)
     (And (Class ?Class)
          (Value-Cardinality ?Class Time-Range-Unit 1)
          (Forall (?I)
                  (=> (Instance-Of ?I ?Class)
                      (And (Measured-By (Time-Range.Start-Time ?I)
                                        (Time-Range-Unit ?Class))
                           (Measured-By (Time-Range.End-Time ?I)
                                        (Time-Range-Unit ?Class)))))))

(=> (Time-Range-Unit $X $Y) (Discrete-Time-Range-Class $X))

(<=> (Unit-Time-Range-Class ?Class)
     (And (Discrete-Time-Range-Class ?Class)
          (Forall (?I)
                  (=> (Instance-Of ?I ?Class)
                      (= (Time-Range.Duration ?I)
                         (Time-Range-Unit ?Class))))))