Class UNIT-TIME-RANGE-CLASS

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

Slots on this class:

Documentation:

UNIT-TIME-RANGE-CLASS deontes a time ragne whose duration is a unit length.

Subclass-Of: Discrete-time-range-class

Axioms:

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