Function TIME-RANGE.DURATION

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

Slots on this function:

Documentation:

(TR-END-DURATION 'tr) denotes a duration of a time range tr.

Instance-Of: Function

Arity: 2

Domain: Time-range

Range: Duration

Other Related Axioms:

(Tp= (Tp+ (Time-Range.Start-Time ?Time-Range)
          (Time-Range.Duration ?Time-Range))
     (Time-Range.End-Time ?Time-Range))

(=> (Time-Range ?Time-Range)
    (Tp= (Tp+ (Time-Range.Start-Time ?Time-Range)
              (Time-Range.Duration ?Time-Range))
         (Time-Range.End-Time ?Time-Range)))

(=> (Time-Range.Duration $X $Y) (Duration $Y))

(=> (Time-Range.Duration $X $Y) (Time-Range $X))