+SearchTuner::SearchTuner(const char *filename, bool addused) {
+ ifstream myfile;
+ myfile.open (filename, ios::in);
+ if (myfile.is_open()) {
+ bool hasVar;
+ VarType type1;
+ VarType type2;
+ TunableParam param;
+ int lowValue;
+ int highValue;
+ int defaultValue;
+ int selectedValue;
+ while (myfile >> hasVar >> type1 >> type2 >> param >> lowValue >> highValue >> defaultValue >> selectedValue) {
+ TunableSetting *setting;
+
+ if (hasVar) {
+ setting = new TunableSetting(type1, type2, param);
+ } else {
+ setting = new TunableSetting(param);
+ }
+ setting->setDecision(lowValue, highValue, defaultValue, selectedValue);
+ settings.add(setting);
+ if (addused) {
+ usedSettings.add(setting);
+ }
+ }
+ myfile.close();
+ } else {
+ model_print("Warning: Tuner %s couldn't be loaded ... Using default tuner instead ....\n", filename);
+ }
+}
+
+bool SearchTuner::equalUsed(SearchTuner *tuner) {
+ if (tuner->usedSettings.getSize() != usedSettings.getSize()) {
+ return false;
+ }
+ bool result = true;
+ SetIteratorTunableSetting *iterator = usedSettings.iterator();
+ while (iterator->hasNext()) {
+ TunableSetting *setting = iterator->next();
+ if (!tuner->usedSettings.contains(setting)) {
+ result = false;
+ break;
+ } else {
+ TunableSetting *tunerSetting = tuner->usedSettings.get(setting);
+ if (tunerSetting->selectedValue != setting->selectedValue) {
+ result = false;
+ break;
+ }
+ }
+ }
+ delete iterator;
+ return result;
+}
+
+void SearchTuner::addUsed(const char *filename) {
+ ifstream myfile;
+ myfile.open (filename, ios::in);
+ if (myfile.is_open()) {
+ bool hasVar;
+ VarType type1;
+ VarType type2;
+ TunableParam param;
+ int lowValue;
+ int highValue;
+ int defaultValue;
+ int selectedValue;
+ while (myfile >> hasVar >> type1 >> type2 >> param >> lowValue >> highValue >> defaultValue >> selectedValue) {
+ TunableSetting *setting;
+
+ if (hasVar) {
+ setting = new TunableSetting(type1, type2, param);
+ } else {
+ setting = new TunableSetting(param);
+ }
+ setting->setDecision(lowValue, highValue, defaultValue, selectedValue);
+ if (!settings.contains(setting)) {
+ settings.add(setting);
+ usedSettings.add(setting);
+ } else {
+ TunableSetting *tmp = settings.get(setting);
+ settings.remove(tmp);
+ usedSettings.remove(tmp);
+ delete tmp;
+ settings.add(setting);
+ usedSettings.add(setting);
+ }
+ }
+ myfile.close();
+ }
+}
+
+bool SearchTuner::isSubTunerof(SearchTuner *newTuner) {
+ SetIteratorTunableSetting *iterator = usedSettings.iterator();
+ while (iterator->hasNext()) {
+ TunableSetting *setting = iterator->next();
+ if (!newTuner->settings.contains(setting)) {
+ return false;
+ } else {
+ TunableSetting *newSetting = newTuner->settings.get(setting);
+ if (newSetting->selectedValue != setting->selectedValue) {
+ return false;
+ }
+ }
+ }
+ delete iterator;
+ return true;
+}
+