Function ASSIGNMENT

• Defined in theory: Job-assignment-task
• Source code: job-assignment-task.lisp

Slots on this function:

Documentation:

ASSIGNMENT denotes a mapping from SOURCE to TARGET.

Instance-Of: Function

Arity: 2

Domain: Source

Range: Target

Other Related Axioms:

(=> (Assignment $X $Y) (Target $Y))

(=> (Assignment $X $Y) (Source $X))

(Subrelation-Of Assigned-Resource Assignment)

(Subrelation-Of Assigned-Time-Range Assignment)