Class RESOURCE

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

Slots on this class:

Documentation:

RESOURCE is an abstract class that denotes an object to which a

job is assigned, or a collection of such objects.

Instance-Of: Class

Subclass-Of: Target

Range-Of: Assigned-resource

Other Related Axioms:

(Nth-Domain Job.Length 2 Resource)

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