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);
  std::vector<Clauses> exactlyOneFieldValuePerCourse(FieldType);
  Clauses instructorSingleCourseAtATime();
  Clauses classroomSingleCourseAtATime();
  Clauses programSingleCoreCourseAtATime();
  std::vector<Clauses> minorInMinorTime();
  std::vector<Clauses> coreInMorningTime();
  std::vector<Clauses> electiveInNonMorningTime();
  // Clauses existingAssignmentClauses();
  std::vector<Clauses> programAtMostOneOfCoreOrElective();

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

#endif