Relation TP>

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

Slots on this relation:

Documentation: inverse of TP<

Instance-Of: Relation

Arity: 2

Inverse: Tp<

Other Related Axioms:

(<=> (During ?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))))

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

(<=> (Tp> $Arg1 $Arg2) (Tp< $Arg2 $Arg1))