Relation OVERLAPS=

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

Slots on this relation:

Arity: 2

Axioms:

(<=> (Overlaps= ?Tr1 ?Tr2)
     (Or (Overlaps ?Tr1 ?Tr2) (Meets ?Tr1 ?Tr2)))