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.

Subclass-Of: Class

---

Slots on instances of this class:

Time-Range-Unit:

Slot-Cardinality: 1

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)))))))