Relation DR=

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

Slots on this relation:

Documentation:

Two duration is the same length.

Instance-Of: Relation

Arity: 2

Domain: Duration

Range: Duration

Other Related Axioms:

(=> (Dr= $X $Y) (Duration $Y))

(=> (Dr= $X $Y) (Duration $X))