3 #ifndef CONSTRAINT_ENCODER_H 4 #define CONSTRAINT_ENCODER_H 8 #include "core/SolverTypes.h" 32 std::vector<std::vector<std::vector<Var>>> vars;
37 std::vector<Var> getAllowedVars(
int,
FieldType);
43 Clauses notIntersectingTime(
int,
int);
48 Clauses hasCommonProgram(
int,
int);
49 Clauses hasNoCommonCoreProgram(
int,
int);
54 Clauses courseInMorningTime(
int);
55 Clauses programAtMostOneOfCoreOrElective(
int);
Class for constraint encoder.
FieldType
Enum that represents all the field types.
Class for representing a set of clauses.