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:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2020-05-07 17:26:07 +0200
committerLibravatar Kristóf Marussy <marussy@mit.bme.hu>2020-05-07 17:26:07 +0200
commit6a3ff9bb588bf47242a56b91e35479dbba38eb19 (patch)
tree0432ecd0edafb99dc9f017d0a8cfee31a931583a /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql
parentFix concurrency bug in AlloyHandler (diff)
downloadVIATRA-Generator-6a3ff9bb588bf47242a56b91e35479dbba38eb19.tar.gz
VIATRA-Generator-6a3ff9bb588bf47242a56b91e35479dbba38eb19.tar.zst
VIATRA-Generator-6a3ff9bb588bf47242a56b91e35479dbba38eb19.zip
Scope unsat benchmarks
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.vql13
1 files changed, 13 insertions, 0 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 1f83a3b0..ba12bbda 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
@@ -59,6 +59,19 @@ pattern noLinkToGroundStation(Spacecraft : Spacecraft) {
59 neg find indirectCommunicationLink(Spacecraft, GroundStation); 59 neg find indirectCommunicationLink(Spacecraft, GroundStation);
60} 60}
61 61
62//@Constraint(severity = "error", key = {Spacecraft}, message = "UNSAT")
63//pattern unsat_linkToGroundStation(Spacecraft : Spacecraft) {
64// ConstellationMission.groundStationNetwork(Mission, GroundStation);
65// ConstellationMission.spacecraft(Mission, Spacecraft);
66// find indirectCommunicationLink(Spacecraft, GroundStation);
67//}
68
69@Constraint(severity = "error", key = {Mission}, message = "UNSAT")
70pattern unsat_linkToGroundStation(Mission : InterferometryMission) {
71 InterferometryMission(Mission);
72 neg find noLinkToGroundStation(_);
73}
74
62@Constraint(severity = "error", key = {Spacecraft}, 75@Constraint(severity = "error", key = {Spacecraft},
63 message = "Spacecraft has no potential communication path to the ground station.") 76 message = "Spacecraft has no potential communication path to the ground station.")
64pattern noPotentialLinkToGroundStation(Spacecraft : Spacecraft) { 77pattern noPotentialLinkToGroundStation(Spacecraft : Spacecraft) {