8 #include "core/Solver.h" 81 std::vector<Var> predefinedConstraintVars;
82 std::vector<Var> customConstraintVars;
std::vector< int > predefinedClausesWeights
Definition: data.h:117
std::vector< Segment > segments
Definition: data.h:51
std::vector< int > highLevelVarWeights
Definition: data.h:100
std::vector< Classroom > classrooms
Definition: data.h:43
std::vector< Slot > slots
Definition: data.h:55
std::vector< IsMinor > isMinors
Definition: data.h:59
std::vector< Instructor > instructors
Definition: data.h:39
std::vector< int > existingAssignmentWeights
Definition: data.h:109
std::vector< std::vector< std::vector< lbool > > > existingAssignmentVars
Definition: data.h:91
std::vector< Course > courses
Definition: data.h:35
std::vector< std::vector< Var > > highLevelVars
Definition: data.h:80
Class for data.
Definition: data.h:30
std::vector< Program > programs
Definition: data.h:47
std::vector< std::vector< std::vector< Var > > > fieldValueVars
Definition: data.h:72