diff options
| author |  Kristóf Marussy <kris7topher@gmail.com> | 2019-06-09 15:13:00 -0400 |
|---|---|---|
| committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-06-09 15:13:00 -0400 |
| commit | cd63ccf6fba2a812a9b115635bbd209c92cebad0 (patch) | |
| tree | 6f2a04b6fd274dffe6bb72c1afdf87989c0ba6db /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/plugin.xml | |
| parent | Simplify satellite metamodel further (diff) | |
| download | VIATRA-Generator-cd63ccf6fba2a812a9b115635bbd209c92cebad0.tar.gz VIATRA-Generator-cd63ccf6fba2a812a9b115635bbd209c92cebad0.tar.zst VIATRA-Generator-cd63ccf6fba2a812a9b115635bbd209c92cebad0.zip | |
Bump MDEOptimizer version
https://github.com/mde-optimiser/mde_optimiser/issues/49
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/plugin.xml')
| -rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/plugin.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/plugin.xml b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/plugin.xml index 8c9f4be1..a8146d37 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/plugin.xml +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/plugin.xml | |||
| @@ -15,6 +15,9 @@ | |||
| 15 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.threeUCubeSatWithNonUhfCrossLink"/> | 15 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.threeUCubeSatWithNonUhfCrossLink"/> |
| 16 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSatWithKaAntenna"/> | 16 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSatWithKaAntenna"/> |
| 17 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.smallSat"/> | 17 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.smallSat"/> |
| 18 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.coverageMetric"/> | ||
| 19 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.timeMetric"/> | ||
| 20 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.costMetric"/> | ||
| 18 | </group> | 21 | </group> |
| 19 | </extension> | 22 | </extension> |
| 20 | </plugin> | 23 | </plugin> |