From ddb258aa00993edec081596e5f8cbf46d5ed250c Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Tue, 7 May 2019 12:08:23 -0400 Subject: Do not use derived features in satellite case study vql --- .../dslreasoner/domains/satellite/queries/SatelliteQueries.vql | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit') 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) private pattern spacecraftCost(Mission : InterferometryMission, Spacecraft : Spacecraft, Cost : java Double) { ConstellationMission.spacecraft(Mission, Spacecraft); - Spacecraft.kind(Spacecraft, Kind); + find spacecraftOfKind(Spacecraft, Kind); KindCount == count find spacecraftOfKind(_, Kind); find basePrice(Spacecraft, BasePrice); find interferometryPayloadCost(Spacecraft, InterferometryPayloadCost); @@ -310,13 +310,13 @@ private pattern spacecraftCost(Mission : InterferometryMission, Spacecraft : Spa } private pattern basePrice(Spacecraft : Spacecraft, BasePrice : java Double) { - Spacecraft.kind(Spacecraft, SpacecraftKind::CubeSat3U); + CubeSat3U(Spacecraft): BasePrice == 250000.0; } or { - Spacecraft.kind(Spacecraft, SpacecraftKind::CubeSat6U); + CubeSat6U(Spacecraft): BasePrice == 750000.0; } or { - Spacecraft.kind(Spacecraft, SpacecraftKind::SmallSat); + SmallSat(Spacecraft): BasePrice == 3000000.0; } -- cgit v1.2.3-54-g00ecf