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