constraint_adder.h

Go to the documentation of this file.

#ifndef CONSTRAINT_ADDER_H
#define CONSTRAINT_ADDER_H

#include "clauses.h"
#include "constraint_encoder.h"
#include "core/SolverTypes.h"
#include "global.h"
class Timetabler;

using namespace NSPACE;

class ConstraintAdder {
 private:
  ConstraintEncoder *encoder;
  Timetabler *timetabler;
  Clauses fieldSingleValueAtATime(FieldType);
  Clauses exactlyOneFieldValuePerCourse(FieldType);
  Clauses instructorSingleCourseAtATime();
  Clauses classroomSingleCourseAtATime();
  Clauses programSingleCoreCourseAtATime();
  Clauses minorInMinorTime();
  Clauses coreInMorningTime();
  Clauses electiveInNonMorningTime();
  Clauses existingAssignmentClauses();
  Clauses programAtMostOneOfCoreOrElective();

 public:
  ConstraintAdder(ConstraintEncoder *, Timetabler *);
  void addConstraints();
  void addSingleConstraint(PredefinedClauses, const Clauses &);
};

#endif