diff options
author | 2019-05-15 13:46:38 -0400 | |
---|---|---|
committer | 2019-05-15 13:46:38 -0400 | |
commit | e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef (patch) | |
tree | 42cb23ff8839308345c0859cdf99469c930af03b /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner | |
parent | Merge remote-tracking branch 'origin/master' into kris (diff) | |
download | VIATRA-Generator-e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef.tar.gz VIATRA-Generator-e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef.tar.zst VIATRA-Generator-e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef.zip |
Formalize CPS case study for optimization
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql index 0207cfe3..9b77ef72 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql | |||
@@ -210,7 +210,7 @@ pattern spacecraftOfKind(Spacecraft : Spacecraft, Kind : SpacecraftKind) { | |||
210 | Kind == SpacecraftKind::SmallSat; | 210 | Kind == SpacecraftKind::SmallSat; |
211 | } | 211 | } |
212 | 212 | ||
213 | /* | 213 | |
214 | // | 214 | // |
215 | // Metrics | 215 | // Metrics |
216 | // | 216 | // |
@@ -310,13 +310,13 @@ private pattern spacecraftCost(Mission : InterferometryMission, Spacecraft : Spa | |||
310 | } | 310 | } |
311 | 311 | ||
312 | private pattern basePrice(Spacecraft : Spacecraft, BasePrice : java Double) { | 312 | private pattern basePrice(Spacecraft : Spacecraft, BasePrice : java Double) { |
313 | CubeSat3U(Spacecraft): | 313 | CubeSat3U(Spacecraft); |
314 | BasePrice == 250000.0; | 314 | BasePrice == 250000.0; |
315 | } or { | 315 | } or { |
316 | CubeSat6U(Spacecraft): | 316 | CubeSat6U(Spacecraft); |
317 | BasePrice == 750000.0; | 317 | BasePrice == 750000.0; |
318 | } or { | 318 | } or { |
319 | SmallSat(Spacecraft): | 319 | SmallSat(Spacecraft); |
320 | BasePrice == 3000000.0; | 320 | BasePrice == 3000000.0; |
321 | } | 321 | } |
322 | 322 | ||
@@ -341,4 +341,3 @@ private pattern spacecraftWithTwoCommSubsystems(Spacecraft : Spacecraft) { | |||
341 | Spacecraft.commSubsystem(Spacecraft, Subsystem2); | 341 | Spacecraft.commSubsystem(Spacecraft, Subsystem2); |
342 | Subsystem1 != Subsystem2; | 342 | Subsystem1 != Subsystem2; |
343 | } | 343 | } |
344 | */ \ No newline at end of file | ||