Relation DURING=

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

Slots on this relation:

Instance-Of: Relation

Arity: 2

Equivalence Axioms:

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

Other Related Axioms:

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