global.h

Go to the documentation of this file.

#ifndef GLOBAL_H
#define GLOBAL_H

enum FieldType { instructor, segment, isMinor, program, classroom, slot };

enum PredefinedClauses {
  instructorSingleCourseAtATime,
  classroomSingleCourseAtATime,
  programSingleCoreCourseAtATime,
  minorInMinorTime,
  exactlyOneSlotPerCourse,
  exactlyOneInstructorPerCourse,
  exactlyOneSegmentPerCourse,
  exactlyOneIsMinorPerCourse,
  exactlyOneClassroomPerCourse,
  coreInMorningTime,
  electiveInNonMorningTime,
  programAtMostOneOfCoreOrElective
};

class Global {
 public:
  static const int FIELD_COUNT = 6;
  static const int PREDEFINED_CLAUSES_COUNT = 12;
};

#endif