From 3c8c3c84b7160b26ceb6e9daf0d6638c5ec3fecb Mon Sep 17 00:00:00 2001
From: Oszkar Semerath <semerath@mit.bme.hu>
Date: Sun, 17 May 2020 20:53:49 +0200
Subject: TransformationExecutionTime + weights can be controlled from config

---
 .../application/execution/SolverLoader.xtend       | 30 ++++++++++++++++++++++
 1 file changed, 30 insertions(+)

(limited to 'Application/hu.bme.mit.inf.dslreasoner.application')

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend
index ca272381..e1d01cb5 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend
@@ -94,6 +94,36 @@ class SolverLoader {
 						c.runIntermediateNumericalConsistencyChecks= false
 					}
 				}
+				if(config.containsKey("fitness-punishSize")) {
+					val stringValue = config.get("fitness-punishSize")
+					try {
+						c.punishSize = Boolean.parseBoolean(stringValue)
+					} catch(Exception e) {}
+				}
+				if(config.containsKey("fitness-scope")) {
+					val stringValue = config.get("fitness-scope")
+					try {
+						c.scopeWeight = Integer.parseInt(stringValue)
+					} catch(Exception e) {}
+				}
+				if(config.containsKey("fitness-missing-containent")) {
+					val stringValue = config.get("fitness-missing-containent")
+					try {
+						c.conaintmentWeight = Integer.parseInt(stringValue)
+					} catch(Exception e) {}
+				}
+				if(config.containsKey("fitness-missing-noncontainent")) {
+					val stringValue = config.get("fitness-missing-noncontainent")
+					try {
+						c.nonContainmentWeight = Integer.parseInt(stringValue)
+					} catch(Exception e) {}
+				}
+				if(config.containsKey("fitness-missing-wf")) {
+					val stringValue = config.get("fitness-missing-wf")
+					try {
+						c.unfinishedWFWeight = Integer.parseInt(stringValue)
+					} catch(Exception e) {}
+				}
 			]
 		} else {
 			throw new UnsupportedOperationException('''Unknown solver: «solver»''')
-- 
cgit v1.2.3-54-g00ecf