diff options
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend | 37 |
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 { | |||
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) { |