Class MONTH-NUMBER

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

Slots on this class:

Documentation:

MONTH-NUMBER deontes a month of a year.

Instance-Of: Class, Integer-range

Axioms:

(= (I-Upper-Bound Month-Number) 12)

(= (I-Lower-Bound Month-Number) 1)