/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/
../
.CubeSat6U.java._trace
.MatchingCommSubsystem.java._trace
.gitignore
AtLeastTwoInterferometryPayloads.java
CommSubsystemBandUhf.java
CubeSat3U.java
CubeSat6U.java
DirectCommunicationLink.java
GroundStationNetwork.java
IndirectCommunicationLink.java
IndirectLinkAllowed.java
LinkAllowed.java
MatchingAntenna.java
MatchingCommSubsystem.java
SatelliteQueriesAll.java
SpacecraftWithInterferometryPayload.java
TransmittingCommSubsystem.java