constraint_adder.h

Go to the documentation of this file.

#ifndef CONSTRAINT_ADDER_H
#define CONSTRAINT_ADDER_H

#include "constraint_encoder.h"
#include "clauses.h"
#include "global.h"
#include "core/SolverTypes.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