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 3f0ba03f..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
@@ -87,6 +87,43 @@ class SolverLoader {
                                                ]
                                        } catch (NumberFormatException e) {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) {}
+                                }
                        ]
                } else {
                        throw new UnsupportedOperationException('''Unknown solver: «solver»''')

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 3f0ba03f..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
@@ -87,6 +87,43 @@ class SolverLoader {
87	]	87	]
88	} catch (NumberFormatException e) {console.writeError('''Malformed number format: «e.message»''')}	88	} catch (NumberFormatException e) {console.writeError('''Malformed number format: «e.message»''')}
89	}	89	}
		90	if(config.containsKey("numeric-solver-at-end")) {
		91	val stringValue = config.get("numeric-solver-at-end")
		92	if(stringValue.equals("true")) {
		93	println("numeric-solver-at-end")
		94	c.runIntermediateNumericalConsistencyChecks= false
		95	}
		96	}
		97	if(config.containsKey("fitness-punishSize")) {
		98	val stringValue = config.get("fitness-punishSize")
		99	try {
		100	c.punishSize = Boolean.parseBoolean(stringValue)
		101	} catch(Exception e) {}
		102	}
		103	if(config.containsKey("fitness-scope")) {
		104	val stringValue = config.get("fitness-scope")
		105	try {
		106	c.scopeWeight = Integer.parseInt(stringValue)
		107	} catch(Exception e) {}
		108	}
		109	if(config.containsKey("fitness-missing-containent")) {
		110	val stringValue = config.get("fitness-missing-containent")
		111	try {
		112	c.conaintmentWeight = Integer.parseInt(stringValue)
		113	} catch(Exception e) {}
		114	}
		115	if(config.containsKey("fitness-missing-noncontainent")) {
		116	val stringValue = config.get("fitness-missing-noncontainent")
		117	try {
		118	c.nonContainmentWeight = Integer.parseInt(stringValue)
		119	} catch(Exception e) {}
		120	}
		121	if(config.containsKey("fitness-missing-wf")) {
		122	val stringValue = config.get("fitness-missing-wf")
		123	try {
		124	c.unfinishedWFWeight = Integer.parseInt(stringValue)
		125	} catch(Exception e) {}
		126	}
90	]	127	]
91	} else {	128	} else {
92	throw new UnsupportedOperationException('''Unknown solver: «solver»''')	129	throw new UnsupportedOperationException('''Unknown solver: «solver»''')