Class TARGET

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

Slots on this class:

Documentation:

TARGET denotes an object to which an object of SOURCE is to be assigned.

Instance-Of: Class

Subclass-Of: Assignment-object

Range-Of: Assignment

Superclass-Of: Jat-time-range, Resource

Other Related Axioms:

(Subclass-Partition Assignment-Object (Setof Source Target))

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