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.

Arity: 3

Axioms:

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