Safe Haskell | None |
---|---|
Language | Haskell2010 |
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.
MkProblemValidationSwitches | |
|
Instances
Constants
checkAvailabilityOfAnyGroupMemberTag :: String Source #
Used to qualify SQL & XML.
checkCapacityOfLocationsForMeetingsTag :: String Source #
Used to qualify SQL & XML.
checkCoursesForSynchronousSpecifiedTimesTag :: String Source #
Used to qualify SQL & XML.
checkDuplicateMeetingLocationIdsTag :: String Source #
Used to qualify SQL & XML.
checkDuplicateOwnLocationIdsTag :: String Source #
Used to qualify XML.
checkForAlternativesToSynchronisedCoursesTag :: String Source #
Used to qualify SQL & XML.
checkForDuplicateStudentIdsTag :: String Source #
Used to qualify XML.
checkForIdleStudentsTag :: String Source #
Used to qualify SQL & XML.
checkForIdleTeachersTag :: String Source #
Used to qualify SQL & XML.
checkForInvalidMeetingTimesTag :: String Source #
Used to qualify XML.
checkForMultipleCoursesPerTeacherPerSynchronisationIdTag :: String Source #
Used to qualify SQL & XML.
checkForNonExistentFacilitiesTag :: String Source #
Used to qualify SQL & XML.
checkForNonExistentGroupIdsTag :: String Source #
Used to qualify XML.
checkForNonExistentMeetingLocationIdsTag :: String Source #
Used to qualify XML.
checkForNonExistentOwnLocationIdsTag :: String Source #
Used to qualify XML.
checkForOverloadedStudentsTag :: String Source #
Used to qualify SQL & XML.
checkForSingletonSynchronisedCoursesTag :: String Source #
Used to qualify SQL & XML.
checkForStudentsRequiringMultipleSynchronisedSubjectsTag :: String Source #
Used to qualify SQL & XML.
checkForStudentsWithUnrealisableFreePeriodPreferenceTag :: String Source #
Used to qualify SQL & XML.
checkForSynchronisedCoursesWithDifferentIdealTimeslotsTag :: String Source #
Used to qualify SQL & XML.
checkForSynchronisedCoursesWithDifferentLessonsPerWeekTag :: String Source #
Used to qualify SQL & XML.
checkForSynchronisedCoursesWithExcessLessonsPerWeekTag :: String Source #
Used to qualify SQL & XML.
checkForSynchronisedCoursesWithExcessSpecifiedTimesTag :: String Source #
Used to qualify SQL & XML.
checkForSynchronisedCoursesWithExcessTimeslotRequestsTag :: String Source #
Used to qualify SQL & XML.
checkForSynchronisedCoursesWithoutSuitableLocationsTag :: String Source #
Used to qualify SQL & XML.
checkForSynchronisedCoursesWithUnavailableSpecifiedDaysTag :: String Source #
Used to qualify SQL & XML.
checkForTeachersWithUnrealisableFreePeriodPreferenceTag :: String Source #
Used to qualify SQL & XML.
checkIfStudentBodiesExceedTeachersTag :: String Source #
Used to qualify SQL & XML.
checkIfStudentBodySizeExceedsCapacityOfAllLocationsTag :: String Source #
Used to qualify SQL & XML.
checkIfStudentBodySizeExceedsLocationCapacityTag :: String Source #
Used to qualify SQL & XML.
checkIndependenceOfStudentTimeslotsRequestsAndMeetingsTag :: String Source #
Used to qualify SQL & XML.
checkIndependenceOfTeacherTimeslotsRequestsAndMeetingsTag :: String Source #
Used to qualify SQL & XML.
checkLocationsAvailabilityToSupportCoursesTag :: String Source #
Used to qualify SQL & XML.
checkLocationsForSynchronousSpecifiedTimesTag :: String Source #
Used to qualify SQL & XML.
checkMeetingLocationsAvailabilityTag :: String Source #
Used to qualify SQL & XML.
checkMinimumConsecutiveLessonsTag :: String Source #
Used to qualify XML.
checkNullGroupIdTag :: String Source #
Used to qualify XML.
checkNullLocationCatalogueTag :: String Source #
Used to qualify SQL & XML.
checkNullStudentBodyRegisterTag :: String Source #
Used to qualify SQL & XML.
checkNullTeacherRegisterTag :: String Source #
Used to qualify SQL & XML.
checkOwnLocationsAvailabilityTag :: String Source #
Used to qualify SQL & XML.
checkRequiredLessonsPerWeekTag :: String Source #
Used to qualify SQL & XML.
checkSimultaneousAvailabilityOfGroupMembersTag :: String Source #
Used to qualify SQL & XML.
checkStudentsAvailabilityForMandatoryMeetingsTag :: String Source #
Used to qualify SQL & XML.
checkStudentsAvailabilityForSpecifiedTimesTag :: String Source #
Used to qualify SQL & XML.
checkStudentsForMultipleLevelsOfSameTopicTag :: String Source #
Used to qualify XML.
checkStudentsForSynchronousMeetingsTag :: String Source #
Used to qualify SQL & XML.
checkStudentsLowerWorkloadBoundTag :: String Source #
Used to qualify SQL & XML.
checkStudentsUpperWorkloadBoundTag :: String Source #
Used to qualify SQL & XML.
checkSubjectExistenceTag :: String Source #
Used to qualify XML.
checkSuitableLocationsForKnowledgeRequirementsTag :: String Source #
Used to qualify XML.
checkTeachersAvailabilityForMandatoryMeetingsTag :: String Source #
Used to qualify SQL & XML.
checkTeachersForSynchronousMeetingsTag :: String Source #
Used to qualify SQL & XML.
checkTeachersUpperWorkloadBoundTag :: String Source #
Used to qualify SQL & XML.
checkTeachingCapacityBySubjectTag :: String Source #
Used to qualify SQL & XML.
checkTimeslotIdBoundsTag :: String Source #
Used to qualify XML.
checkTimeslotRequestsTag :: String Source #
Used to qualify XML.