Safe Haskell	None
Language	Haskell2010

WeekDaze.ProblemConfiguration.ProblemValidationSwitches

Contents

Types
- Data-types
Constants

Description

AUTHOR: Dr. Alistair Ward
DESCRIPTION: Defines the toggle-switches used to enabledisable checks on the validity of ProblemParameters/.

Synopsis

data ProblemValidationSwitches = MkProblemValidationSwitches {
- getCheckAvailabilityOfAnyGroupMember :: Check
- getCheckCapacityOfLocationsForMeetings :: Check
- getCheckCoursesForSynchronousSpecifiedTimes :: Check
- getCheckDuplicateMeetingLocationIds :: Check
- getCheckDuplicateOwnLocationIds :: Check
- getCheckForAlternativesToSynchronisedCourses :: Check
- getCheckForDuplicateStudentIds :: Check
- getCheckForIdleStudents :: Check
- getCheckForIdleTeachers :: Check
- getCheckForInvalidMeetingTimes :: Check
- getCheckForMultipleCoursesPerTeacherPerSynchronisationId :: Check
- getCheckForNonExistentFacilities :: Check
- getCheckForNonExistentGroupIds :: Check
- getCheckForNonExistentMeetingLocationIds :: Check
- getCheckForNonExistentOwnLocationIds :: Check
- getCheckForOverloadedStudents :: Check
- getCheckForSingletonSynchronisedCourses :: Check
- getCheckForStudentsRequiringMultipleSynchronisedSubjects :: Check
- getCheckForStudentsWithUnrealisableFreePeriodPreference :: Check
- getCheckForSynchronisedCoursesWithDifferentIdealTimeslots :: Check
- getCheckForSynchronisedCoursesWithDifferentLessonsPerWeek :: Check
- getCheckForSynchronisedCoursesWithExcessLessonsPerWeek :: Check
- getCheckForSynchronisedCoursesWithExcessSpecifiedTimes :: Check
- getCheckForSynchronisedCoursesWithExcessTimeslotRequests :: Check
- getCheckForSynchronisedCoursesWithoutSuitableLocations :: Check
- getCheckForSynchronisedCoursesWithUnavailableSpecifiedDays :: Check
- getCheckForTeachersWithUnrealisableFreePeriodPreference :: Check
- getCheckIfStudentBodiesExceedTeachers :: Check
- getCheckIfStudentBodySizeExceedsCapacityOfAllLocations :: Check
- getCheckIfStudentBodySizeExceedsLocationCapacity :: Check
- getCheckIndependenceOfStudentTimeslotsRequestsAndMeetings :: Check
- getCheckIndependenceOfTeacherTimeslotsRequestsAndMeetings :: Check
- getCheckLocationsAvailabilityToSupportCourses :: Check
- getCheckLocationsForSynchronousSpecifiedTimes :: Check
- getCheckMeetingLocationsAvailability :: Check
- getCheckMinimumConsecutiveLessons :: Check
- getCheckNullGroupId :: Check
- getCheckNullLocationCatalogue :: Check
- getCheckNullStudentBodyRegister :: Check
- getCheckNullTeacherRegister :: Check
- getCheckOwnLocationsAvailability :: Check
- getCheckRequiredLessonsPerWeek :: Check
- getCheckSimultaneousAvailabilityOfGroupMembers :: Check
- getCheckStudentsAvailabilityForMandatoryMeetings :: Check
- getCheckStudentsAvailabilityForSpecifiedTimes :: Check
- getCheckStudentsForMultipleLevelsOfSameTopic :: Check
- getCheckStudentsForSynchronousMeetings :: Check
- getCheckStudentsLowerWorkloadBound :: Check
- getCheckStudentsUpperWorkloadBound :: Check
- getCheckSubjectExistence :: Check
- getCheckSuitableLocationsForKnowledgeRequirements :: Check
- getCheckTeachersAvailabilityForMandatoryMeetings :: Check
- getCheckTeachersForSynchronousMeetings :: Check
- getCheckTeachersUpperWorkloadBound :: Check
- getCheckTeachingCapacityBySubject :: Check
- getCheckTimeslotIdBounds :: Check
- getCheckTimeslotRequests :: Check
}
checkAvailabilityOfAnyGroupMemberTag :: String
checkCapacityOfLocationsForMeetingsTag :: String
checkCoursesForSynchronousSpecifiedTimesTag :: String
checkDuplicateMeetingLocationIdsTag :: String
checkDuplicateOwnLocationIdsTag :: String
checkForAlternativesToSynchronisedCoursesTag :: String
checkForDuplicateStudentIdsTag :: String
checkForIdleStudentsTag :: String
checkForIdleTeachersTag :: String
checkForInvalidMeetingTimesTag :: String
checkForMultipleCoursesPerTeacherPerSynchronisationIdTag :: String
checkForNonExistentFacilitiesTag :: String
checkForNonExistentGroupIdsTag :: String
checkForNonExistentMeetingLocationIdsTag :: String
checkForNonExistentOwnLocationIdsTag :: String
checkForOverloadedStudentsTag :: String
checkForSingletonSynchronisedCoursesTag :: String
checkForStudentsRequiringMultipleSynchronisedSubjectsTag :: String
checkForStudentsWithUnrealisableFreePeriodPreferenceTag :: String
checkForSynchronisedCoursesWithDifferentIdealTimeslotsTag :: String
checkForSynchronisedCoursesWithDifferentLessonsPerWeekTag :: String
checkForSynchronisedCoursesWithExcessLessonsPerWeekTag :: String
checkForSynchronisedCoursesWithExcessSpecifiedTimesTag :: String
checkForSynchronisedCoursesWithExcessTimeslotRequestsTag :: String
checkForSynchronisedCoursesWithoutSuitableLocationsTag :: String
checkForSynchronisedCoursesWithUnavailableSpecifiedDaysTag :: String
checkForTeachersWithUnrealisableFreePeriodPreferenceTag :: String
checkIfStudentBodiesExceedTeachersTag :: String
checkIfStudentBodySizeExceedsCapacityOfAllLocationsTag :: String
checkIfStudentBodySizeExceedsLocationCapacityTag :: String
checkIndependenceOfStudentTimeslotsRequestsAndMeetingsTag :: String
checkIndependenceOfTeacherTimeslotsRequestsAndMeetingsTag :: String
checkLocationsAvailabilityToSupportCoursesTag :: String
checkLocationsForSynchronousSpecifiedTimesTag :: String
checkMeetingLocationsAvailabilityTag :: String
checkMinimumConsecutiveLessonsTag :: String
checkNullGroupIdTag :: String
checkNullLocationCatalogueTag :: String
checkNullStudentBodyRegisterTag :: String
checkNullTeacherRegisterTag :: String
checkOwnLocationsAvailabilityTag :: String
checkRequiredLessonsPerWeekTag :: String
checkSimultaneousAvailabilityOfGroupMembersTag :: String
checkStudentsAvailabilityForMandatoryMeetingsTag :: String
checkStudentsAvailabilityForSpecifiedTimesTag :: String
checkStudentsForMultipleLevelsOfSameTopicTag :: String
checkStudentsForSynchronousMeetingsTag :: String
checkStudentsLowerWorkloadBoundTag :: String
checkStudentsUpperWorkloadBoundTag :: String
checkSubjectExistenceTag :: String
checkSuitableLocationsForKnowledgeRequirementsTag :: String
checkTeachersAvailabilityForMandatoryMeetingsTag :: String
checkTeachersForSynchronousMeetingsTag :: String
checkTeachersUpperWorkloadBoundTag :: String
checkTeachingCapacityBySubjectTag :: String
checkTimeslotIdBoundsTag :: String
checkTimeslotRequestsTag :: String

