/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/
../
.CommunicationLinkOfElement.java._trace
.MultipleCommunicationLinks.java._trace
.gitignore
CommunicationLinkDoesNotStartAtContainingElement.java
CommunicationLoop.java
CostMetric.java
CoverageMetric.java
CubeSatWithKaAntenna.java
IncompatibleSourceAndTargetBand.java
IncompatibleSourceAndTargetGain.java
KaAntennaGainLow.java
NoLinkToGroundStation.java
NoPotentialLinkToGroundStation.java
NotEnoughInterferometryPayloads.java
SatelliteQueries.java
SmallSat.java
SpacecraftOfKind.java
ThreeUCubeSatWithNonUhfCrossLink.java
TimeMetric.java
UhfAntennaGainNotLow.java
XAntennaGainNotMedium.java
internal