Class SOURCE

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

Slots on this class:

Documentation:

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

Instance-Of: Class

Subclass-Of: Assignment-object

Domain-Of: Assignment

Superclass-Of: Job

Other Related Axioms:

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

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