diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend index 438767cd..613c68b3 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend | |||
@@ -60,10 +60,10 @@ class ViatraReasoner extends LogicReasoner{ | |||
60 | val method = modelGenerationMethodProvider.createModelGenerationMethod( | 60 | val method = modelGenerationMethodProvider.createModelGenerationMethod( |
61 | problem, | 61 | problem, |
62 | emptySolution, | 62 | emptySolution, |
63 | viatraConfig.existingQueries, | ||
64 | workspace, | 63 | workspace, |
65 | viatraConfig.nameNewElements, | 64 | viatraConfig.nameNewElements, |
66 | viatraConfig.typeInferenceMethod | 65 | viatraConfig.typeInferenceMethod, |
66 | viatraConfig.documentationLevel | ||
67 | ) | 67 | ) |
68 | 68 | ||
69 | dse.addObjective(new ModelGenerationCompositeObjective( | 69 | dse.addObjective(new ModelGenerationCompositeObjective( |