Relation FINISHES

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

Slots on this relation:

Documentation:

a time range ?tr1 and a time range ?tr2 ends at the same time and a duration of ?tr1 is shorter than that of ?tr2.

Instance-Of: Relation

Arity: 2

Equivalence Axioms:

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

Other Related Axioms:

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

(<=> (During= ?Tr1 ?Tr2)
     (Or (During ?Tr1 ?Tr2)
         (Starts ?Tr1 ?Tr2)
         (Finishes ?Tr1 ?Tr2)
         (Equals ?Tr1 ?Tr2)))

(<=> (Finishes= ?Tr1 ?Tr2)
     (Or (Finishes ?Tr1 ?Tr2) (Equals ?Tr1 ?Tr2)))