Class MINUTE-NUMBER

• Defined in theory: Jat-generic
• Source code: job-assignment-generic.lisp

Slots on this class:

Documentation:

MINUTE-NUMBER denotes a minute of a hour.

Instance-Of: Class, Integer-range

Range-Of: Time-point.minute

Axioms:

(= (I-Upper-Bound Minute-Number) 59)

(= (I-Lower-Bound Minute-Number) 0)

Other Related Axioms:

(=> (Time-Point.Minute $X $Y) (Minute-Number $Y))