data.h

Go to the documentation of this file.

#ifndef DATA_H
#define DATA_H

#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"
#include <string>
#include <vector>

using namespace Minisat;

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<std::vector<lbool>>> existingAssignmentVars;
    std::vector<int> highLevelVarWeights;
    std::vector<int> existingAssignmentWeights;
    std::vector<int> predefinedClausesWeights;
    Data();
};

#endif