diff options
author | 2019-05-07 12:08:23 -0400 | |
---|---|---|
committer | 2019-05-07 12:08:23 -0400 | |
commit | ddb258aa00993edec081596e5f8cbf46d5ed250c (patch) | |
tree | df38b87aea3cd9cd50aa0e99f390e7e4ae74c645 /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains | |
parent | Revert "Try to restructure satellite case study" (diff) | |
download | VIATRA-Generator-ddb258aa00993edec081596e5f8cbf46d5ed250c.tar.gz VIATRA-Generator-ddb258aa00993edec081596e5f8cbf46d5ed250c.tar.zst VIATRA-Generator-ddb258aa00993edec081596e5f8cbf46d5ed250c.zip |
Do not use derived features in satellite case study vql
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql | 8 |
1 files changed, 4 insertions, 4 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 40553e29..0207cfe3 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 | |||
@@ -301,7 +301,7 @@ private pattern missionCost(Mission : InterferometryMission, Cost : java Double) | |||
301 | 301 | ||
302 | private pattern spacecraftCost(Mission : InterferometryMission, Spacecraft : Spacecraft, Cost : java Double) { | 302 | private pattern spacecraftCost(Mission : InterferometryMission, Spacecraft : Spacecraft, Cost : java Double) { |
303 | ConstellationMission.spacecraft(Mission, Spacecraft); | 303 | ConstellationMission.spacecraft(Mission, Spacecraft); |
304 | Spacecraft.kind(Spacecraft, Kind); | 304 | find spacecraftOfKind(Spacecraft, Kind); |
305 | KindCount == count find spacecraftOfKind(_, Kind); | 305 | KindCount == count find spacecraftOfKind(_, Kind); |
306 | find basePrice(Spacecraft, BasePrice); | 306 | find basePrice(Spacecraft, BasePrice); |
307 | find interferometryPayloadCost(Spacecraft, InterferometryPayloadCost); | 307 | find interferometryPayloadCost(Spacecraft, InterferometryPayloadCost); |
@@ -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 | Spacecraft.kind(Spacecraft, SpacecraftKind::CubeSat3U); | 313 | CubeSat3U(Spacecraft): |
314 | BasePrice == 250000.0; | 314 | BasePrice == 250000.0; |
315 | } or { | 315 | } or { |
316 | Spacecraft.kind(Spacecraft, SpacecraftKind::CubeSat6U); | 316 | CubeSat6U(Spacecraft): |
317 | BasePrice == 750000.0; | 317 | BasePrice == 750000.0; |
318 | } or { | 318 | } or { |
319 | Spacecraft.kind(Spacecraft, SpacecraftKind::SmallSat); | 319 | SmallSat(Spacecraft): |
320 | BasePrice == 3000000.0; | 320 | BasePrice == 3000000.0; |
321 | } | 321 | } |
322 | 322 | ||