data.h

Go to the documentation of this file.

#ifndef DATA_H
#define DATA_H

#include <map>
#include <string>
#include <vector>
#include "core/Solver.h"
#include "fields/classroom.h"
#include "fields/course.h"
#include "fields/instructor.h"
#include "fields/program.h"
#include "fields/segment.h"
#include "fields/slot.h"

using namespace NSPACE;

class Data {
 public:
  std::vector<Course> courses;
  std::vector<Instructor> instructors;
  std::vector<Classroom> classrooms;
  std::vector<Program> programs;
  std::vector<Segment> segments;
  std::vector<Slot> slots;
  std::vector<IsMinor> isMinors;
  std::vector<std::vector<std::vector<Var>>> fieldValueVars;
  std::vector<std::vector<Var>> highLevelVars;
  std::vector<std::vector<Var>> predefinedConstraintVars;
  std::vector<Var> customConstraintVars;
  std::vector<std::vector<std::vector<lbool>>> existingAssignmentVars;
  std::vector<int> highLevelVarWeights;
  std::vector<int> existingAssignmentWeights;
  std::vector<int> predefinedClausesWeights;
  std::map<int, unsigned> customMap;
  Data();
};

#endif