Function TP+

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

Slots on this function:

Documentation:

A difference between tow time points ?tp1 and ?tp2 is a

duration ?duration.

Instance-Of: Function

Arity: 3

Axioms:

(Nth-Domain Tp+ 3 Time-Point)

(Nth-Domain Tp+ 2 Duration)

(Nth-Domain Tp+ 1 Time-Point)

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

(=> (= (Tr+ ?Tr1 ?Duration) ?Tr2)
    (= (Tp+ (Time-Range.End-Time ?Tr1) ?Duration)
       (Time-Range.End-Time ?Tr2)))