Types

Data-types

data ProblemValidationSwitches Source #

Encapsulates the data which defines the problem.

Constructors

MkProblemValidationSwitches

Fields

getCheckAvailabilityOfAnyGroupMember :: Check
Check that at least one member, can attend each meeting of a group.
getCheckCapacityOfLocationsForMeetings :: Check
Check that any location, specified for the meetings of each group, has adequate capacity.
getCheckCoursesForSynchronousSpecifiedTimes :: Check
Check that no courses, required to satisfy a student's knowledge-requirements, specify the same booking-time.
getCheckDuplicateMeetingLocationIds :: Check
Check that when more than one group requires a location, that their meeting-times are mutually exclusive.
getCheckDuplicateOwnLocationIds :: Check
Check that when more than one teacher claims a single location as their own, their working-weeks are mutually exclusive.
getCheckForAlternativesToSynchronisedCourses :: Check
Ensure that students can migrate easily between synchronised courses, by prohibiting any teacher from offering an alternative course outside the set of synchronised courses, but with an identical subject to one of the member-courses.
getCheckForDuplicateStudentIds :: Check
Check that no student-identifier belongs to more than one student-body.
getCheckForIdleStudents :: Check
Check for students who require zero subjects, but have allocated one or more time-slots for teaching.
getCheckForIdleTeachers :: Check
Check for teachers who offer zero courses required by students, but have allocated one or more time-slots for teaching.
getCheckForInvalidMeetingTimes :: Check
Check that all the timeslot-Ids, used to define the meeting-times of groups, are within permissible bounds.
getCheckForMultipleCoursesPerTeacherPerSynchronisationId :: Check
Check that no teacher offers more than one course with the same synchronisationId.
getCheckForNonExistentFacilities :: Check
Check whether all facilities, referenced by those courses offered by teachers, exist in at least one location.
getCheckForNonExistentGroupIds :: Check
Check whether all group-ids, referenced by human-resources, exist independently.
getCheckForNonExistentMeetingLocationIds :: Check
Check whether all location-ids, required for the meetings of groups, exist.
getCheckForNonExistentOwnLocationIds :: Check
Check whether all location-ids, referenced by teachers, exist independently.
getCheckForOverloadedStudents :: Check
Check for students who have allocated zero time-slots for teaching, but have requested one or more subjects.
getCheckForSingletonSynchronisedCourses :: Check
Check for teachers whose courses are members of singleton sets of synchronised courses.
getCheckForStudentsRequiringMultipleSynchronisedSubjects :: Check
Check for any student-body requiring multiple subjects only offered within one set of synchronised courses.
getCheckForStudentsWithUnrealisableFreePeriodPreference :: Check
Check for any student-body whose preference for the position of free time-slots, within those days when they're available, can never be realised because of the meeting-times of groups of which they're members.
getCheckForSynchronisedCoursesWithDifferentIdealTimeslots :: Check
Check that synchronised courses don't define timeslotRequests with different ideal timeslot-ids.
getCheckForSynchronisedCoursesWithDifferentLessonsPerWeek :: Check
Check for synchronised courses which require different numbers of lessons per week.
getCheckForSynchronisedCoursesWithExcessLessonsPerWeek :: Check
Check for synchronised courses which require more lessons per week, than the number of time-slots for which all the interested student-bodies & required teachers, are simultaneously available.
getCheckForSynchronisedCoursesWithExcessSpecifiedTimes :: Check
Check for synchronised courses which have fewer lesson per week than specified booking-times.
getCheckForSynchronisedCoursesWithExcessTimeslotRequests :: Check
Check for synchronised courses which define both ideal timeslotIds & specified booking-times.
getCheckForSynchronisedCoursesWithoutSuitableLocations :: Check
Check for synchronised courses which lack sufficient locations offering the required facilities, which are simultaneously available to the teachers & all interested students.
getCheckForSynchronisedCoursesWithUnavailableSpecifiedDays :: Check
Check for synchronised courses which specify times, on days when not all the interested student-bodies & required teachers, are available.
getCheckForTeachersWithUnrealisableFreePeriodPreference :: Check
Check for any teacher whose preference for the position of free time-slots, within those days when they're available, can never be realised because of the meeting-times of groups of which they're members.
getCheckIfStudentBodiesExceedTeachers :: Check
Check whether there are sufficient teachers for the number of student-bodies, on each day.
getCheckIfStudentBodySizeExceedsCapacityOfAllLocations :: Check
Check whether each student-body can be accommodated within the largest available location.
getCheckIfStudentBodySizeExceedsLocationCapacity :: Check
Check whether all student-bodies can be accommodated within the available locations, on each day.
getCheckIndependenceOfStudentTimeslotsRequestsAndMeetings :: Check
Check that student-bodies are members of groups which specify meeting-times (even those which don't mandate attendance), which match any of the specified booking-times of courses they must attend.
getCheckIndependenceOfTeacherTimeslotsRequestsAndMeetings :: Check
Check that teachers are members of groups which specify meeting-times (even those which don't mandate attendance), which match any of the specified booking-times of courses they must attend.
getCheckLocationsAvailabilityToSupportCourses :: Check
Check that there are sufficient locations, simultaneously available with at least one student-body & at least one teacher, to support the total number of time-slots required for the courses offered by all teachers.
getCheckLocationsForSynchronousSpecifiedTimes :: Check
Check there are enough locations, in which to book lessons, at those times specified by different teachers.
getCheckMeetingLocationsAvailability :: Check
Check that any location required for a group, is available at all meeting-times.
getCheckMinimumConsecutiveLessons :: Check
Check that a course's minimumConsecutiveLessons doesn't exceed the number of time-slots per day.
getCheckNullGroupId :: Check
Check for null identifiers in the group-catalogue.
getCheckNullLocationCatalogue :: Check
Check whether the location-catalogue is empty.
getCheckNullStudentBodyRegister :: Check
Check whether the student-body register is empty.
getCheckNullTeacherRegister :: Check
Check whether the teacher register is empty.
getCheckOwnLocationsAvailability :: Check
Check that if teachers specify their own location, that there's some common availability.
getCheckRequiredLessonsPerWeek :: Check
Check that no course is offered, which requires more lessons per week, than the teacher works.
getCheckSimultaneousAvailabilityOfGroupMembers :: Check
Check that all the members of each group, are simultaneously available.
getCheckStudentsAvailabilityForMandatoryMeetings :: Check
Check that student-bodies are available for the meeting-times of the groups of which they're members.
getCheckStudentsAvailabilityForSpecifiedTimes :: Check
Check that no course, required to satisfy a student's knowledge-requirements, specifies any time, on a day when that student's unavailable.
getCheckStudentsForMultipleLevelsOfSameTopic :: Check
Check that the knowledge-requirements of each student-body, don't specify more than one level in any topic. This might occur legitimately where studying one subject for two different exams e.g. Scottish Higher & A-level.
getCheckStudentsForSynchronousMeetings :: Check
Check that student-bodies aren't members of groups with synchronous meeting-times.
getCheckStudentsLowerWorkloadBound :: Check
Check that student-bodies book sufficient subjects.
getCheckStudentsUpperWorkloadBound :: Check
Check that student-bodies don't book excess subjects.
getCheckSubjectExistence :: Check
Check for the existence of the requested subjects.
getCheckSuitableLocationsForKnowledgeRequirements :: Check
Check that there are suitable locations for each knowledge-requirement of each student-body.
getCheckTeachersAvailabilityForMandatoryMeetings :: Check
Check that teachers are available for the meeting-times of the groups of which they're members.
getCheckTeachersForSynchronousMeetings :: Check
Check that teachers aren't members of groups with synchronous meeting-times.
getCheckTeachersUpperWorkloadBound :: Check
Check that teachers aren't members of too many groups.
getCheckTeachingCapacityBySubject :: Check
Check that there's sufficient teaching-capacity, to satisfy the demand by students for each subject.
getCheckTimeslotIdBounds :: Check
Check the range of timeslot-ids defined, is sufficient.
getCheckTimeslotRequests :: Check
Check that all timeslot-requests reference a valid timeslot-id.

Instances

Eq ProblemValidationSwitches Source #
Instance details Defined in WeekDaze.ProblemConfiguration.ProblemValidationSwitches Methods (==) :: ProblemValidationSwitches -> ProblemValidationSwitches -> Bool # (/=) :: ProblemValidationSwitches -> ProblemValidationSwitches -> Bool #
Show ProblemValidationSwitches Source #
Instance details Defined in WeekDaze.ProblemConfiguration.ProblemValidationSwitches Methods showsPrec :: Int -> ProblemValidationSwitches -> ShowS # show :: ProblemValidationSwitches -> String # showList :: [ProblemValidationSwitches] -> ShowS #
NFData ProblemValidationSwitches Source #
Instance details Defined in WeekDaze.ProblemConfiguration.ProblemValidationSwitches Methods rnf :: ProblemValidationSwitches -> () #
Default ProblemValidationSwitches Source #
Instance details Defined in WeekDaze.ProblemConfiguration.ProblemValidationSwitches Methods def :: ProblemValidationSwitches #
XmlPickler ProblemValidationSwitches Source #
Instance details Defined in WeekDaze.ProblemConfiguration.ProblemValidationSwitches Methods xpickle :: PU ProblemValidationSwitches #