constraint_encoder.h

Go to the documentation of this file.

#ifndef CONSTRAINT_ENCODER_H
#define CONSTRAINT_ENCODER_H

#include <vector>
#include "clauses.h"
#include "core/SolverTypes.h"
#include "global.h"
#include "time_tabler.h"

using namespace NSPACE;

class ConstraintEncoder {
 private:
  std::vector<std::vector<std::vector<Var>>> vars;
  Timetabler *timetabler;
  std::vector<Var> getAllowedVars(int, FieldType);

 public:
  ConstraintEncoder(Timetabler *);
  Clauses hasSameFieldTypeAndValue(int, int, FieldType);
  Clauses hasSameFieldTypeNotSameValue(int, int, FieldType);
  Clauses notIntersectingTime(int, int);
  Clauses notIntersectingTimeField(int, int, FieldType);
  Clauses hasExactlyOneFieldValueTrue(int, FieldType);
  Clauses hasAtLeastOneFieldValueTrue(int, FieldType);
  Clauses hasAtMostOneFieldValueTrue(int, FieldType);
  Clauses hasCommonProgram(int, int);
  Clauses hasNoCommonCoreProgram(int, int);
  Clauses isMinorCourse(int);
  Clauses slotInMinorTime(int);
  Clauses isCoreCourse(int);
  Clauses isElectiveCourse(int);
  Clauses courseInMorningTime(int);
  Clauses programAtMostOneOfCoreOrElective(int);
  Clauses hasFieldTypeListedValues(int, FieldType, std::vector<int>);
};

#endif