Relation DR<

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

Slots on this relation:

Documentation:

A duration ?dr1 is shorter than a duration ?dr2.

Instance-Of: Relation

Arity: 2

Domain: Duration

Range: Duration

Other Related Axioms:

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

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

(<=> (Dr> $Arg1 $Arg2) (Dr< $Arg2 $Arg1))

(Inverse Dr> Dr<)