diff options
author | Oszkár Semeráth <semerath@mit.bme.hu> | 2020-11-11 21:59:08 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-11 21:59:08 +0100 |
commit | fbe0a911b6afd03eed54592904521d08880e8381 (patch) | |
tree | 62651db065125d72261ed3e589f2273a00926fd8 /Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit | |
parent | Optimizing generator with linear objective functions (diff) | |
download | VIATRA-Generator-fbe0a911b6afd03eed54592904521d08880e8381.tar.gz VIATRA-Generator-fbe0a911b6afd03eed54592904521d08880e8381.tar.zst VIATRA-Generator-fbe0a911b6afd03eed54592904521d08880e8381.zip |
Update SolverLoader.xtend
AlloySolverConfiguration returned SMTSolverConfiguration
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend | 2 |
1 files changed, 1 insertions, 1 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 a549df00..b76941de 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 | |||
@@ -73,7 +73,7 @@ class SolverLoader { | |||
73 | if (!objectiveEntries.empty) { | 73 | if (!objectiveEntries.empty) { |
74 | throw new IllegalArgumentException("Objectives are not supported by Alloy.") | 74 | throw new IllegalArgumentException("Objectives are not supported by Alloy.") |
75 | } | 75 | } |
76 | val c = new SmtSolverConfiguration | 76 | val c = new AlloySolverConfiguration |
77 | config.getAsBoolean("fixRandomSeed", console).ifPresent[c.fixRandomSeed = it] | 77 | config.getAsBoolean("fixRandomSeed", console).ifPresent[c.fixRandomSeed = it] |
78 | config.getAsType("path", console, [it], String).ifPresent[c.solverPath = it] | 78 | config.getAsType("path", console, [it], String).ifPresent[c.solverPath = it] |
79 | c | 79 | c |