Function FIXED-LENGTH-JOB.LENGTH

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

Slots on this function:

Documentation:

FIXED-LENGTH-JOB.LENGTH returns a duration of the job. The length does not depend on resources.

Instance-Of: Function

Arity: 2

Domain: Job

Range: Duration

Other Related Axioms:

(Slot-Cardinality ?Class Fixed-Length-Job.Length 1)

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

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

(<=> (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))))))

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

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