Function ASSIGNED-TIME-RANGE

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

Slots on this function:

Documentation:

ASSIGNED-TIME_RANGE returns a time range to which a job is assigned.

Instance-Of: Function

Arity: 2

Domain: Job

Range: Jat-time-range

Subrelation-Of: Assignment

Other Related Axioms:

(Slot-Cardinality ?Class Assigned-Time-Range 1)

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

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

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