Function ASSIGNED-RESOURCE

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

Slots on this function:

Documentation:

ASSIGNED-RESOURCE returns a resouce to which a job is assinged.

Instance-Of: Function

Arity: 2

Domain: Job

Range: Resource

Subrelation-Of: Assignment

Other Related Axioms:

(=> (Assigned-Resource $X $Y) (Resource $Y))

(=> (Assigned-Resource $X $Y) (Job $X))