Relation DISJOINT-TR

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

Slots on this relation:

Documentation:

time ranges ?tr1 and ?tr2 do not overlap

Instance-Of: Relation

Arity: 2

Equivalence Axioms:

(<=> (Disjoint-Tr ?Tr1 ?Tr2)
     (Or (Before ?Tr1 ?Tr2) (Before ?Tr2 ?Tr1)))

Other Related Axioms:

(<=> (Disjoint-Tr ?Tr1 ?Tr2)
     (Or (Before ?Tr1 ?Tr2) (Before ?Tr2 ?Tr1)))