diff options
Diffstat (limited to 'Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/SimpleRun.xtend')
-rw-r--r-- | Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/SimpleRun.xtend | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/SimpleRun.xtend b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/SimpleRun.xtend index 0a304915..78382c2a 100644 --- a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/SimpleRun.xtend +++ b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/SimpleRun.xtend | |||
@@ -64,7 +64,7 @@ class SimpleRun { | |||
64 | println("Problem created") | 64 | println("Problem created") |
65 | var LogicResult solution | 65 | var LogicResult solution |
66 | var LogicReasoner reasoner | 66 | var LogicReasoner reasoner |
67 | //* | 67 | /* |
68 | reasoner = new ViatraReasoner | 68 | reasoner = new ViatraReasoner |
69 | val viatraConfig = new ViatraReasonerConfiguration => [ | 69 | val viatraConfig = new ViatraReasonerConfiguration => [ |
70 | it.typeScopes.maxNewElements = 40 | 70 | it.typeScopes.maxNewElements = 40 |
@@ -82,7 +82,7 @@ class SimpleRun { | |||
82 | it.typeScopes.maxNewElements = 5 | 82 | it.typeScopes.maxNewElements = 5 |
83 | it.typeScopes.minNewElements = 5 | 83 | it.typeScopes.minNewElements = 5 |
84 | it.solutionScope.numberOfRequiredSolution = 1 | 84 | it.solutionScope.numberOfRequiredSolution = 1 |
85 | it.typeScopes.maxIntScope = 0 | 85 | it.typeScopes.maxNewIntegers = 0 |
86 | it.writeToFile = true | 86 | it.writeToFile = true |
87 | ] | 87 | ] |
88 | solution = reasoner.solve(logicProblem,alloyConfig,workspace) | 88 | solution = reasoner.solve(logicProblem,alloyConfig,workspace) |