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 Minisat;

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();
};

#endif