Timetabler
data.h
Go to the documentation of this file.
1 
3 #ifndef DATA_H
4 #define DATA_H
5 
6 #include <string>
7 #include <vector>
8 #include "core/Solver.h"
9 #include "fields/classroom.h"
10 #include "fields/course.h"
11 #include "fields/instructor.h"
12 #include "fields/program.h"
13 #include "fields/segment.h"
14 #include "fields/slot.h"
15 
16 using namespace NSPACE;
17 
30 class Data {
31  public:
35  std::vector<Course> courses;
39  std::vector<Instructor> instructors;
43  std::vector<Classroom> classrooms;
47  std::vector<Program> programs;
51  std::vector<Segment> segments;
55  std::vector<Slot> slots;
59  std::vector<IsMinor> isMinors;
72  std::vector<std::vector<std::vector<Var>>> fieldValueVars;
80  std::vector<std::vector<Var>> highLevelVars;
81  std::vector<Var> predefinedConstraintVars;
82  std::vector<Var> customConstraintVars;
91  std::vector<std::vector<std::vector<lbool>>> existingAssignmentVars;
100  std::vector<int> highLevelVarWeights;
109  std::vector<int> existingAssignmentWeights;
117  std::vector<int> predefinedClausesWeights;
118  Data();
119 };
120 
121 #endif
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