Relation
START=
Defined in theory:
Jat-generic
Source code:
job-assignment-generic.lisp
Slots on this relation:
Arity
:
2
Axioms:
(<=> (
Start=
?Tr1 ?Tr2) (Or (
Starts
?Tr1 ?Tr2) (
Equals
?Tr1 ?Tr2)))