Function DR+

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

Slots on this function:

Instance-Of: Function

Arity: 3

Axioms:

(Nth-Domain Dr+ 3 Duration)

(Nth-Domain Dr+ 2 Duration)

(Nth-Domain Dr+ 1 Duration)