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 | 13 |
1 files changed, 7 insertions, 6 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 20683fff..0a304915 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 | |||
@@ -33,6 +33,7 @@ import hu.bme.mit.inf.dlsreasoner.alloy.reasoner.AlloySolver | |||
33 | import hu.bme.mit.inf.dslreasoner.logic2ecore.Logic2Ecore | 33 | import hu.bme.mit.inf.dslreasoner.logic2ecore.Logic2Ecore |
34 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasoner | 34 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasoner |
35 | import java.util.LinkedList | 35 | import java.util.LinkedList |
36 | import hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz.GraphvizVisualisation | ||
36 | 37 | ||
37 | class SimpleRun { | 38 | class SimpleRun { |
38 | 39 | ||
@@ -63,16 +64,16 @@ class SimpleRun { | |||
63 | println("Problem created") | 64 | println("Problem created") |
64 | var LogicResult solution | 65 | var LogicResult solution |
65 | var LogicReasoner reasoner | 66 | var LogicReasoner reasoner |
66 | /* | 67 | //* |
67 | reasoner = new ViatraReasoner | 68 | reasoner = new ViatraReasoner |
68 | val viatraConfig = new ViatraReasonerConfiguration => [ | 69 | val viatraConfig = new ViatraReasonerConfiguration => [ |
69 | it.typeScopes.maxNewElements = 10 | 70 | it.typeScopes.maxNewElements = 40 |
70 | it.typeScopes.minNewElements = 10 | 71 | it.typeScopes.minNewElements = 40 |
71 | it.solutionScope.numberOfRequiredSolution = 1 | 72 | it.solutionScope.numberOfRequiredSolution = 1 |
72 | it.existingQueries = queries.patterns.map[it.internalQueryRepresentation] | 73 | it.existingQueries = queries.patterns.map[it.internalQueryRepresentation] |
73 | it.nameNewElements = true | 74 | it.debugCongiguration.logging = true |
74 | it.typeInferenceMethod = TypeInferenceMethod.PreliminaryAnalysis | 75 | it.debugCongiguration.partalInterpretationVisualisationFrequency = 1 |
75 | it.stateCoderStrategy = StateCoderStrategy::Neighbourhood | 76 | it.debugCongiguration.partialInterpretatioVisualiser = new GraphvizVisualisation |
76 | ] | 77 | ] |
77 | solution = reasoner.solve(logicProblem,viatraConfig,workspace) | 78 | solution = reasoner.solve(logicProblem,viatraConfig,workspace) |
78 | /*/ | 79 | /*/ |