aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql
diff options
context:
space:
mode:
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql')
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql9
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
312private pattern basePrice(Spacecraft : Spacecraft, BasePrice : java Double) { 312private 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