Function TR+

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

Slots on this function:

Documentation:

TR+ denotes a time range ?tr2 whose length is longer that ?tr1 by a duration ?duration.

Instance-Of: Function

Arity: 3

Equivalence Axioms:

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

Other Related Axioms:

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

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