From e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 15 May 2019 13:46:38 -0400 Subject: Formalize CPS case study for optimization --- .../dslreasoner/domains/satellite/queries/SatelliteQueries.vql | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu') 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) { Kind == SpacecraftKind::SmallSat; } -/* + // // Metrics // @@ -310,13 +310,13 @@ private pattern spacecraftCost(Mission : InterferometryMission, Spacecraft : Spa } private pattern basePrice(Spacecraft : Spacecraft, BasePrice : java Double) { - CubeSat3U(Spacecraft): + CubeSat3U(Spacecraft); BasePrice == 250000.0; } or { - CubeSat6U(Spacecraft): + CubeSat6U(Spacecraft); BasePrice == 750000.0; } or { - SmallSat(Spacecraft): + SmallSat(Spacecraft); BasePrice == 3000000.0; } @@ -341,4 +341,3 @@ private pattern spacecraftWithTwoCommSubsystems(Spacecraft : Spacecraft) { Spacecraft.commSubsystem(Spacecraft, Subsystem2); Subsystem1 != Subsystem2; } -*/ \ No newline at end of file -- cgit v1.2.3-70-g09d2