Class UNIT-LENGTH-JOB-CLASS

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

Slots on this class:

Documentation:

UNIT-LENGTH-JOB denotes a job whose length is the same.

Instance-Of: Class

Subclass-Of: Fixed-length-job-class

Domain-Of: Job-unit-length

---

Slots on instances of this class:

Job-Unit-Length:

Slot-Cardinality: 1

Equivalence Axioms:

(<=> (Unit-Length-Job-Class ?Class)
     (And (Fixed-Length-Job-Class ?Class)
          (Value-Cardinality ?Class Job-Unit-Length 1)
          (Forall (?I)
                  (=> (Instance-Of ?I ?Class)
                      (= (Fixed-Length-Job.Length ?I)
                         (Job-Unit-Length ?Class))))))

Axioms:

(Forall (?I)
        (=> (Instance-Of ?I ?Class)
            (= (Fixed-Length-Job.Length ?I) (Job-Unit-Length ?Class))))

(Fixed-Length-Job-Class ?Class)

Other Related Axioms:

(<=> (Unit-Length-Job-Class ?Class)
     (And (Fixed-Length-Job-Class ?Class)
          (Value-Cardinality ?Class Job-Unit-Length 1)
          (Forall (?I)
                  (=> (Instance-Of ?I ?Class)
                      (= (Fixed-Length-Job.Length ?I)
                         (Job-Unit-Length ?Class))))))

(=> (Job-Unit-Length $X $Y) (Unit-Length-Job-Class $X))