diff options
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application')
3 files changed, 3 insertions, 3 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend index 3e879539..35ffaf65 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend | |||
@@ -138,7 +138,7 @@ class GenerationTaskExecutor { | |||
138 | 138 | ||
139 | // 5.2 set values that defined directly | 139 | // 5.2 set values that defined directly |
140 | solverConfig.solutionScope = new SolutionScope => [ | 140 | solverConfig.solutionScope = new SolutionScope => [ |
141 | it.numberOfRequiredSolution = if(task.numberSpecified) { | 141 | it.numberOfRequiredSolutions = if(task.numberSpecified) { |
142 | task.number | 142 | task.number |
143 | } else { | 143 | } else { |
144 | 1 | 144 | 1 |
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 a9573fbf..9eceef5f 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 | |||
@@ -75,7 +75,7 @@ class SolverLoader { | |||
75 | ] | 75 | ] |
76 | } else if(solver === Solver::VIATRA_SOLVER) { | 76 | } else if(solver === Solver::VIATRA_SOLVER) { |
77 | return new ViatraReasonerConfiguration => [c| | 77 | return new ViatraReasonerConfiguration => [c| |
78 | c.debugCongiguration.partialInterpretatioVisualiser = new GraphvizVisualiser | 78 | c.debugConfiguration.partialInterpretatioVisualiser = new GraphvizVisualiser |
79 | if(config.containsKey("diversity-range")) { | 79 | if(config.containsKey("diversity-range")) { |
80 | val stringValue = config.get("diversity-range") | 80 | val stringValue = config.get("diversity-range") |
81 | try{ | 81 | try{ |
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/scoping/ApplicationConfigurationScopeProvider.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/scoping/ApplicationConfigurationScopeProvider.xtend index 9d7e8aec..4daf9831 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/scoping/ApplicationConfigurationScopeProvider.xtend +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/scoping/ApplicationConfigurationScopeProvider.xtend | |||
@@ -10,6 +10,7 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.EPackageI | |||
10 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelElement | 10 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelElement |
11 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelEntry | 11 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelEntry |
12 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternEntry | 12 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternEntry |
13 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabilityObjectiveFunction | ||
13 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ViatraImport | 14 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ViatraImport |
14 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.CftModel | 15 | import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.CftModel |
15 | import org.eclipse.emf.ecore.EClass | 16 | import org.eclipse.emf.ecore.EClass |
@@ -22,7 +23,6 @@ import org.eclipse.xtext.naming.IQualifiedNameConverter | |||
22 | import org.eclipse.xtext.scoping.Scopes | 23 | import org.eclipse.xtext.scoping.Scopes |
23 | 24 | ||
24 | import static hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage.Literals.* | 25 | import static hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage.Literals.* |
25 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabilityObjectiveFunction | ||
26 | 26 | ||
27 | /** | 27 | /** |
28 | * This class contains custom scoping description. | 28 | * This class contains custom scoping description. |