1 files changed, 37 insertions, 0 deletions
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 1139080b..b1be56cb 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
@@ -98,6 +98,43 @@ class SolverLoader {
                                                console.writeError('''Malformed number format: «e.message»''')
                                        }
                                }
+                                if(config.containsKey("numeric-solver-at-end")) {
+                                        val stringValue = config.get("numeric-solver-at-end")
+                                        if(stringValue.equals("true")) {
+                                                println("numeric-solver-at-end")
+                                                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) {}
+                                }
                                for (objectiveEntry : objectiveEntries) {
                                        val costObjectiveConfig = new CostObjectiveConfiguration
                                        switch (objectiveEntry) {

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 1139080b..b1be56cb 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
@@ -98,6 +98,43 @@ class SolverLoader {
98	console.writeError('''Malformed number format: «e.message»''')	98	console.writeError('''Malformed number format: «e.message»''')
99	}	99	}
100	}	100	}
		101	if(config.containsKey("numeric-solver-at-end")) {
		102	val stringValue = config.get("numeric-solver-at-end")
		103	if(stringValue.equals("true")) {
		104	println("numeric-solver-at-end")
		105	c.runIntermediateNumericalConsistencyChecks = false
		106	}
		107	}
		108	if(config.containsKey("fitness-punishSize")) {
		109	val stringValue = config.get("fitness-punishSize")
		110	try {
		111	c.punishSize = Boolean.parseBoolean(stringValue)
		112	} catch(Exception e) {}
		113	}
		114	if(config.containsKey("fitness-scope")) {
		115	val stringValue = config.get("fitness-scope")
		116	try {
		117	c.scopeWeight = Integer.parseInt(stringValue)
		118	} catch(Exception e) {}
		119	}
		120	if(config.containsKey("fitness-missing-containent")) {
		121	val stringValue = config.get("fitness-missing-containent")
		122	try {
		123	c.conaintmentWeight = Integer.parseInt(stringValue)
		124	} catch(Exception e) {}
		125	}
		126	if(config.containsKey("fitness-missing-noncontainent")) {
		127	val stringValue = config.get("fitness-missing-noncontainent")
		128	try {
		129	c.nonContainmentWeight = Integer.parseInt(stringValue)
		130	} catch(Exception e) {}
		131	}
		132	if(config.containsKey("fitness-missing-wf")) {
		133	val stringValue = config.get("fitness-missing-wf")
		134	try {
		135	c.unfinishedWFWeight = Integer.parseInt(stringValue)
		136	} catch(Exception e) {}
		137	}
101	for (objectiveEntry : objectiveEntries) {	138	for (objectiveEntry : objectiveEntries) {
102	val costObjectiveConfig = new CostObjectiveConfiguration	139	val costObjectiveConfig = new CostObjectiveConfiguration
103	switch (objectiveEntry) {	140	switch (objectiveEntry) {