Class JOB

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

Slots on this class:

Documentation:

JOB is an abstract class that denotes an object to be assigned to

a resource, or a collection of such objects.

Instance-Of: Class

Subclass-Of: Source

Domain-Of:

Assigned-resource, Assigned-time-range, Fixed-length-job.length, Job.time-range

Other Related Axioms:

(<= (Subclass-Of $X Job) (Temporally-Fixed-Job-Class $X))

(Inherited-Slot-Value Temporally-Fixed-Job-Class Subclass-Of Job)

(<=> (Temporally-Fixed-Job-Class ?Class)
     (And (Class ?Class)
          (Subclass-Of ?Class Job)
          (Slot-Cardinality ?Class Assigned-Time-Range 1)))

(<= (Subclass-Of $X Job) (Fixed-Length-Job-Class $X))

(Inherited-Slot-Value Fixed-Length-Job-Class Subclass-Of Job)

(<=> (Fixed-Length-Job-Class ?Class)
     (And (Class ?Class)
          (Subclass-Of ?Class Job)
          (Slot-Cardinality ?Class Fixed-Length-Job.Length 1)))

(Nth-Domain Job.Length 1 Job)

(=> (Fixed-Length-Job.Length $X $Y) (Job $X))

(=> (Job.Time-Range $X $Y) (Job $X))

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

(=> (Assigned-Time-Range $X $Y) (Job $X))