data.cpp

#include "data.h"

#include "global.h"

Data::Data() {
  highLevelVarWeights.resize(Global::FIELD_COUNT, 1);
  existingAssignmentWeights.resize(Global::FIELD_COUNT, 1);
  predefinedClausesWeights.resize(Global::PREDEFINED_CLAUSES_COUNT, -1);
  existingAssignmentWeights[FieldType::isMinor] = -1;
  existingAssignmentWeights[FieldType::program] = -1;
  existingAssignmentWeights[FieldType::instructor] = -1;
  predefinedClausesWeights[PredefinedClauses::coreInMorningTime] = 1;
  predefinedClausesWeights[PredefinedClauses::electiveInNonMorningTime] = 1;
}