diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-08-30 15:52:45 +0200 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-08-30 15:52:45 +0200 |
commit | 1f5cab77334817776618092501628ed70368dd6e (patch) | |
tree | 3b92cefad153ae80294ac8d6dba6819cc7067ed0 /Tests/hu.bme.mit.inf.dslreasoner.run | |
parent | Measurements WIP (diff) | |
download | VIATRA-Generator-1f5cab77334817776618092501628ed70368dd6e.tar.gz VIATRA-Generator-1f5cab77334817776618092501628ed70368dd6e.tar.zst VIATRA-Generator-1f5cab77334817776618092501628ed70368dd6e.zip |
FAM metamodel loader experiments
Diffstat (limited to 'Tests/hu.bme.mit.inf.dslreasoner.run')
2 files changed, 13 insertions, 9 deletions
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/configs/FAM_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/FAM_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json index 26df3c74..1e2d4dd4 100644 --- a/Tests/hu.bme.mit.inf.dslreasoner.run/configs/FAM_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json +++ b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/FAM_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json | |||
@@ -4,10 +4,13 @@ | |||
4 | "timeout": 1200, | 4 | "timeout": 1200, |
5 | "saveModels": true, | 5 | "saveModels": true, |
6 | "warmupIterations": 0, | 6 | "warmupIterations": 0, |
7 | "iterations": 1, | 7 | "iterations": 5, |
8 | "domain": "FAM", | 8 | "domain": "FAM", |
9 | "scope": "none", | 9 | "scope": "none", |
10 | "sizes": [500], | 10 | "sizes": [500], |
11 | "solver": "ViatraSolver", | 11 | "solver": "ViatraSolver", |
12 | "scopePropagator": "basic" | 12 | "scopePropagator": "polyhedral", |
13 | "propagatedConstraints": "hints", | ||
14 | "polyhedronSolver": "Clp", | ||
15 | "scopeHeuristics": "polyhedral" | ||
13 | } | 16 | } |
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/MetamodelLoader.xtend b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/MetamodelLoader.xtend index 4b0791d4..1be03eed 100644 --- a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/MetamodelLoader.xtend +++ b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/MetamodelLoader.xtend | |||
@@ -85,8 +85,9 @@ class FAMLoader extends MetamodelLoader { | |||
85 | val List<EClass> classes = package.EClassifiers.filter(EClass).toList | 85 | val List<EClass> classes = package.EClassifiers.filter(EClass).toList |
86 | val List<EEnum> enums = package.EClassifiers.filter(EEnum).toList | 86 | val List<EEnum> enums = package.EClassifiers.filter(EEnum).toList |
87 | val List<EEnumLiteral> literals = enums.map[ELiterals].flatten.toList | 87 | val List<EEnumLiteral> literals = enums.map[ELiterals].flatten.toList |
88 | val List<EReference> references = classes.map[EReferences].flatten.filter[name != "type" && name != "model"]. | 88 | val List<EReference> references = classes.map[EReferences].flatten.filter [ reference | |
89 | toList | 89 | !#{"model", "type"}.contains(reference.name) |
90 | ].toList | ||
90 | val List<EAttribute> attributes = classes.map[EAttributes].flatten.toList | 91 | val List<EAttribute> attributes = classes.map[EAttributes].flatten.toList |
91 | return new EcoreMetamodelDescriptor(classes, #{}, false, enums, literals, references, attributes) | 92 | return new EcoreMetamodelDescriptor(classes, #{}, false, enums, literals, references, attributes) |
92 | } | 93 | } |
@@ -196,7 +197,7 @@ class YakinduLoader extends MetamodelLoader { | |||
196 | } | 197 | } |
197 | 198 | ||
198 | override additionalConstraints() { | 199 | override additionalConstraints() { |
199 | //#[[method|new SGraphInconsistencyDetector(method)]] | 200 | // #[[method|new SGraphInconsistencyDetector(method)]] |
200 | emptyList | 201 | emptyList |
201 | } | 202 | } |
202 | 203 | ||
@@ -261,7 +262,7 @@ class FileSystemLoader extends MetamodelLoader { | |||
261 | } | 262 | } |
262 | 263 | ||
263 | override additionalConstraints() { | 264 | override additionalConstraints() { |
264 | //#[[method|new FileSystemInconsistencyDetector(method)]] | 265 | // #[[method|new FileSystemInconsistencyDetector(method)]] |
265 | emptyList | 266 | emptyList |
266 | } | 267 | } |
267 | 268 | ||
@@ -386,11 +387,11 @@ class SatelliteLoader extends MetamodelLoader { | |||
386 | } | 387 | } |
387 | 388 | ||
388 | override additionalConstraints() { #[] } | 389 | override additionalConstraints() { #[] } |
389 | 390 | ||
390 | override getHints(Ecore2Logic ecore2Logic, Ecore2Logic_Trace trace) { | 391 | override getHints(Ecore2Logic ecore2Logic, Ecore2Logic_Trace trace) { |
391 | #[new SatelliteHint(ecore2Logic, trace)] | 392 | #[new SatelliteHint(ecore2Logic, trace)] |
392 | } | 393 | } |
393 | 394 | ||
394 | override getTypeQuantiles() { | 395 | override getTypeQuantiles() { |
395 | #{ | 396 | #{ |
396 | "CubeSat3U" -> new TypeQuantiles(0.1, 0.25), | 397 | "CubeSat3U" -> new TypeQuantiles(0.1, 0.25), |
@@ -402,5 +403,5 @@ class SatelliteLoader extends MetamodelLoader { | |||
402 | "InterferometryPayload" -> new TypeQuantiles(0.15, 0.25) | 403 | "InterferometryPayload" -> new TypeQuantiles(0.15, 0.25) |
403 | } | 404 | } |
404 | } | 405 | } |
405 | 406 | ||
406 | } | 407 | } |